Attribute-based transactions in service oriented computing

DOI10.1017/S0960129512000904MaRDI QIDQ5740634zbMATH OpenOpenAlexFDO

Authors Laura Bocchi, Emilio Tuosto

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129512000904

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An Observational Model for Transactional Calculus of Services Orchestration
• Web services transaction model and protocol research

Cites work

• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Communicating transactions (extended abstract)
• On the Expressive Power of Primitives for Compensation Handling
• Testing equivalences for processes

Cited in

(1)

• Privacy preserving minimal observability for composite transactional services

This page was built for publication: Attribute-based transactions in service oriented computing

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