Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Compatibility and inheritance in software architectures
Science of Computer Programming
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Distributed and Parallel Databases
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Software Architecture in Practice
Software Architecture in Practice
Supporting active database learning and training through interactive multimedia
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Architectural aspects of architectural aspects
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
| Hi-index | 0.00 |
Service-oriented architecture is a recent paradigm for architectural design. The software engineering aspects in this context, that have not been sufficiently addressed, are software evolution and software migration. Architectures are of great importance if large software systems change. Architectural transformations can guide and make this change controllable. In this paper, we present a modelling and transformation method for service-based software systems. Architectural configurations, expressed through architectural patterns, form the core of an underlying specification and transformation calculus. Patterns on different levels of abstraction form transformation invariants that structure and constrain the transformation process. We explore the role layered patterns can play in modelling and as invariants for transformation techniques.