The Prefix Machine – a Formal Foundation for the BORM OR Diagrams Validation and Simulation
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.
KeywordsPrefix machine BORM OR diagrams Process simulation Process analysis Formal foundations
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.
- 2.Barjis, J.: Developing Executable Models of Business Systems. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Setubal (2007)Google Scholar
- 5.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 2006Google Scholar
- 6.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)Google Scholar
- 7.Merunka, V.: Object-oriented process modeling and simulation - BORM experience. Trakia J. Sci. 8(3), 71–87 (2010)Google Scholar
- 10.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)Google Scholar