NDLI: The stream-based service-centred calculus: a foundation for service-oriented programming

Content Provider	Springer Nature Link
Author	Cruz Filipe, Luís Lanese, Ivan Martins, Francisco Ravara, António Thudichum Vasconcelos, Vasco
Copyright Year	2013
Abstract	We give a formal account of stream-based, service-centered calculus (SSCC), a calculus for modelling service-based systems, suitable to describe both service composition (orchestration) and the protocols that services follow when invoked (conversation). The calculus includes primitives for defining and invoking services, for isolating conversations (called sessions) among clients and servers, and for orchestrating services. The calculus is equipped with a reduction and a labelled transition semantics related by an equivalence result. SSCC provides a good trade-off between expressive power for modelling and simplicity for analysis. We assess the expressive power by modelling van der Aalst workflow patterns and an automotive case study from the European project Sensoria. For analysis, we present a simple type system ensuring compatibility of client and service protocols. We also study the behavioural theory of the calculus, highlighting some axioms that capture the behaviour of the different primitives. As a final application of the theory, we define and prove correct some program transformations. These allow to start modelling a system from a typical UML Sequence Diagram, and then transform the specification to match the service-oriented programming style, thus simplifying its implementation using web services technology.
Starting Page	865
Ending Page	918
Page Count	54
File Format	PDF
ISSN	09345043
Journal	Formal Aspects of Computing
Volume Number	26
Issue Number	5
e-ISSN	1433299X
Language	English
Publisher	Springer London
Publisher Date	2013-08-06
Publisher Place	London
Access Restriction	Subscribed
Subject Keyword	Math Applications in Computer Science Theory of Computation Computational Mathematics and Numerical Analysis
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

ZRC – A Refinement Calculus for Z

Simulation testing of automata

Probabilistic Duration Calculus for Continuous Time

Should ML be Object-Oriented?

An operational semantics for object-oriented concepts based on the class hierarchy

Invariant based programming: basic approach and teaching experiences

From StPowla processes to SRML models

A Calculus and logic of resources and processes

Mutation testing in UTP

The stream-based service-centred calculus: a foundation for service-oriented programming

Similar Documents

ZRC – A Refinement Calculus for Z

Simulation testing of automata

Probabilistic Duration Calculus for Continuous Time

Should ML be Object-Oriented?

An operational semantics for object-oriented concepts based on the class hierarchy

Invariant based programming: basic approach and teaching experiences

From StPowla processes to SRML models

A Calculus and logic of resources and processes

Mutation testing in UTP

The stream-based service-centred calculus: a foundation for service-oriented programming