Two exercises found in a book on algorithmics
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Bisimulation through probabilistic testing
Information and Computation
Elements of interaction: Turing award lecture
Communications of the ACM
Interaction categories and the foundations of typed concurrent programming
Proceedings of the NATO Advanced Study Institute on Deductive program design
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
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
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
Hybrid Automata with Finite Bisimulatioins
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
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
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
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
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
An Exercise on Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Automata for Context-Dependent Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A model of context-dependent component connectors
Science of Computer Programming
Intentional automata: a context-dependent model for component connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Modular plans for secure service composition
Journal of Computer Security - ARSPA-WITS'10
| Hi-index | 0.00 |
Service-oriented computing is an emerging paradigm with increasing impact on the way modern software systems are designed and developed. Services are autonomous, loosely coupled and heterogeneous computational entities able to cooperate to achieve common goals. This paper introduces a model for service orchestration, which combines a exogenous coordination model, with services' interfaces annotated with behavioural patterns specified in a process algebra which is parametric on the interaction discipline. The coordination model is a variant of Reo for which a new semantic model is proposed.