What Do Semantics Matter When the Meat Is Overcooked?

DOI10.1007/978-3-540-68679-8_35MaRDI QIDQ3507389zbMATH OpenOpenAlexFDO

Authors José Fiadeiro

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68679-8_35

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A Logic-Programming Semantics of Services
• scientific article; zbMATH DE number 2013606
• A full operational semantics for asynchronous relational networks
• A formal model for service-oriented interactions
• Service-oriented logic programming

Cites work

• A Calculus for Orchestration of Web Services
• A state/event-based model-checking approach for the analysis of abstract system properties
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Formal semantics and analysis of control flow in WS-BPEL
• Semiring-based constraint satisfaction and optimization
• Soft concurrent constraint programming
• Structured Co-spans: An Algebra of Interaction Protocols
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• Truly concurrent constraint programming
• Two graph-based techniques for software architecture reconfiguration
• Web services. Concepts, architectures and applications

This page was built for publication: What Do Semantics Matter When the Meat Is Overcooked?

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