Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Algebra of programming
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Distributed and Parallel Databases
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Inheriting Synchronization Protocols via Sound Enrichment Rules
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Coinductive Interpreters for Process Calculi
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Typed Lambda Calculus with Categorical Type Constructors
Category Theory and Computer Science
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Implementation of semantic services in enterprise application integration
WSEAS Transactions on Computers
Execution of semantic services in enterprise application integration
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
| Hi-index | 0.00 |
The quest for sound foundations for the orchestration of web services is still open. To a great extent its relevance comes from the possibility of defining formal semantics for new language standards (like BPEL4WS or WS-CDL) in this emerging and challenging technology. As a step in that direction, this paper resorts to a notion of configuration, developed by the authors in the context of a Reo-like exogenous coordination model for software components, to formally express service orchestration. The latter is regarded as involving both the architectural assembly of independent services and the description of their interactions.