Towards Formal Foundations for BORM ORD Validation and Simulation

Martin Podloucký, Robert Pergl

2014

Abstract

Business Object Relation Modelling (BORM) is a method for systems analysis and design that utilises an object oriented paradigm in combination with business process modelling. BORM’s Object Relation Diagram (ORD) is successfully used in practice for object behaviour analysis (OBA). We, however, identified several flaws in the diagram’s behaviour semantics. These occur mostly due to inconsistent and incomplete formal specification of the ORD behaviour. In this paper, we try to amend this gap by introducing so called input and output conditions, which we consider to be the most important first step towards a sound formal specification of the ORD.

References

  1. Barjis, J. (2007). Developing executable models of business systems. Setubal. Insticc-Inst Syst Technologies Information Control & Communication.
  2. Brand, D. and Zafiropulo, P. (1983). On communication finite-state machines. Journal of the ACM, 30(2):323- 342.
  3. Brozek, J., Merunka, V., and Merunkova, I. (2010). Organization modeling and simulation using BORM approach, volume 63 of Lecture Notes in Business Information Processing.
  4. Dietz, J. L. G. (2006). Enterprise ontology: theory and methodology. Springer, Berlin; New York.
  5. Dijkman, R. M., Dumas, M., and Ouyang, C. (2008). Semantics and analysis of business process models in bpmn. Inf. Softw. Technol., 50(12):1281-1294.
  6. Guizzardi, G. and Wagner, G. (2011). Can BPMN be used for making simulation models? Lecture Notes in Business Information Processing, 88 LNBIP:100- 115. 00004.
  7. Knott, R., Merunka, V., and Polak, J. (2000). Process modeling for object oriented analysis using BORM object behavioral analysis. In 4th International Conference on Requirements engineering, 2000. Proceedings, pages 7-16.
  8. Knott, R., Merunka, V., and Polak, J. (2003). The BORM methodology: a third-generation fully object-oriented methodology. Knowledge-Based Systems, 16(2):77- 89.
  9. Mealy, G. H. (1955). A method for synthesizing sequential circuits. Bell System Technical Journal, 34(5):1045- 1079.
  10. Merunka, V. (2010). Object-oriented proces modeling and simulation - borm experience. Trakia Journal of Sciences, 8(3):71-87.
  11. Merunka, V. (2012). FSM-Based object-oriented organization modeling and simulation. In Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J., Szyperski, C., Bajec, M., and Eder, J., editors, Advanced Information Systems Engineering Workshops, volume 112, pages 398-412. Springer Berlin Heidelberg.
  12. Merunka, V. and Merunkova, I. (2013). Role of OBA approach in object-oriented process modelling and simulation. In Barjis, J., Gupta, A., and Meshkat, A., editors, Enterprise and Organizational Modeling and Simulation, volume 153 of Lecture Notes in Business Information Processing, pages 74-84. Springer Berlin Heidelberg.
  13. Merunka, V. and Molhanec, M. (2011). BORM: agile modelling for business intelligence. In Rahman El Sheikh, A. A. and Alnoukari, M., editors, Business Intelligence and Agile Methodologies for Knowledge-Based Organizations: Cross-Disciplinary Applications. IGI Global.
  14. Merunka, V., Nouza, O., and Broek, J. (2008). Automated model transformations using the C.C language. In Dietz, J., Albani, A., and Barjis, J., editors, Advances in Enterprise Engineering I, volume 10 of Lecture Notes in Business Information Processing, pages 137-151. Springer Berlin Heidelberg.
  15. Pattavina, A. and Trigila, S. (1984). Combined use of finitestate machines and petri nets for modelling communicating processes. Electronics Letters, 20(22):915- 916.
  16. Pergl, R. (2011). Supporting enterprise IS modelling using ontological analysis. Lecture Notes in Business Information Processing, 88:130-144.
  17. Pergl, R. and Tuma, J. (2012). OpenCASE - a tool for ontology-centred conceptual modelling. Lecture Notes in Business Information Processing, 112:511- 518.
  18. Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Prentice Hall.
  19. Silver, B. (2011). BPMN Method and Style, 2nd Edition, with BPMN Implementer's Guide: A structured approach for business process modeling and implementation using BPMN 2.0. Cody-Cassidy Press.
  20. Struska, Z. and Merunka, V. (2007). BORM points - new concept proposal of complexity estimation method. In Cardoso, J., Cordeiro, J., and Filipe, J., editors, Proceedings of the ninth international conference on enterprise information systems, pages 580-586. INSTICC.
  21. Struska, Z. and Pergl, R. (2009). BORM-points: introduction and results of practical testing. Lecture Notes in Business Information Processing, 24:590-599.
  22. van Hee, K., Oanea, O., Post, R., Somers, L., and van der Werf, J. (2006). Yasper: a tool for workflow modeling and analysis. In Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006, pages 279 -282.
  23. Vejrazkova, Z. and Meshkat, A. (2013). Translating DEMO models into petri net. In Enterprise and Organizational Modeling and Simulation, volume 153. Springer Verlag Heidelberg.
Download


Paper Citation


in Harvard Style

Podloucký M. and Pergl R. (2014). Towards Formal Foundations for BORM ORD Validation and Simulation . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 315-322. DOI: 10.5220/0004897603150322


in Bibtex Style

@conference{iceis14,
author={Martin Podloucký and Robert Pergl},
title={Towards Formal Foundations for BORM ORD Validation and Simulation},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={315-322},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004897603150322},
isbn={978-989-758-028-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Towards Formal Foundations for BORM ORD Validation and Simulation
SN - 978-989-758-028-4
AU - Podloucký M.
AU - Pergl R.
PY - 2014
SP - 315
EP - 322
DO - 10.5220/0004897603150322