A formal model for service-oriented interactions

DOI10.1016/J.SCICO.2011.12.003MaRDI QIDQ436383zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, Antónia Lopes, João Abreu

Publication date 20 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2011.12.003

zbMATH Keywords

formal methodstemporal logicorchestrationservice-oriented computingconversational protocolslabelled transition systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Recommendations

• From StPowla processes to SRML models
• The Conversation Calculus: A Model of Service-Oriented Computation
• Service-oriented logic programming
• A Logic-Programming Semantics of Services
• Logical foundations of services

Cites work

• scientific article; zbMATH DE number 1693039 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1487860 (Why is no real title available?)
• A Calculus for Orchestration of Web Services
• A Type System for Client Progress in a Service-Oriented Calculus
• A branching time logic with past operators
• A calculus of global interaction based on session types
• A state/event-based model-checking approach for the analysis of abstract system properties
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Concurrent software verification with states, events, and deadlocks
• Formal semantics and analysis of control flow in WS-BPEL
• From StPowla processes to SRML models
• Fundamental Approaches to Software Engineering
• Fundamentals of control flow in workflows
• The Conversation Calculus: A Model of Service-Oriented Computation
• The Orc Programming Language
• Three logics for branching bisimulation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• Web services. Concepts, architectures and applications

Cited in

(12)

• scientific article; zbMATH DE number 1860621 (Why is no real title available?)
• Models for trustworthy service and process oriented systems
• scientific article; zbMATH DE number 5044589 (Why is no real title available?)
• An interface model for service-oriented software architecture
• An interface theory for service-oriented design
• The Conversation Calculus: A Model of Service-Oriented Computation
• Service-oriented logic programming
• A rigorous model of service component architecture
• What Do Semantics Matter When the Meat Is Overcooked?
• Specifying services with UML and UML-RT: foundations, challenges and limitations
• Translations of service level agreement in systems based on service-oriented architectures
• From StPowla processes to SRML models

Describes a project that uses

Uses Software

• WSAT
• SPIN
• BPEL2PN
• COWS
• Orc
• PEPA
• MAGIC

This page was built for publication: A formal model for service-oriented interactions

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