Executing Enterprise Dynamic Systems Control with the Demo Processor: The Business Transactions Transition Space Validation

Business transactions models are useful to share a common understanding between the stakeholders in a process-based organization; however alone they do not guarantee that the actors perform their actions correspondingly. This paper proposes and exemplifies a solution to the Enterprise Information Systems (EIS) generation and operation using a Model Driven Engineering (MDE) approach founded and derived from Enterprise Ontology (EO) theory. The obtained EIS are (i) descriptive information systems that monitor and deliver a truthful representation of the enterprise on a software engine: the DEMO processor and (ii) prescriptive information system supported by an ontology specifically researched for controlling the operation of business transactions: the enterprise dynamic systems control (EDSC). The achieved benefits are (i) partially automatic validation of EDSC ontology; (ii) self-contained environment to test and validate the DEMO processor and (iii) full workflow capabilities calculated from DEMO models, with formal rigor, minimizing anomalies and minimizing the programming effort.

[1]  André Vasconcelos,et al.  Enforcing control in the run-time business transactions , 2012 .

[2]  Steven J. H. van Kervel,et al.  High Quality Technical Documentation for Large Industrial Plants Using an Enterprise Engineering and Conceptual Modeling Based Software Solution , 2011, ER Workshops.

[3]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[4]  Olle Ingemar Elgerd,et al.  Control systems theory , 1967 .

[5]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[6]  Martin Op't Land,et al.  Applying Architecture and Ontology to the Splitting and Allying of Enterprises: Problem Definition and Research Approach , 2006, OTM Workshops.

[7]  André Vasconcelos,et al.  Enterprise Dynamic Systems Control Enforcement of Run-Time Business Transactions , 2012, EEWC.

[8]  André Vasconcelos,et al.  Dynamic Business Transactions Control - An Ontological Example: Organizational Access Control with DEMO , 2011, KEOD.

[9]  Hans B. F. Mulder,et al.  Enhancing the Formal Foundations of BPMN by Enterprise Ontology , 2009, CIAO! / EOMAS.

[10]  Joseph Barjis,et al.  The importance of business process modeling in software systems design , 2008, Sci. Comput. Program..

[11]  J.B.F. Mulder.  Rapid enterprise design , 2006 .

[12]  Joseph Barjis.  Automatic business process analysis and simulation based on DEMO , 2007, Enterp. Inf. Syst..

[13]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[14]  E. Weintraub,et al.  Recent Developments and New Directions , 1974 .

[15]  Jan L. G. Dietz,et al.  The Principles of Enterprise Engineering , 2012, EEWC.

[16]  A. Jaeger,et al.  Control systems and strategic adaptation: Lessons from the Japanese experience , 1985 .

[17]  Jan L. G. Dietz,et al.  Enterprise ontology - theory and methodology , 2006 .

[18]  Jan L. G. Dietz,et al.  Enterprise Ontology Driven Software Engineering , 2012, ICSOFT.

[19]  Anu Nieminen,et al.  Organisational control in programme teams: An empirical study in change programme context , 2008 .

[20]  Jan L. G. Dietz,et al.  Advances in Enterprise Engineering VIII , 2014, Lecture Notes in Business Information Processing.