Structuring theories on consequence
Lecture notes in Computer Science on Recent trends in data type specification
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)
The case for reflective middleware
Communications of the ACM - Adaptive middleware
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Categories for Software Engineering
Categories for Software Engineering
WWW '05 Proceedings of the 14th international conference on World Wide Web
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
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 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
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
The conversation calculus: a model of service-oriented computation
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
An abstract model of service discovery and binding
Formal Aspects of Computing
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |
Service-oriented systems rely on software applications that offer services through the orchestration of activities performed by external services procured on the fly when they are needed. This paper presents an overview of a graph-based framework developed around the notions of service and activity module for supporting the design of service-oriented systems in a way that is independent of execution languages and deployment platforms. The framework supports both behaviour and quality-of-service constraints for the discovery, ranking and selection of external services. Service instantiation and binding are captured as algebraic operations on configuration graphs.