Formal verification of parallel programs
Communications of the ACM
Communication and Concurrency
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
On the correspondence between conformance testing and regular inference
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Reasoning about interaction patterns in choreography
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
A Calculus of Global Interaction based on Session Types
Electronic Notes in Theoretical Computer Science (ENTCS)
JOLIE: a Java Orchestration Language Interpreter Engine
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and 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
Minimum-cost delegation in service composition
Theoretical Computer Science
Correct Channel Passing by Construction
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of contracts for strong service compliance
Mathematical Structures in Computer Science
Session-based Choreography with Exceptions
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
MarCaSPiS: a Markovian Extension of a Calculus for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Analyzing Chor Specifications by Translation into FSP
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured communication-centred programming for web services
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
A theory for strong service compliance
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Towards a unifying theory for choreography conformance and contract compliance
SC'07 Proceedings of the 6th international conference on Software composition
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Replicating web services for scalability
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms
Expert Systems with Applications: An International Journal
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
From flow-global choreography to component types
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Analyzing realizability of choreographies using initiating and responding flows
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Mobility mechanisms in service oriented computing
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A model-driven framework for component-based development
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Declarative choreographies for artifacts
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
A symbolic framework for the conformance checking of value-passing choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Deadlock-freedom-by-design: multiparty asynchronous global programming
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On deriving detailed component design from high-level service specification
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.