Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Service Interaction Modeling: Bridging Global and Local Views
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Applied Ontology
Conceptual modeling of web service conversations
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Formalizing service interactions
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Modeling Service Choreographies Using BPMN and BPEL4Chor
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Top-down business process development and execution using quality of service aspects
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Scaling Choreography Modelling for B2B Value-Chain Analysis
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
An Architecture for Managing the Lifecycle of Business Goals for Partners in a Service Network
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Web Service Choreography Configurations for BPMN
Service-Oriented Computing - ICSOC 2007 Workshops
The benefits of service choreography for data-intensive computing
Proceedings of the 7th international workshop on Challenges of large applications in distributed environments
MBT4Chor: A Model-Based Testing Approach for Service Choreographies
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Interacting services: From specification to execution
Data & Knowledge Engineering
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
An Executable Calculus for Service Choreography
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Requirements-Driven Collaborative Choreography Customization
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Scenarios and techniques for choreography design
BIS'07 Proceedings of the 10th international conference on Business information systems
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Extending BPMN for modeling complex choreographies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
The conceptualization of a configurable multi-party multi-message request-reply conversation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
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
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Interaction modeling using BPMN
BPM'07 Proceedings of the 2007 international conference on Business process management
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Introducing partner shared states into ebBP to WS-BPEL translations
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
A comprehensive engineering framework for guaranteeing component compatibility
Journal of Systems and Software
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Interaction-centric modeling of process choreographies
Information Systems
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Service composition for everyone: a study of risks and benefits
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Service research challenges and solutions for the future internet
Analyzing realizability of choreographies using initiating and responding flows
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Decidability results for choreography realization
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Declarative choreographies for artifacts
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
In Service-Oriented Architectures (SOAs), software systems are decomposed into independent units, namely services, that interact with one another through message exchanges To promote reuse and evolvability, these interactions are explicitly described right from the early phases of the development lifecycle Up to now, emphasis has been placed on capturing structural aspects of service interactions Gradually though, the description of behavioral dependencies between service interactions is gaining increasing attention as a means to push forward the SOA vision This paper deals with the description of these behavioral dependencies during the analysis and design phases The paper outlines a set of requirements that a language for modeling service interactions at this level should fulfill, and proposes a language whose design is driven by these requirements.