The Prefix Machine – a Formal Foundation for the BORM OR Diagrams Validation and Simulation

Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 191)


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.


Prefix 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.


  1. 1.
    Bang-Jensen, J., Gutin, G.Z.: Digraphs: Theory, Algorithms and Applications. Springer Monographs in Mathematics. Springer, London (2009)CrossRefGoogle Scholar
  2. 2.
    Barjis, J.: Developing Executable Models of Business Systems. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Setubal (2007)Google Scholar
  3. 3.
    Brand, D., Zafiropulo, P.: On communication finite-state machines. J. ACM 30(2), 323–342 (1983)CrossRefGoogle Scholar
  4. 4.
    Dietz, J.L.G.: Enterprise Ontology: Theory and Methodology. Springer, Berlin (2006)CrossRefGoogle Scholar
  5. 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. 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. 7.
    Merunka, V.: Object-oriented process modeling and simulation - BORM experience. Trakia J. Sci. 8(3), 71–87 (2010)Google Scholar
  8. 8.
    Pattavina, A., Trigila, S.: Combined use of finite-state machines and petri nets for modelling communicating processes. Electron. Lett. 20(22), 915–916 (1984)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 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
  11. 11.
    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)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Department of Software Engineering, Faculty of Information TechnologyCzech Technical UniversityPragueCzech Republic

Personalised recommendations