Automatic business process analysis and simulation based on DEMO
- 23 November 2007
- journal article
- research article
- Published by Informa UK Limited in Enterprise Information Systems
- Vol. 1 (4), 365-381
- https://doi.org/10.1080/17517570701646590
Abstract
Enterprise process modelling as a core area of the Enterprises Information Systems (EIS) research has long attracted theoreticians of new concepts, designers of artefacts, and practitioners of modelling. As a result a vast number of modelling methods have been generated. However, each method is challenging because they lack certain aspects. First, these methods view processes as a flowchart, undermining the deep (nested) structure of processes. Second, most of these methods are based on informal or semi-formal representation, failing direct model checking and formal analysis without further translations and mapping procedures. Finally, because the majority of these methods originated from a computing perspective, their focal point is control-flow rather than interaction of social actors. In reality, an enterprise is a complex socio-technical system that includes interaction of technical and social components. In this paper, we discuss an innovative method that will address some of these challenges and provide an improved tool for this purpose. We base our method on the field-proven DEMO theory and methodology, where emphasis is made on the interactions between social actors. The proposed method encompasses a set of graphical notations and constructs based on the Petri nets semantics that allows direct model analysis and simulation.Keywords
This publication has 14 references indexed in Scilit:
- Process innovation laboratory: a new approach to business process innovation based on enterprise information systemsEnterprise Information Systems, 2007
- Assisting novice analysts in developing quality conceptual models with UMLCommunications of the ACM, 2006
- How UML is usedCommunications of the ACM, 2006
- Enterprise OntologyPublished by Springer Science and Business Media LLC ,2006
- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri NetsLecture Notes in Computer Science, 2005
- BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONSInternational Journal of Cooperative Information Systems, 2004
- Toward an integrated framework for modeling enterprise processesCommunications of the ACM, 2004
- Design Science in Information Systems ResearchMIS Quarterly, 2004
- Understanding quality in conceptual modelingIEEE Software, 1994
- Business modelling for business redesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994