Communicating sequential processes
Communicating sequential processes
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
From inter-organizational workflows to process execution: generating BPEL from WS-CDL
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
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 formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Correct Channel Passing by Construction
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A perspective on service orchestration
Science of Computer Programming
Global-to-local approach to rigorously developing distributed system with exception handling
Journal of Computer Science and Technology
Analyzing Chor Specifications by Translation into FSP
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
WSMO choreography: from abstract state machines to concurrent transaction logic
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Web services choreography validation
Service Oriented Computing and Applications
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Service research challenges and solutions for the future internet
Interface decomposition for service compositions
Proceedings of the 33rd International Conference on Software Engineering
On global types and multi-party sessions
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
From flow-global choreography to component types
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Analyzing realizability of choreographies using initiating and responding flows
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Science of Computer Programming
A model-driven framework for component-based development
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Passive conformance testing of service choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Counterexample guided synthesis of monitors for realizability enforcement
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
A symbolic framework for the conformance checking of value-passing choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
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
Using motivation and choreography to model distributed workflow
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
BeC3: Behaviour Crowd Centric Composition for IoT applications
Mobile Networks and Applications
| Hi-index | 0.00 |
With the growth of interest on the web services, people pay increasinglyattention to the choreography, that is, to describe collaborations ofparticipants in accomplishing a common business goal from a globalviewpoint. In this paper, based on a simple choreography language and arole-oriented process language, we study some fundamental issues relatedto choreography, especially those related to implementation, includingsemantics, projection and natural projection, dominant role in choices anditerations, etc. We propose the concept of dominant role and somenovel languages structures related to it. The study reveals some cluesabout the language, the semantics, the specification and theimplementation of choreography.