From StPowla processes to SRML models

DOI10.1007/S00165-009-0118-7zbMATH Open1213.68217OpenAlexW2051590720MaRDI QIDQ973047FDOQ973047

Stephan Reiff-Marganiec, Stephen Gorton, Laura Bocchi

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

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

zbMATH Keywords

workflowspoliciesservice modellingservice oriented architecture

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• A Calculus for Orchestration of Web Services
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Semiring-based constraint satisfaction and optimization
• From StPowla processes to SRML models
• Formal Methods for Open Object-Based Distributed Systems
• Logic–Based Detection of Conflicts in Appel Policies
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• A formal model for service-oriented interactions
• From StPowla processes to SRML models

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)