An interface theory for service-oriented design

DOI10.1016/j.tcs.2013.05.011zbMath1360.68631OpenAlexW2136194169MaRDI QIDQ407507

Antónia Lopes, José Luiz Fiadeiro

Publication date: 2 September 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.05.011

zbMATH Keywords

temporal logicorchestrationasynchronous process networkscomponent algebrainterface algebraservice-oriented computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Dynamic networks of heterogeneous timed machines ⋮ Heterogeneous and asynchronous networks of timed systems

Uses Software

• WSAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal model for service-oriented interactions
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• From liveness to promptness
• Defining liveness
• Recognizing safety and liveness
• Reasoning about infinite computations
• Multiparty Session Types Meet Communicating Automata
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• Parametric temporal logic for “model measuring”
• On Communicating Finite-State Machines
• On the progress of communication between two finite state machines
• Proofs of Networks of Processes
• Institutions: abstract model theory for specification and programming
• Structured Communication-Centred Programming for Web Services
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: An interface theory for service-oriented design