Data & Knowledge Engineering - Special issue on ER '96
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Introduction to algorithms
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
A Declarative Approach to Concurrent Programming
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Towards aspect weaving applications
Proceedings of the 27th international conference on Software engineering
Evaluating the Process Control-Flow Complexity Measure
ICWS '05 Proceedings of the IEEE International Conference on Web Services
A programming language
Semantic-based weaving of scenarios
Proceedings of the 5th international conference on Aspect-oriented software development
Proceedings of the 5th international conference on Generative programming and component engineering
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Data Flow Repair in Web Service Orchestration at Runtime
ICIW '09 Proceedings of the 2009 Fourth International Conference on Internet and Web Applications and Services
Weaving multiple aspects in sequence diagrams
Transactions on aspect-oriented software development III
Proceedings of the tenth international conference on Aspect-oriented software development
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Aspect-oriented model development at different levels of abstraction
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Guiding architects in selecting architectural evolution alternatives
ECSA'11 Proceedings of the 5th European conference on Software architecture
Service-oriented architecture modeling: bridging the gap between structure and behavior
Proceedings of the 14th international conference on Model driven engineering languages and systems
Undoing Event-Driven Adaptation of Business Processes
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
Using domain features to handle feature interactions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
CCBR–Driven business process evolution
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Integrating process learning and process evolution – a semantics based approach
BPM'05 Proceedings of the 3rd international conference on Business Process Management
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
A causal model to predict the effect of business process evolution on quality of service
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Hi-index | 0.00 |
The Service Oriented Architecture (Soa) paradigm supports the assembly of atomic services to create applications that implement complex business processes. Since ''real-life'' processes can be very complex, composition mechanisms inspired by the Separation of Concerns paradigm (e.g. features, aspects) are good candidates to support the definition and the upcoming evolutions of large systems. We propose Adore, ''an Activity meta-moDel supOrting oRchestration Evolution'' to address this issue. The Adore meta-model allows process designers to express in the same formalism business processes and fragments of processes. Such fragments define additional activities that aim to be integrated into other processes and adequately support their evolution. The underlying logical foundations of Adore allow the definition of interference detection rules as logical predicate, as well as the definition of consistency properties on Adore models. Consequently, the Adore framework supports process designers while they design and then apply evolutions on large processes, managing the detection of interferences among fragments and ensuring that the composed processes are consistent and do not depend on the order of the composition.