Specifying and Analysing SOC Applications with COWS

Authors:
Alessandro Lapadula;Rosario Pugliese;Francesco Tiezzi
Affiliations:
Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze,;Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze,;Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze,
Venue:
Concurrency, Graphs and Models
Year:
2008

Citing 16
Cited 4

Sagas

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A calculus of mobile processes, II

Information and Computation
Three logics for branching bisimulation

Journal of the ACM (JACM)
Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Action versus State based Logics for Transition Systems

Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Contracts and types

Communications of the ACM - Service-oriented computing
Confining data and processes in global computing applications

Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Service Discovery and Negotiation With COWS

Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic COWS

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
CC-Pi: a constraint-based language for specifying service level agreements

ESOP'07 Proceedings of the 16th European conference on Programming
A calculus for orchestration of web services

ESOP'07 Proceedings of the 16th European conference on Programming
Regulating data exchange in service oriented applications

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
COWS: a timed service-oriented calculus

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A model checking approach for verifying COWS specifications

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A formal approach to service component architecture

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

A Symbolic Semantics for a Calculus for Service-Oriented Computing

Electronic Notes in Theoretical Computer Science (ENTCS)
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems
A logical verification methodology for service-oriented computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios

Journal of Medical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above.