Disciplining Orchestration and Conversation in Service-Oriented Computing

Authors:
Ivan Lanese;Francisco Martins;Vasco T. Vasconcelos;Antonio Ravara
Affiliations:
University of Bologna;University of Lisbon;University of Lisbon;Technical University of Lisbon
Venue:
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Year:
2007

Citing 0
Cited 35

Parametric synchronizations in mobile nominal calculi

Theoretical Computer Science
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
A Type System for Client Progress in a Service-Oriented Calculus

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
Global Progress in Dynamically Interleaved Multiparty Sessions

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)
Provably Correct Implementations of Services

Trustworthy Global Computing
A Process Calculus Analysis of Compensations

Trustworthy Global Computing
Security Types for Sessions and Pipelines

Web Services and Formal Methods
A Symbolic Semantics for a Calculus for Service-Oriented Computing

Electronic Notes in Theoretical Computer Science (ENTCS)
Calculi for Service-Oriented Computing

Formal Methods for Web Services
Fundamentals of Session Types

Formal Methods for Web Services
On Observing Dynamic Prioritised Actions in SOC

ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
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)
Formal Specification of Correlation in WS Orchestrations Using BP-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Linear type theory for asynchronous session types

Journal of Functional Programming
Implementing session centered calculi

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
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
An ASM-based executable formal model of service-oriented component interactions and orchestration

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
An accessible verification environment for UML models of services

Journal of Symbolic Computation
A model of evolvable components

TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A WSDL-based type system for asynchronous WS-BPEL processes

Formal Methods in System Design
A unifying formal basis for the SENSORIA approach: a white paper

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
Static analysis techniques for session-oriented calculi

Rigorous software engineering for service-oriented systems
On the expressive power of primitives for compensation handling

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Analysis of service oriented software systems with the conversation calculus

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A logical verification methodology for service-oriented computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that ...