Research topics in functional programming
Distributed and Parallel Databases
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Types and Subtypes for Client-Server Interactions
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
Types and Effects for Secure Service Orchestration
CSFW '06 Proceedings of the 19th IEEE workshop on Computer Security Foundations
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
XPi: a typed process calculus for XML messaging
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
PiDuce: a process calculus with native XML datatypes
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric synchronizations in mobile nominal calculi
Theoretical Computer Science
Theoretical Computer Science
Coordination Via Types in an Event-Based Framework
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Checking Correctness of Transactional Behaviors
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Specification Framework for Earth-Friendly Logistics
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Sessions and Pipelines for Structured Service Programming
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Event-Based Service Coordination
Concurrency, Graphs and Models
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
Ugo Montanari and Software Verification
Concurrency, Graphs and Models
A Type System for Client Progress in a Service-Oriented Calculus
Concurrency, Graphs and Models
Session and Union Types for Object Oriented Programming
Concurrency, Graphs and Models
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
An Observational Model for Transactional Calculus of Services Orchestration
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Design and Analysis of the Composed Telecom Services
Service-Oriented Computing - ICSOC 2007 Workshops
A Formal Approach for Milk-Run Transport Logistics
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Provably Correct Implementations of Services
Trustworthy Global Computing
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
On the Expressive Power of Process Interruption and Compensation
Web Services and Formal Methods
Security Types for Sessions and Pipelines
Web Services and Formal Methods
On the expressive power of process interruption and compensation
Mathematical Structures in Computer Science
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
MarCaSPiS: a Markovian Extension of a Calculus for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
Planning and verifying service composition
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Global Coordination Policies for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Spatial-behavioral types, distributed services, and resources
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
COWS: a timed service-oriented calculus
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Implementing session centered calculi
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Session types for orchestration charts
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
How to infer finite session types in a calculus of services and sessions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
The conversation calculus: a model of service-oriented computation
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Relational analysis for delivery of services
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Foundations of security analysis and design IV
Science of Computer Programming
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
A tool for checking probabilistic properties of COWS services
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Core calculi for service-oriented computing
Rigorous software engineering for service-oriented systems
Behavioral theory for session-oriented calculi
Rigorous software engineering for service-oriented systems
Call-by-contract for service discovery, orchestration and recovery
Rigorous software engineering for service-oriented systems
Advanced mechanisms for service combination and transactions
Rigorous software engineering for service-oriented systems
Typing asymmetric client-server interaction
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A formal model for service-oriented interactions
Science of Computer Programming
Concurrency, Compositionality, and Correctness
On the expressive power of primitives for compensation handling
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Behavioural contracts with request-response operations
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Analysis of service oriented software systems with the conversation calculus
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Graph representation of sessions and pipelines for structured service programming
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
On correlation sets and correlation exceptions in ActiveBPEL
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Behavioural contracts with request-response operations
Science of Computer Programming
Formalising security in ubiquitous and cloud scenarios
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
An interface theory for service-oriented design
Theoretical Computer Science
Hi-index | 0.00 |
We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC's session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones.