From StPowla processes to SRML models

DOI10.1007/S00165-009-0118-7zbMath1213.68217OpenAlexW2051590720MaRDI QIDQ973047

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

zbMATH Keywords

workflowspoliciesservice modellingservice oriented architecture

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

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

Uses Software

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

Cites Work

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

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