A symbolic semantics for a calculus for service-oriented computing (original) (raw)
Related papers
SOCK: A Calculus for Service Oriented Computing
Lecture Notes in Computer Science, 2006
Formalizing languages for service oriented computing
2007
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology, 2012
A formal model for service-oriented interactions
Science of Computer Programming, 2012
From Algebraic Specification to Ontological Description of Service Semantics
2013 IEEE 20th International Conference on Web Services, 2013
A universal service-semantics description language
Web Services, 2005 …, 2005
Algebraic Approach to Linking the Semantics of Web Services
5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Structured Formalization of Service-Oriented Specifications
2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
SCC: A Service Centered Calculus
2006
Linking Denotational Semantics with Operational Semantics for Web Services
Innovation in Systems and Software Engineering: A NASA Journal, 2010
Towards service-based systems engineering: Formalizing and µ-checking service descriptions
A universal service description language
… 2005. NWeSP 2005 …, 2005
A novel specification and composition language for services
A Model of Service Oriented Computation
2008
Towards Service-Based Systems Engineering: Formalizing and µ-Checking Service Specifications
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science, 2009
C WS: A Timed Service-Oriented Calculus
Lecture Notes in Computer Science, 2007
Bringing Semantics to Web Services
IEEE Expert / IEEE Intelligent Systems, 2003
Reasoning About a Service-oriented Programming Paradigm
Claudio Guidi, Fabrizio Montesi
Electronic Proceedings in Theoretical Computer Science, 2009
2015
The Conversation Calculus: A Model of Service-Oriented Computation
… of the Theory and practice of …, 2008
Service-oriented computing - semantics, processes, agents
2005
SOFIA: An Algebraic Specification Language for Developing Services
2016
Towards a Mathematical Foundation for Service-Oriented Applications Design
Journal of Software, 2006