Towards a Methodology for Semantic Business Process Modeling and Configuration
暂无分享,去创建一个
Jan Mendling | Jörg Hoffmann | Ingo Weber | Jörg Nitzsche | I. Weber | J. Mendling | J. Hoffmann | Jörg Nitzsche
[1] Kees M. van Hee,et al. Consistency in model integration , 2006, Data Knowl. Eng..
[2] Witold Abramowicz,et al. Semantically enhanced Business Process Modelling Notation , 2007, SBPM.
[3] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[4] Elisa Bertino,et al. The specification and enforcement of authorization constraints in workflow management systems , 1999, TSEC.
[5] Theo P. van der Weide,et al. Information modeling: The process and the required competencies of its participants , 2004, Data Knowl. Eng..
[6] Gianfranco Balbo,et al. Application and Theory of Petri Nets 1997 , 1997 .
[7] Frank Leymann,et al. WSMO/X in the context of business processes: improvement recommendations , 2007, Int. J. Web Inf. Syst..
[8] Wei Sun,et al. BPEL4WS unit testing: framework and implementation , 2005, IEEE International Conference on Web Services (ICWS'05).
[9] Moe Thandar Wynn,et al. Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.
[10] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .
[11] Armin Haller,et al. WSMX - a semantic service-oriented architecture , 2005, IEEE International Conference on Web Services (ICWS'05).
[12] Robert Valette,et al. Application and Theory of Petri Nets 1997 , 1997, Lecture Notes in Computer Science.
[13] Marlon Dumas,et al. Translating Standard Process Models to BPEL , 2006, CAiSE.
[14] Frank Leymann,et al. BPEL for Semantic Web Services (BPEL4SWS) , 2007, OTM Workshops.
[15] Wil M. P. van der Aalst,et al. Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..
[16] David A Chappell,et al. Enterprise Service Bus , 2004 .
[17] Frank Leymann,et al. Production Workflow: Concepts and Techniques , 1999 .
[18] J. Krogstie,et al. Formalization and verification of EPCs with OR-joins based on state and context , 2007 .
[19] Gianfranco Ciardo,et al. Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.
[20] Jan Mendling,et al. On the transformation of control flow between block-oriented and graph-oriented process modelling languages , 2008, Int. J. Bus. Process. Integr. Manag..
[21] Ivan Markovic,et al. Towards a Formal Framework for Reuse in Business Process Modeling , 2007, Business Process Management Workshops.
[22] Ingo Weber,et al. User-Friendly Semantic Annotation in Business Process Modeling , 2007, WISE Workshops.
[23] Wil M. P. van der Aalst,et al. Verification of Workflow Nets , 1997, ICATPN.
[24] Hongyan Ma,et al. Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..
[25] Michael Rosemann. Preparation of Process Modeling , 2003 .
[26] Wil M. P. van der Aalst,et al. Diagnosing Workflow Processes using Woflan , 2001, Comput. J..
[27] Martin Hepp,et al. Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, held in conjunction with the 3rd European Semantic Web Conference (ESWC 2007), Innsbruck, Austria, June 7, 2007 , 2007, SBPM.
[28] Jan Mendling,et al. On the Translation between BPMN and BPEL , 2006, EMMSAD.
[29] Jan Mendling,et al. Model-Driven Enterprise Systems Configuration , 2006, CAiSE.