Managing Dependency Relations in Inter-Organizational Models

In various fields like software development, information systems development, and e-business development, model-based approaches allow specifying different models of which each emphasizes one specific aspect or part of the software system. In this thesis we consider particularly model-based approaches for defining inter-organizational cooperations. These cooperations are usually complex in terms of coordination, agreements, and value creation for involved partners. At design time one should ensure that the different models are consistent with each other, i.e., that they describe the same system. At runtime we additionally have to deal with the fact that behavior of the software system might be different from that agreed upon. Such deviant behavior can, for example, be caused by partners in the cooperation that do not behave according to the agreement. Therefore, the challenges are to ensure consistency at design time as well as to monitor the system at runtime in order to detect inconsistencies with the models it relies on. When managing complex cooperations, it is also vital to maintain the models describing them to keep an overview on the successfulness of the cooperation. Changing one model to regain consistency with the running system might result in new inconsistencies between the different models. As a consequence, this maintenance phase of the models is time consuming and grows in complexity with increasing number of models describing the system. This thesis proposes a method that supports ensuring and maintaining consistency between running system and underlying models for inter-organizational cooperations. We provide a structured and model-independent approach to check and maintain consistency. Thereby, we focus on identifying and maintaining these inter-model relations. We validate our method by conducting two case studies in two different fields of research. The first scenario deals with business and coordination models, while the second one addresses Web service compositions. Furthermore, we provide a prototypical implementation as proof-of-concept evaluation of both scenarios. We conclude with an empirical validation of the Web service composition scenario by an extensive and interactive survey conducted among 34 participants. This survey confirms the suitability of our proposed management solution provided for real life use.

[1]  Howard Bowman,et al.  A Formal Framework for Viewpoint Consistency , 2002, Formal Methods Syst. Des..

[2]  Daniel A. Menascé,et al.  Response-time analysis of composite Web services , 2004, IEEE Internet Computing.

[3]  Reiko Heckel,et al.  Consistency-Preserving Model Evolution through Transformations , 2002, UML.

[4]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[5]  Ellen M. Mitchell,et al.  Aristotle's logic. , 1891 .

[6]  J Swanson,et al.  Business Dynamics—Systems Thinking and Modeling for a Complex World , 2002, J. Oper. Res. Soc..

[7]  Jacob Lenting Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[8]  Luciano Baresi,et al.  Smart monitors for composed services , 2004, ICSOC '04.

[9]  R. Wieringa,et al.  Monitoring Collaboration from a Value Perspective , 2007, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference.

[10]  Danilo Ardagna,et al.  Global and Local QoS Guarantee in Web Service Selection , 2005, Business Process Management Workshops.

[11]  J. Cooper,et al.  Building Bridges Between Cooperative and Collaborative Learning , 1995 .

[12]  Fausto Giunchiglia,et al.  S-Match: an Algorithm and an Implementation of Semantic Matching , 2004, ESWS.

[13]  P. Dillenbourg,et al.  The evolution of research on collaborative learning , 1996 .

[14]  Birger Andersson,et al.  A Declarative Foundation of Process Models , 2005, CAiSE.

[15]  Andrea Zisman,et al.  Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .

[16]  Yiyu Yao,et al.  Granular Computing , 2008 .

[17]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[18]  C. Hardy,et al.  Inter-organizational collaboration and the dynamics of institutional fields , 2002 .

[19]  Howard Bowman,et al.  Viewpoint consistency in ODP, a general interpretation , 1997 .

[20]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[21]  Manfred Reichert,et al.  Monitoring Service Compositions in MoDe4SLA - Design of Validation , 2009, ICEIS.

[22]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[23]  Bashar Nuseibeh,et al.  Leveraging Inconsistency in Software Development , 2000, Computer.

[24]  Srinivas Ramanathan,et al.  Using service models for management of Internet services , 2000, IEEE Journal on Selected Areas in Communications.

[25]  Jan B. Heide Interorganizational Governance in Marketing Channels , 1994 .

[26]  Schahram Dustdar,et al.  Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.

[27]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[28]  Peri Loucopoulos,et al.  Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development , 1992 .

[29]  Reiko Heckel,et al.  TESTING THE CONSISTENCY OF DYNAMIC UML DIAGRAMS , 2002 .

[30]  Barry W. Boehm Value-based software engineering: reinventing , 2003, SOEN.

[31]  George M. Giaglis,et al.  Dynamic Modeling to Assess the Business Value of Electronic Commerce , 1999, Int. J. Electron. Commer..

[32]  Mike P. Papazoglou,et al.  Reflection is the essence of cooperation , 1997 .

[33]  Varun Grover,et al.  E-commerce and corporate strategy: an executive perspective , 2003, Inf. Manag..

[34]  T. Das,et al.  Between Trust and Control: Developing Confidence in Partner Cooperation in Alliances , 1998 .

[35]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[36]  Bogdan Franczyk,et al.  Managing Dynamics of Composite Service Level Agreements with COSMA , 2008, 2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery.

[37]  Stuart A. Rosenfeld Does cooperation enhance competitiveness? Assessing the impacts of inter-firm collaboration , 1996 .

[38]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[39]  Manish Gupta,et al.  Problem Determination Using Dependency Graphs and Run-Time Behavior Models , 2004, DSOM.

[40]  Javier Franch Gutiérrez,et al.  Monitoring Adaptable SOA Systems using SALMon , 2008 .

[41]  Somesh Jha,et al.  Software Design as an Investment Activity: A Real Options Perspective , 1998 .

[42]  Leonid Stoimenov,et al.  Proceedings of the 6 th AGILE Dates – Lieu REALIZATION OF GIS SEMANTIC INTEROPERABILITY IN LOCAL COMMUNITY ENVIRONMENT , 2003 .

[43]  Manfred Reichert,et al.  Analyzing Impact Factors on Composite Services , 2009, 2009 IEEE International Conference on Services Computing.

[44]  Tom Mens,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

[45]  Ulrich Frank,et al.  Conceptual Modelling as the Core of the Information Systems Discipline - Perspectives and Epistemological Challenges , 1999 .

[46]  Manfred Reichert,et al.  An Approach to quantify the Costs of Business Process Intelligence , 2005, EMISA.

[47]  E. Soloway,et al.  Learning With Peers: From Small Group Cooperation to Collaborative Communities , 1996 .

[48]  Jaap Gordijn,et al.  Assessing Feasibility of IT-Enabled Networked Value Constellations: A Case Study in the Electricity Sector , 2007, CAiSE.

[49]  Jinxing Xie,et al.  Production, Manufacturing and Logistics The impact of forecasting model selection on the value of information sharing in a supply chain , 2002 .

[50]  Stanislav Pokraev,et al.  Model-driven semantic integration of service-oriented applications , 2009 .

[51]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[52]  Yaser A. Bishr,et al.  Overcoming the Semantic and Other Barriers to GIS Interoperability , 1998, Int. J. Geogr. Inf. Sci..

[53]  Fabio Casati,et al.  Automated SLA Monitoring for Web Services , 2002, DSOM.

[54]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[55]  Jaap Gordijn,et al.  Value-Driven Coordination Process Design Using Physical Delivery Models , 2008, ER.

[56]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[57]  Manfred Reichert,et al.  Towards Management of Complex Service Compositions - Position Paper , 2009, 2009 World Conference on Services - II.

[58]  Martin S. Feather Rapid Application of Lightweight Formal Methods for Consistency Analysis , 1998, IEEE Trans. Software Eng..

[59]  Dániel Varró,et al.  VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) , 2003, Software & Systems Modeling.

[60]  Vladimir Tosic,et al.  Management applications of the Web Service Offerings Language (WSOL) , 2005, Inf. Syst..

[61]  Luciano Baresi,et al.  Towards Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[62]  Samuel T. King,et al.  Backtracking intrusions , 2003, SOSP '03.

[63]  Maria Luisa Villani,et al.  An approach for QoS-aware service composition based on genetic algorithms , 2005, GECCO '05.

[64]  Manfred Reichert,et al.  An Approach for Maintaining Models of an E-commerce Collaboration , 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

[65]  Birger Andersson,et al.  From Business to Process Models - a Chaining Methodology , 2006, BUSITAL.

[66]  Howard Bowman,et al.  Supporting ODP - Translating LOTOS to Z , 1997 .

[67]  Ron Weber,et al.  Research Commentary: Information Systems and Conceptual Modeling - A Research Agenda , 2002, Inf. Syst. Res..

[68]  Ian R. Macneil The new social contract: An inquiry into modern contractual relations , 1980 .

[69]  Kurt Jensen Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[70]  James H. Andrews,et al.  General Test Result Checking with Log File Analysis , 2003, IEEE Trans. Software Eng..

[71]  Michael C. Jäger,et al.  SENECA - Simulation of Algorithms for the Selection of Web Services for Compositions , 2005, TES.

[72]  Axel Keller,et al.  The virtual resource manager: an architecture for SLA-aware resource management , 2004, IEEE International Symposium on Cluster Computing and the Grid, 2004. CCGrid 2004..

[73]  Jaap Gordijn,et al.  Value-based requirements engineering: exploring innovative e-commerce ideas , 2003, Requirements Engineering.

[74]  Robert J Willis Critical path analysis and resource constrained project scheduling -- Theory and practice , 1985 .

[75]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[76]  Wil M. P. van der Aalst,et al.  Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..

[77]  C. Hardy,et al.  Institutional effects of interorganizational collaboration: The emergence of proto-institutions , 2002 .

[78]  Cliff Wymbs,et al.  How e‐commerce is transforming and internationalizing service industries , 2000 .

[79]  Pascal Fradet,et al.  Consistency checking for multiple view software architectures , 1999, ESEC/FSE-7.

[80]  Jaap Gordijn,et al.  Business Modelling Is Not Process Modelling , 2000, ER.

[81]  Santhosh Kumaran,et al.  From business process model to consistent implementation: a case for formal verification methods , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[82]  Mark A. Musen,et al.  Anchor-PROMPT: Using Non-Local Context for Semantic Matching , 2001, OIS@IJCAI.

[83]  Peter G. Neumann,et al.  EMERALD: Event Monitoring Enabling Responses to Anomalous Live Disturbances , 1997, CCS 2002.

[84]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[85]  Manfred Reichert,et al.  Data-Driven Modeling and Coordination of Large Process Structures , 2007, OTM Conferences.

[86]  Ralf Steinmetz,et al.  Heuristics for QoS-aware Web Service Composition , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[87]  Gero Mühl,et al.  QoS aggregation in Web service compositions , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[88]  Schahram Dustdar,et al.  Caramba—A Process-Aware Collaboration System Supporting Ad hoc and Collaborative Processes in Virtual Teams , 2004, Distributed and Parallel Databases.

[89]  Marilyn Jager Adams,et al.  Aristotle'S Logic , 1984 .

[90]  George Spanoudakis,et al.  Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience , 2005, IEEE International Conference on Web Services (ICWS'05).

[91]  Manfred Reichert,et al.  Monitoring Dependencies for SLAs: The MoDe4SLA Approach , 2008, 2008 IEEE International Conference on Services Computing.

[92]  Gianna Reggio,et al.  An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint , 2002, WADT.

[93]  A. R. van Ballegooij,et al.  RAM: Array Database Management through Relational Mapping , 2009 .

[94]  Manfred Reichert,et al.  Towards the Integration of Value and Coordination Models - Position Paper - , 2007 .

[95]  Manfred Reichert,et al.  Dynamic Consistency Between Value and Coordination Models - Research Issues , 2006, OTM Workshops.

[96]  Andreas Wombacher,et al.  Consistency Between e3-value Models and Activity Diagrams in a Multi-perspective Development Method , 2005, OTM Conferences.

[97]  Fabio Casati,et al.  Business Process Intelligence , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[98]  Vladimir Tosic,et al.  Towards a Web service composition management framework , 2005, IEEE International Conference on Web Services (ICWS'05).

[99]  Ronald Morrison,et al.  Reflection and Reification in Process System Evolution: Experience and Opportunity , 2001, EWSPT.

[100]  Barry Boehm,et al.  Software economics: a roadmap , 2000, ICSE '00.

[101]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[102]  Roy H. Campbell,et al.  Monitoring compliance of a software system with its high-level design models , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[103]  Tom Mens,et al.  Maintaining Consistency between UML Models with Description Logic Tools. , 2003 .

[104]  Yves Pigneur,et al.  An eBusiness Model Ontology for Modeling eBusiness , 2002, Bled eConference.

[105]  Marsha Chechik,et al.  Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.

[106]  Marsha Chechik,et al.  A framework for multi-valued reasoning over inconsistent viewpoints , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[107]  Bashar Nuseibeh,et al.  Coordinating distributed ViewPoints: the Anatomy of a Consistency Check , 1994 .

[108]  Raman Kazhamiakin,et al.  A framework for integrating business processes and business requirements , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[109]  Paul Timmers,et al.  Business Models for Electronic Markets , 1998, Electron. Mark..

[110]  Nenad Medvidovic,et al.  A Formal Approach to Heterogeneous Software Modeling , 2000, FASE.

[111]  Manfred Reichert,et al.  On Formal Consistency between Value and Coordination Models , 2007 .

[112]  Wolfgang Emmerich,et al.  Consistency management with repair actions , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[113]  C.M.T. Metselaar,et al.  Sociaal-organisatorische gevolgen van kennistechnologie : een procesbenadering en actorperspectief , 2000 .

[114]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

[115]  Manfred Reichert,et al.  A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures , 2008, CAiSE.

[116]  Amit P. Sheth,et al.  Modeling Quality of Service for Workflows and Web Service Processes , 2002 .