Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The expression of graph properties and graph transformations in monadic second-order logic
Handbook of graph grammars and computing by graph transformation
Hyperedge Replacement: Grammars and Languages
Hyperedge Replacement: Grammars and Languages
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
The rewriting logic semantics project
Theoretical Computer Science
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
A Model-Driven Approach to Service Orchestration
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
Hierarchical Design Rewriting with Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Architecture migration driven by code categorization
ECSA'07 Proceedings of the First European conference on Software Architecture
Modeling issues: a survival guide for a non-expert modeler
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
A formal support to business and architectural design for service-oriented systems
Rigorous software engineering for service-oriented systems
RESTful, resource-oriented architectures: a model-driven approach
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Hi-index | 0.00 |
We present a UML Profile for the description of service oriented applications. The profile focuses on style-based design and reconfiguration aspects at the architectural level. Moreover, it has formal support in terms of an approach called Architectural Design Rewriting, which enables formal analysis of the UML specifications. We show how our prototypical implementation can be used to analyse and verify properties of a service oriented application.