Communicating sequential processes
Communicating sequential processes
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating efficient protocol code from an abstract specification
IEEE/ACM Transactions on Networking (TON)
Rapide: a language and toolset for simulation of distributed systems by partial orderings of events
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
The Book of SAX
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A Structured Approach to Handling On-Line Interface Upgrades
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
A Uniform Approach to Configuration and Communication in Distributed Systems
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Supporting the dynamic evolution of Web service protocols in service-oriented architectures
ACM Transactions on the Web (TWEB)
INDISS: interoperable discovery system for networked services
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Methodology evaluation framework for dynamic evolution in composition-based distributed applications
Journal of Systems and Software
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Service discovery protocol interoperability in the mobile environment
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
INDISS: interoperable discovery system for networked services
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
Hi-index | 0.00 |
All systems built from distributed components involve theuse of one or more protocols for inter-component communication.Whether these protocols are based on a broadlyused "standard" or are specially designed for a particularapplication, they are likely to evolve. The goal of the workdescribed here is to contribute techniques that can supportprotocol evolution. We are concerned not with how or whya protocol might evolve, or even whether that evolution isin some sense correct. Rather, our concern is with making itpossible for applications to accommodate protocol changesdynamically. Our approach is based on a method for isolatingthe syntactic details of a protocol from the semanticconcepts manipulated within components. Protocol syntaxis formally specified in terms of tokens, message structures,and message sequences. Event-based translation techniquesare used in a novel way to present to the application the semanticconcepts embodied by these syntactic elements. Weillustrate our approach by showing how it would support anHTTP 1.1 client interacting with an HTTP 1.0 server.