MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

Inter-organizational cooperations are complex in terms of coordination, agreements, and value creation for involved partners. When managing complex cooperations, it is vital to maintain models describing them. Changing one model to regain consistency with the running system might result in new inconsistencies. As a consequence, this maintenance phase grows in complexity with increasing number of models. In this context, challenges are to ensure consistency at design time and to monitor the system at runtime, i.e., at design time, consistency between different models describing the cooperation needs to be ensured. At runtime, behavior of the software system needs to be compared with its underlying models. In this paper, we propose a structured and model-independent method that supports ensuring and maintaining consistency between running system and underlying models for inter-organizational cooperations.

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

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

[3]  Stephen A. White,et al.  Business Process Modeling Notation , 2004 .

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

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

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

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

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

[9]  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.

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

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

[12]  M. S. Feather.  Rapid application of lightweight formal methods for consistency analyses : Managing inconsistency in software development , 1998 .

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

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

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

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

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

[18]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[19]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

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

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

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

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

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

[25]  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.

[26]  Francisco Ruiz,et al.  Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes , 2008, Diagnostic pathology.

[27]  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.

[28]  Ragnhild Van Der Straeten,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

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

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

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

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

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

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

[35]  Manfred Reichert,et al.  The ADEPT project: a decade of research and development for robust and flexible process support , 2009, Computer Science - Research and Development.

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

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

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

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

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

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

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

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

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

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

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

[47]  Lianne Bodenstaff,et al.  Managing Dependency Relations in Inter-Organizational Models , 2010 .

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

[49]  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.

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

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

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

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

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

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

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

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

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