Towards a Foundational Framework for Developing and Testing Inter-organizational Business Processes

Modeling and analyzing inter-organizational business processes is complicated substantially by heterogeneous process-modeling languages (e.g., surface vs. analysis languages) as well as by their inherent properties of loose coupling and local control (views). On top, multiple concerns must be addressed when modeling interorganizational business processes, such as process data, behavior, distribution, and resources management. We believe that more research effort is needed towards establishing a language-oriented foundation for modeling inter-organizational business processes. This paper lays out one direction of language engineering towards this goal, collects generic and specific requirements on a language framework for IOPs, and discusses them tentatively.

[1]  Johann Eder,et al.  Logical Invalidations of Semantic Annotations , 2012, CAiSE.

[2]  Schahram Dustdar,et al.  Modeling Process-Driven SOAs , 2009, Handbook of Research on Business Process Modeling.

[3]  Schahram Dustdar,et al.  The Social Compute Unit , 2011, IEEE Internet Computing.

[4]  Oliver Kopp,et al.  An Introduction to Service Choreographies (Servicechoreographien – eine Einführung) , 2008, it Inf. Technol..

[5]  Jan Mendling,et al.  Beyond soundness: on the verification of semantic business process models , 2010, Distributed and Parallel Databases.

[6]  Luis M. Vaquero,et al.  Elastically Ruling the Cloud: Specifying Application's Behavior in Federated Clouds , 2011, CLOUD 2011.

[7]  Samir Tata,et al.  Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud , 2013, OTM Conferences.

[8]  Daniel Moldovan,et al.  SYBL: An Extensible Language for Controlling Elasticity in Cloud Applications , 2013, 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing.

[9]  Emil C. Lupu,et al.  The Ponder Policy Specification Language , 2001, POLICY.

[10]  Alin Deutsch,et al.  Automatic verification of data-centric business processes , 2009, ICDT '09.

[11]  Gabor Karsai,et al.  Challenges and directions in formalizing the semantics of modeling languages , 2011, Comput. Sci. Inf. Syst..

[12]  Moe Thandar Wynn,et al.  Business process verification - finally a reality! , 2009, Bus. Process. Manag. J..

[13]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[14]  Manuel Wimmer,et al.  xMOF: A Semantics Specification Language for Metamodeling , 2013, Demos/Posters/StudentResearch@MoDELS.

[15]  Wineke A. M. van Lent,et al.  Similarity of business process models : metrics and evaluation , 2009 .

[16]  Schahram Dustdar,et al.  Data-driven and automated prediction of service level agreement violations in service compositions , 2013, Distributed and Parallel Databases.

[17]  Gerti Kappel,et al.  A Framework for Testing UML Activities Based on fUML , 2013, MoDeVVa@MoDELS.

[18]  W.M.P. van der Aalst,et al.  Business Process Management: A Comprehensive Survey , 2013 .

[19]  Jan Mendling,et al.  From WS-CDL choreography to BPEL process orchestration , 2008, J. Enterp. Inf. Manag..

[20]  Stefanie Rinderle-Ma,et al.  On Enabling Compliance of Cross-Organizational Business Processes , 2013, BPM.

[21]  Fatiha Zaïdi,et al.  A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems , 2009, TestCom/FATES.

[22]  Mathias Weske,et al.  Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation , 2011, Fundam. Informaticae.

[23]  Uwe Zdun,et al.  Process-Driven SOA - Patterns for Aligning Business and IT , 2012, Infosys Press.

[24]  Peter Dadam,et al.  SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems , 2010, CAiSE Forum.

[25]  Antonio Vallecillo.  On the Combination of Domain Specific Modeling Languages , 2010, ECMFA.

[26]  Norbert E. Fuchs.  Specifications are (preferably) executable , 1992, Softw. Eng. J..

[27]  Wil M. P. van der Aalst,et al.  Multiparty Contracts: Agreeing and Implementing Interorganizational Processes , 2010, Comput. J..

[28]  Ingo Weber,et al.  Optimizing the Performance of Automated Business Processes Executed on Virtualized Infrastructure , 2014, 2014 47th Hawaii International Conference on System Sciences.

[29]  Schahram Dustdar,et al.  Design by Units: Abstractions for Human and Compute Resources for Elastic Systems , 2012, IEEE Internet Computing.

[30]  Jordi Cabot,et al.  EMF Profiles: A Lightweight Extension Approach for EMF Models , 2012, J. Object Technol..

[31]  Schahram Dustdar,et al.  VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs , 2011, Software & Systems Modeling.

[32]  C Chapman,et al.  Elastic service definition in computational clouds , 2010, 2010 IEEE/IFIP Network Operations and Management Symposium Workshops.

[33]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[34]  Philip Mayer,et al.  Towards a BPEL unit testing framework , 2006, TAV-WEB '06.

[35]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[36]  Richard F. Paige,et al.  Domain-Specific Metamodelling Languages for Software Language Engineering , 2009, SLE.

[37]  Boonserm Kulvatunyou,et al.  Semantic mediation for standard-based B2B interoperability , 2010, IEEE Internet Computing.

[38]  Yike Guo,et al.  Principles of Elastic Processes , 2011, IEEE Internet Computing.

[39]  Jorge S. Cardoso,et al.  Measuring the Compliance of Processes with Reference Models , 2009, OTM Conferences.

[40]  Christian Huemer,et al.  Towards Living Inter-organizational Processes , 2013, 2013 IEEE 15th Conference on Business Informatics.

[41]  Andreas Metzger,et al.  Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services , 2010, ServiceWave.

[42]  Samir Tata,et al.  The view-based approach to dynamic inter-organizational workflow cooperation , 2006, Data Knowl. Eng..

[43]  Wei Sun,et al.  BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[44]  Selmin Nurcan,et al.  Resources allocation and scheduling approaches for business process applications in Cloud contexts , 2012, 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings.

[45]  Marco Montali,et al.  Runtime Verification of LTL-Based Declarative Process Models , 2011, RV.

[46]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[47]  Jean-Marc Jézéquel,et al.  Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.

[48]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[49]  Schahram Dustdar,et al.  Systematic Design of Web Service Transactions , 2005, TES.

[50]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[51]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[52]  Mathias Weske,et al.  The P2P Approach to Interorganizational Workflows , 2001, International Conference on Advanced Information Systems Engineering.

[53]  Ulrich Frank,et al.  Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines , 2013, Domain Engineering, Product Lines, Languages, and Conceptual Models.

[54]  Mark Strembeck,et al.  An approach for the systematic development of domain‐specific languages , 2009, Softw. Pract. Exp..

[55]  Dragan Ivanovic,et al.  Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations , 2011, ICSOC.

[56]  Yildiray Kabak,et al.  A survey and analysis of electronic business document standards , 2010, CSUR.

[57]  Jan Mendling,et al.  From business process models to process-oriented software systems , 2009, TSEM.

[58]  Barbara Weber,et al.  Creating Declarative Process Models Using Test Driven Modeling Suite , 2011, CAiSE Forum.

[59]  Schahram Dustdar,et al.  Workflow Scheduling and Resource Allocation for Cloud-Based Execution of Elastic Processes , 2013, 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications.

[60]  Peter Dadam,et al.  On enabling integrated process compliance with semantic constraints in process management systems , 2012, Inf. Syst. Frontiers.

[61]  M. Brian Blake,et al.  Decentralized Resource Coordination across Service Workflows in a Cloud Environment , 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.