BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS
作者： JULIANE DEHNERT , WIL M. P. VAN DER AALST
DOI: 10.1142/S0218843004000973
关键词: Business Process Model and Notation 、 Artifact-centric business process model 、 Business process modeling 、 Software engineering 、 Event-driven process chain 、 Computer science 、 Database 、 Workflow engine 、 Modeling language 、 Business rule 、 Process modeling
摘要: This paper presents a methodology to bridge the gap between business process modeling and workflow specification. While first is concerned with intuitive descriptions that are mainly used for communication, second configuring process-aware information system, thus requiring more rigorous language less suitable communication. Unlike existing approaches not bridged by providing formal semantics an informal language. Instead it assumed desired behavior just subset of full obtained using liberal interpretation Using new correctness criterion (relaxed soundness), verified whether selection possible. The consists five steps illustrated event-driven chains as Petri nets specification
narcis.nl参考文章(44)
Markus Nüttgens, Frank J. Rump, Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK) predictive models in software engineering. pp. 64- 77 ,(2002)
Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler, On the semantics of EPCs: A vicious circle EPK. pp. 71- 79 ,(2002)
A. Ghaffari, N. Rezg, Xiaolan Xie, Live and Maximally Permissive Controller Synthesis Using Theory of Regions Symposium of the supervisory control of discrete event systems. pp. 155- 166 ,(2002) , 10.1007/978-1-4757-6656-1_10
Luciano Lavagno, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Alexandre Yakovlev, Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers (Special Issue on Asynchronous Circuit and System Design) IEICE Transactions on Information and Systems. ,vol. 80, pp. 315- 325 ,(1997)
Matjaz B. Juric, Business process execution language for web services ,(2004)
Wolfgang Thomas, On the synthesis of strategies in infinite games symposium on theoretical aspects of computer science. pp. 1- 13 ,(1995) , 10.1007/3-540-59042-0_57
Rik Eshuis, Roel Wieringa, A Real-Time Execution Semantics for UML Activity Diagrams fundamental approaches to software engineering. pp. 76- 90 ,(2001) , 10.1007/3-540-45314-8_7
Thomas Teufel, Gerhard Keller, Sap R/3 Process Oriented Implementation Addison-Wesley Longman Publishing Co., Inc.. ,(1998)
Alessandra Agostini, Giorgio De Michelis, Improving Flexibility of Workflow Management Systems business process management. pp. 218- 234 ,(2000) , 10.1007/3-540-45594-9_14
Zohar Manna, Amir Pnueli, The temporal logic of reactive and concurrent systems ,(1992)