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). OBA has found its firm place for visualisation and simulation of processes, however several ontological flaws were identified and there seems to be missing a strong formal foundation that would enable correct reasoning about the models. In this paper, we propose a sound formal foundation for BORM’S ORD. Based on this formal foundation (which we call “the prefix machine”), we get not only to a precise behaviour specification, but it also offers some interesting means of process analysis.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bang-Jensen, J., Gutin, G.Z.: Digraphs: Theory, Algorithms and Applications. Springer Monographs in Mathematics. Springer, London (2009)
Barjis, J.: Developing Executable Models of Business Systems. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Setubal (2007)
Brand, D., Zafiropulo, P.: On communication finite-state machines. J. ACM 30(2), 323–342 (1983)
Dietz, J.L.G.: Enterprise Ontology: Theory and Methodology. Springer, Berlin (2006)
van Hee, K., Oanea, O., Post, R., Somers, L., van der Werf, J.: Yasper: a tool for workflow modeling and analysis. In: Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006, pp. 279–282, June 2006
Knott, R., Merunka, V., Polák, J.: Process modeling for object oriented analysis using BORM object behavioral analysis. In: 4th International Conference on Requirements Engineering, 2000. Proceedings, pp. 7–16 (2000)
Merunka, V.: Object-oriented process modeling and simulation - BORM experience. Trakia J. Sci. 8(3), 71–87 (2010)
Pattavina, A., Trigila, S.: Combined use of finite-state machines and petri nets for modelling communicating processes. Electron. Lett. 20(22), 915–916 (1984)
Pergl, R., Tůma, J.: \({\mathtt{OpenCASE}}\) – a tool for ontology-centred conceptual modelling. In: Bajec, M., Eder, J. (eds.) CAiSE Workshops 2012. LNBIP, vol. 112, pp. 511–518. Springer, Heidelberg (2012)
Podloucký, M., Pergl, R.: Towards formal foundation for the BORM OR diagrams validation and simulation. In: Proceedings of the 16th International Conference on Enterprise Information Systems, pp. 315–322 (2014)
Vejrazkova, Z., Meshkat, A.: Translating DEMO models into petri net. In: Barjis, J., Gupta, A., Meshkat, A. (eds.) EOMAS 2013. LNBIP, vol. 153, pp. 57–73. Springer, Heidelberg (2013)
Acknowledgements
This paper was written with the support of the SGS14 grant no. 103/OHK3/1T/18. The authors would also like to express their very great appreciation to Oskar Maxa for his insightful ideas and valuable contribution to this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Podloucký, M., Pergl, R. (2014). The Prefix Machine – a Formal Foundation for the BORM OR Diagrams Validation and Simulation. In: Barjis, J., Pergl, R. (eds) Enterprise and Organizational Modeling and Simulation. EOMAS 2014. Lecture Notes in Business Information Processing, vol 191. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44860-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-44860-1_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44859-5
Online ISBN: 978-3-662-44860-1
eBook Packages: Computer ScienceComputer Science (R0)