Abstract
The discipline of enterprise engineering and the DEMO methodology provide enterprise designers with a formal techniques to design companies where competency, responsibility and authority is clearly defined. In such companies, process-based anomalies can be avoided and people tend to cooperate more effectively and contentedly.
These techniques are so far mostly used just for business process modeling consultancy. DEMO-based software systems are needed to adopt and support these techniques in professional companies. This paper proposes a theoretical computation concept called DEMO Machine that provides us with formal foundations for a simulation of DEMO models. We demonstrate these formal foundations on a Volley Club example.
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
Nuffel, D., Mulder, H., Kervel, S.: Enhancing the formal foundations of BPMN by enterprise ontology. In: Albani, A., Barjis, J., Dietz, J.L.G. (eds.) CIAO!/EOMAS -2009. LNBIP, vol. 34, pp. 115–129. Springer, Heidelberg (2009). doi:10.1007/978-3-642-01915-9_9
Skotnica, M., Kervel, S.J.H., Pergl, R.: Towards the ontological foundations for the software executable DEMO action and fact models. In: Aveiro, D., Pergl, R., Gouveia, D. (eds.) EEWC 2016. LNBIP, vol. 252, pp. 151–165. Springer, Cham (2016). doi:10.1007/978-3-319-39567-8_10
Van Kervel, S.J.H.: Ontology driven enterprise information systems engineering. TU Delft, Delft University of Technology (2012)
Guizzardi, G.: Ontological foundations for structural conceptual models, vol. 015. University of Twente, Enschede (2005)
Dietz, J.L.G.: Enterprise Ontology Theory and Methodology. Springer, Heidelberg (2006)
Van Kervel, S., Dietz, J., Hintzen, J., Van Meeuwen, T., Zijlstra, B.: Enterprise ontology driven software engineering. In: Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012, pp. 205–210 (2012).
Figueira, C., Aveiro, D.: A new action rule syntax for DEmo MOdels based automatic worKflow procEss geneRation (DEMOBAKER). In: Aveiro, D., Tribolet, J., Gouveia, D. (eds.) EEWC 2014. LNBIP, vol. 174, pp. 46–60. Springer, Cham (2014). doi:10.1007/978-3-319-06505-2_4
Huysmans, P., Oorts, G., Bruyn, P., Mannaert, H., Verelst, J.: Positioning the normalized systems theory in a design theory framework. In: Shishkov, B. (ed.) BMSD 2012. LNBIP, vol. 142, pp. 43–63. Springer, Heidelberg (2013). doi:10.1007/978-3-642-37478-4_3
Krouwel, M.R., Op ’t Land, M.: Combining DEMO and normalized systems for developing agile enterprise information systems. In: Albani, A., Dietz, J.L.G., Verelst, J. (eds.) EEWC 2011. LNBIP, vol. 79, pp. 31–45. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21058-7_3
Op’t Land, M.: Exploring normalized systems potential for dutch MoD’s Agility (2011). Accessed 25 April 2014
Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proc. London Math. Soc. s2–42(1), 230–265 (1937)
Dietz, J.L.: The Essence of Organization - an Introduction to Enterprise Engineering. Sapio bv (2012)
Jan, D., Jan, H.: Theories in Enterprise Engineering Memorandum - TAO
Banks, J., Carson, J.S., Nelson, B.L., Nicol, D.M.: Discrete-Event System Simulation, 3rd edn. Prentice Hall, Upper Saddle River (2000)
Dietz, J.L.G.: Enterprise ontology - understanding the essence of organizational operation. In: Chen, C.S., Filipe, J., Seruca, I., Cordeiro, J. (eds.) Enterprise Information Systems VII, pp. 19–30. Springer, Dordrecht (2006)
Acknowledgement
This research has been supported by CTU SGS grant No. SGS16/120/OHK3/1T/18.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Skotnica, M., van Kervel, S.J.H., Pergl, R. (2017). A DEMO Machine - A Formal Foundation for Execution of DEMO Models. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J., Magalhães, R., Lekkerkerk, H. (eds) Advances in Enterprise Engineering XI. EEWC 2017. Lecture Notes in Business Information Processing, vol 284. Springer, Cham. https://doi.org/10.1007/978-3-319-57955-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-57955-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57954-2
Online ISBN: 978-3-319-57955-9
eBook Packages: Business and ManagementBusiness and Management (R0)