An interface theory for service-oriented design

DOI10.1016/J.TCS.2013.05.011MaRDI QIDQ407507zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, Antónia Lopes

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)

Recommendations

• Logical foundations of services
• A full operational semantics for asynchronous relational networks
• An interface model for service-oriented software architecture
• Services and Contracts: Coalgebraically
• A theory of system interaction: components, interfaces, and services

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A formal model for service-oriented interactions
• A foundational theory of contracts for multi-party service composition
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Defining liveness
• From liveness to promptness
• Institutions: abstract model theory for specification and programming
• Multiparty session types meet communicating automata
• On Communicating Finite-State Machines
• On the progress of communication between two finite state machines
• Parametric temporal logic for “model measuring”
• Proofs of Networks of Processes
• Reasoning about infinite computations
• Recognizing safety and liveness
• Structured Communication-Centred Programming for Web Services
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(7)

• Compositional Service Trees
• A full operational semantics for asynchronous relational networks
• A Graph-Based Design Framework for Services
• An interface model for service-oriented software architecture
• Logical foundations of services
• Dynamic networks of heterogeneous timed machines
• Heterogeneous and asynchronous networks of timed systems

Describes a project that uses

Uses Software

• WSAT

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q407507)