Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The case for reflective middleware
Communications of the ACM - Adaptive middleware
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
On the Role of Software Architectures in Runtime System Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
ACM SIGSOFT Software Engineering Notes
Support for Evolving Software Architectures in the ArchWare ADL
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
A Calculus of Global Interaction based on Session Types
Electronic Notes in Theoretical Computer Science (ENTCS)
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Representing Service-Oriented Architectural Models Using Π-ADL
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Service-Oriented Modelling of Automotive Systems
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Model-Checking Approach for Service Component Architectures
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
From BPEL to SRML: a formal transformational approach
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Managing dynamic reconfiguration in component-based systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
ECSA'11 Proceedings of the 5th European conference on Software architecture
A formal model for service-oriented interactions
Science of Computer Programming
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
An interface theory for service-oriented design
Theoretical Computer Science
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
Hi-index | 0.00 |
The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural characteristics of service-oriented applications goes beyond what is currently addressed by existing architecture description languages (ADLs). At the heart of the service-oriented approach is the logical separation of service need from the need-fulfillment mechanism, i.e., the service provider: the binding between the two is deferred to runtime and established at the instance level, i.e. each time the need for the service emerges. In this paper we present an architecture-oriented model for dynamic reconfiguration that paves the way for the definition of ADLs that are able to address the specification of dynamic architectural characteristics of service-oriented applications.