A formal model for service-oriented interactions

DOI10.1016/J.SCICO.2011.12.003zbMath1243.68138OpenAlexW2171869249MaRDI QIDQ436383

Antónia Lopes, José Luiz Fiadeiro, João Carlos Abreu Júnior

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 logiclabelled transition systemsorchestrationservice-oriented computingconversational protocols

Mathematics Subject Classification ID

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

Related Items (1)

An interface theory for service-oriented design

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A state/event-based model-checking approach for the analysis of abstract system properties
• From StPowla processes to SRML models
• Formal semantics and analysis of control flow in WS-BPEL
• A branching time logic with past operators
• Fundamentals of control flow in workflows
• Web services. Concepts, architectures and applications
• Concurrent software verification with states, events, and deadlocks
• A Calculus of Global Interaction based on Session Types
• A Type System for Client Progress in a Service-Oriented Calculus
• The Orc Programming Language
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Three logics for branching bisimulation
• Fundamental Approaches to Software Engineering
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• A Calculus for Orchestration of Web Services

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