From Architectural to Behavioural Specification of Services

Authors:
Laura Bocchi;José Luiz Fiadeiro;Alessandro Lapadula;Rosario Pugliese;Francesco Tiezzi
Affiliations:
Department of Computer Science, University of Leicester, UK;Department of Computer Science, University of Leicester, UK;Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Italy;Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Italy;Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 17
Cited 3

Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
The Grid 2: Blueprint for a New Computing Infrastructure

The Grid 2: Blueprint for a New Computing Infrastructure
Service Discovery and Negotiation With COWS

Electronic Notes in Theoretical Computer Science (ENTCS)
MDD4SOA: Model-Driven Service Orchestration

EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Structured communication-centred programming for 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
A coordination model for service-oriented interactions

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Multiparty sessions in SOC

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Formal analysis of BPMN via a translation into COWS

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A feature-complete Petri net semantics for WS-BPEL 2.0

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
From BPEL to SRML: a formal transformational approach

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
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
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
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Multiagent and Grid Systems
SOCK: a calculus for service oriented computing

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Foundations of web transactions

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures

The SENSORIA approach applied to the finance case study

Rigorous software engineering for service-oriented systems
A formal model for service-oriented interactions

Science of Computer Programming
A logical verification methodology for service-oriented computing

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many efforts are currently devoted to provide software developers with methods and techniques that can endow service-oriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and calculi have been proposed within the Sensoria project that address different levels of abstraction of the software engineering process. Here, we report on two such languages and the way they can be formally related within an integrated approach that can lead to verifiable development of service components from more abstract architectural models of business activities.