Communicating sequential processes
Communicating sequential processes
Executing temporal logic programs
Executing temporal logic programs
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Parallel program design: a foundation
Parallel program design: a foundation
Handbook of logic in computer science (vol. 4)
Service Combinators for Web Computing
IEEE Transactions on Software Engineering
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Orchestrating Computations on the World-Wide Web
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Some Very Compositional Temporal Properties
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Notations for the Specification and Verification of Composite Web Services
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
A Programming Model for the Orchestration of Web Services
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Asynchronous communication in MSVL
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
| Hi-index | 0.00 |
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associated with communication, unreliability and unavailability of services, and competition for resources from multiple service requesters are dominant concerns. As complexity of services increase, an abstract design language for the specification of services and interaction between them is desired. In this paper, we present ASDL (Abstract Service Design Language), a wide spectrum language for modelling Web services. We initially provide an informal description of our computational model for service oriented systems. We then present ASDL along with its specification oriented semantics defined in Interval Temporal Logic (ITL): a sound formalism for specifying and reasoning about temporal properties of systems. The objective of ASDL is to provide a notation for the design of service composition and interaction protocols at an abstract level.