Exploiting reusable specifications through analogy
Communications of the ACM
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
Foundations of statistical natural language processing
Foundations of statistical natural language processing
Generating statechart designs from scenarios
Proceedings of the 22nd 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
Communication and Concurrency
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Improving Requirements Tracing via Information Retrieval
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science)
Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science)
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Industrial-strength schema matching
ACM SIGMOD Record
A generic approach to supporting diagram differencing and merging for collaborative design
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A Bayesian approach to diagram matching with application to architectural models
Proceedings of the 28th international conference on Software engineering
Proceedings of the 2006 international workshop on Global integrated model management
View merging in the presence of incompleteness and inconsistency
Requirements Engineering
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
WordNet: similarity - measuring the relatedness of concepts
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Package merge in UML 2: practice vs. theory?
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Simulation-Based graph similarity
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A Relationship-Driven Framework for Model Merging
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
A proposal for taming uncertainty in the collaborative conceptual model development process
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
An Eclipse-based tool framework for software model management
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
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
A Generic Approach for Automatic Model Composition
Models in Software Engineering
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
Models in Software Engineering
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
Journal of Systems and Software
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Detecting Behavioural Incompatibilities between Pairs of Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Complete and accurate clone detection in graph-based models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Different models for model matching: An analysis of approaches to support model differencing
CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Relationship-based change propagation: A case study
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
Consistency Checking for Component Reuse in Open Systems
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Diagnosing and Measuring Incompatibilities between Pairs of Services
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Graph Matching Algorithms for Business Process Model Similarity Search
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Language-Independent Change Management of Process Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Aligning business process models
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assessing the impact of aspects on model composition effort
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Towards automatization of domain modeling
Data & Knowledge Engineering
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
A framework for handling variants of software models
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Towards clone detection in UML domain models
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Model comparison with GenericDiff
Proceedings of the IEEE/ACM international conference on Automated software engineering
Composition of architectural models: Empirical analysis and language support
Journal of Systems and Software
Journal of Systems and Software
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Similarity of business process models: Metrics and evaluation
Information Systems
Precise detection of conflicting change operations using process model terms
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Analyzing the effort on composing design models in industrial case studies
Proceedings of the tenth international conference on Aspect-oriented software development companion
Complex mapping discovery for semantic process model alignment
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Workflow design using fragment composition: crisis management system design through ADORE
Transactions on aspect-oriented software development VII
Measuring the compatibility of service interaction protocols
Proceedings of the 2011 ACM Symposium on Applied Computing
Techniques for merging views of software processes
Graph transformations and model-driven engineering
Workflow design using fragment composition: crisis management system design through ADORE
Transactions on aspect-oriented software development VII
A model-driven approach to develop adaptive firmwares
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
CDDiff: semantic differencing for class diagrams
Proceedings of the 25th European conference on Object-oriented programming
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Service-oriented architecture modeling: bridging the gap between structure and behavior
Proceedings of the 14th international conference on Model driven engineering languages and systems
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
Perceived consistency between process models
Information Systems
Information and Software Technology
Differencing labeled transition systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
VirtualEMF: a model virtualization tool
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Ontology to represent similarity relations between public web services
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
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
Comparison and retrieval of process models using related cluster pairs
Computers in Industry
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Comparing approaches to implement feature model composition
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Specifying and detecting meaningful changes in programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Propagating changes between aligned process models
Journal of Systems and Software
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Combining related products into product lines
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Weaving variability into domain metamodels
Software and Systems Modeling (SoSyM)
Adaptability of model comparison tools
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Model transformations for migrating legacy models: an industrial case study
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Synthesizing object life cycles from business process models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Business Process Model Merging: An Approach to Business Process Consolidation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software and Systems Modeling (SoSyM)
Quality of merge-refactorings for product lines
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A framework for managing cloned product variants
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
Model-based high availability configuration framework for cloud
Proceedings of the 2013 Middleware Doctoral Symposium
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating hierarchical Statecharts: Match, for finding correspondences between models, and Merge, for combining models with respect to known correspondences between them. Our Match operator is heuristic, making use of both static and behavioural properties of the models to improve the accuracy of matching. Our Merge operator preserves the hierarchical structure of the input models, and handles differences in behaviour through parameterization. In this way, we automatically construct merges that preserve the semantics of Statecharts models. We illustrate and evaluate our work by applying our operators to AT&T telecommunication features.