A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Rapid application of lightweight formal methods for consistency analyses
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
Automated SLA Monitoring for Web Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
A Formal Approach to Heterogeneous Software Modeling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Business Modelling Is Not Process Modelling
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda
Information Systems Research
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Distributed and Parallel Databases
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
ACM Transactions on Computer Systems (TOCS)
Conformance checking of processes based on monitoring real behavior
Information Systems
Monitoring Dependencies for SLAs: The MoDe4SLA Approach
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 1
An Approach for Maintaining Models of an E-commerce Collaboration
CECANDEEE '08 Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services
Analyzing Impact Factors on Composite Services
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Management applications of the Web Service Offerings Language (WSOL)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Capturing and Analyzing Service Network Models
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
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.