Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Formal verification of parallel programs
Communications of the ACM
Composition patterns: an approach to designing reusable aspects
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Symbolic Bisimulation Minimisation
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Multi-valued symbolic model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)
Proceedings of the 26th International Conference on Software Engineering
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Traceability in viewpoint merging: a model management perspective
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Proceedings of the 2006 international workshop on Global integrated model management
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
A relationship-driven approach to view merging
ACM SIGSOFT Software Engineering Notes
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
A Relationship-Driven Framework for Model Merging
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Information and Software Technology
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
Global consistency checking of distributed models with TReMer+
Proceedings of the 30th international conference on Software engineering
Behavioural model fusion: an overview of challenges
Proceedings of the 2008 international workshop on Models in software engineering
Declarative approach for model composition
Proceedings of the 2008 international workshop on Models in software engineering
On model checking multiple hybrid views
Theoretical Computer Science
Model-Checking Software Using Precise Abstractions
Verified Software: Theories, Tools, Experiments
A General Approach for Scenario Integration
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On correct and complete strong merging of partial behaviour models
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Merging Event-Driven Process Chains
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
MTSA: The Modal Transition System Analyser
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal and mixed specifications: Key decision problems and their complexities
Mathematical Structures in Computer Science
Consistent integration of models based on views of visual languages
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Modal transition systems: composition and LTL model checking
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Parametric modal transition systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
Language independent refinement using partial modeling
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
EXPTIME-completeness of thorough refinement on modal transition systems
Information and Computation
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Merging partial behaviour models with different vocabularies
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
PWWM: a personal web workflow methodology
The Personal Web
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support incremental elaboration of partial behaviour descriptions. A noteworthy example is the wide adoption of scenario-based notations such as message sequence charts. Scenario-based specifications are partial descriptions that can be incrementally elaborated to cover the system behaviour that is of interest. However, how should partial behavioural models described by different stakeholders with different viewpoints covering different aspects of behaviour be composed? How should partial models of component instances of the same type be put together. In this paper, we propose model merging as a general solution to these questions. We formally define model merging based on observational refinement and show that merging consistent models is a process that should result in a minimal common refinement. Because minimal common refinements are not guaranteed to be unique, we argue that the modeller should participate in the process of elaborating such a model. We also discuss the role of the least common refinement and the greatest lower bound of all minimal common refinements in this elaboration process. In addition, we provide algorithms for i) checking consistency between two models; ii) constructing their least common refinement if one exists; iii) supporting the construction of a minimal common refinement if there is no least common refinement.