From StPowla processes to SRML models

DOI10.1007/S00165-009-0118-7MaRDI QIDQ973047zbMATH OpenOpenAlexFDO

Authors Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec

Publication date 28 May 2010

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-009-0118-7

zbMATH Keywords

workflowspoliciesservice modellingservice oriented architecture

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A formal model for service-oriented interactions
• A perspective on service orchestration
• Service oriented computing from a process algebraic perspective
• DSOL: a declarative approach to self-adaptive service orchestrations
• Service-oriented logic programming

Cites work

• scientific article; zbMATH DE number 5506106 (Why is no real title available?)
• scientific article; zbMATH DE number 1980999 (Why is no real title available?)
• A Calculus for Orchestration of Web Services
• A calculus for long-running transactions.
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• From StPowla processes to SRML models
• Logic–Based Detection of Conflicts in Appel Policies
• Semiring-based constraint satisfaction and optimization

Cited in

(4)

• A formal model for service-oriented interactions
• DSOL: a declarative approach to self-adaptive service orchestrations
• From StPowla processes to SRML models
• A perspective on service orchestration

Describes a project that uses

Uses Software

• RuleML
• YAWL
• COWS
• CC-Pi
• Oracle

This page was built for publication: From StPowla processes to SRML models

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