A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A Version-based Approach to Address Flexibility of BPMN Collaborations and Choreographies
2016
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications
Preserved Fulltext
This paper mainly focuses on static aspects of collaboration and choreography versioning. ...
This paper addresses the issue of BPMN collaborations and choreographies flexibility, advocating a version-based approach. ...
As this paper deal with BPMN collaboration and choreography flexibility, we present below the necessary concepts for collaborations and choreographies modelling. ...
doi:10.5220/0005967100310042
dblp:conf/icete/SaidCBA16
fatcat:6v6nzt5bhve4np62dmdy2ay5xe
Towards Timed Requirement Verification for Service Choreographies
2012
Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our approach is based on a formal interpretation of timed choreographies in the Fiacre verification language that defines a precise model for the behavior of services and their timed interactions. ...
We also rely on a logic-based language for property definition to formalize complex real-time requirements and on specific tooling for model-checking Fiacre specifications. ...
In this work, a choreography of services is specified as a collaboration diagram. ...
doi:10.4108/icst.collaboratecom.2012.250441
dblp:conf/colcom/GuermoucheD12
fatcat:yuuy56rusbge3kzq4gwkct6u5y
Services collaboration in Wireless Sensor and Actuator Networks: Orchestration versus Choreography
2012
2012 IEEE Symposium on Computers and Communications (ISCC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(Choreography) in which nodes offer and use services in a collaborative way. ...
Then, an application experiments these two architectural designs to measure the impact on a real testbed. ...
ACKNOWLEDGMENT The authors would like to thank Cyril Nicaud for his expertise on trees, distributions and for the mathematical formulation of the problem. ...
doi:10.1109/iscc.2012.6249331
dblp:conf/iscc/CherrierGLR12
fatcat:dntfp4gqpnh2dm5efz4hjszlbm
Virtual Organization Management Using Web Service Choreography And Software Agents
[chapter]
Network-Centric Collaboration and Supporting Frameworks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Web Service Choreography is important for the support and management of commonly agreed collaboration scenarios. ...
The purpose of this paper is to discuss an approach for the automated management of Virtual Organizations using Web Service Choreography and Software Agents. ...
Choreographies are defined in declarative description format, and are enacted by the collaboration participants at run-time. ...
doi:10.1007/978-0-387-38269-2_56
dblp:conf/ifip5-5/SvirskasIRW06
fatcat:g6svqjpkkngpfnniqjkrf6fi2e
Scenarios and Techniques for Choreography Design
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper identifies and classifies three categories of choreography design: choreography identification, choreography context expansion and collaboration unification. ...
Choreographies serve as starting point for generating interface processes for the different participants which in turn are used for implementing new services or adapting existing ones. ...
This scenario displays the need of collaboration between the home and host university and is an example for collaborations that already exist on some islands within the same domain. ...
doi:10.1007/978-3-540-72035-5_10
fatcat:h6nyw3fopfahbgh6sj6itkeq6m
Registering UML models for global and local choreographies
2008
Proceedings of the 10th international conference on Electronic commerce - ICEC '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Furthermore, business partners have to register their local choreographies and bind it to the supported global choreographies. ...
In this paper we present an appropriate registry meta model that customizes the ebXML registry for the purpose of registering UML-based models for global and local choreographies and maintaining the dependencies ...
It follows that UMM identifies possible business collaborations and further elaborates on these collaborations. ...
doi:10.1145/1409540.1409590
dblp:conf/ACMicec/Hofreiter08
fatcat:c4auqspktbdclgzzxsc7q7fp54
Collaboration vs. choreography conformance in BPMN
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. ...
This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. ...
In C 4 we rely on a direct semantics for both collaboration and choreography models. ...
arXiv:2002.04396v7
fatcat:4s5yspp2uze2xo54z7v5jnxleu
Collaboration vs. choreography conformance in BPMN
2020
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. ...
This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. ...
In C 4 we rely on a direct semantics for both collaboration and choreography models. ...
doi:10.23638/lmcs-16(4:7)2020
fatcat:rjexxacudfcstmk3vw7rhlbix4
A Model-Driven Top-Down Approach to Inter-organizational Systems: From Global Choreography Models to Executable BPEL
2008
Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS), International Workshop on
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Alternatively, one may start from the commitments and agreements between business partners to reach their complementary business goals. ...
Today, most approaches for inter-organizational business processes start bottom-up from the interfaces and the workflows of each partner described on the IT layer. ...
Motivation In this paper we concentrate on orchestrations and choreographies [11] in the context of inter-organizational business processes. ...
doi:10.1109/cecandeee.2008.129
dblp:conf/wecwis/HofreiterH08
fatcat:mpyyhtfrzrelhhykocygsrmvge
A 3-level e-Business Registry Meta Model
2008
2008 IEEE International Conference on Services Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, and (3) on the services ...
In order to search for a potential business partner, one will first look for a partner who offers a required service on the economic level and who supports a complementary role in a choreography, before ...
The business choreography view is composed of one or more business collaboration views and one or more business transaction views. ...
doi:10.1109/scc.2008.54
dblp:conf/IEEEscc/HuemerLSZ08
fatcat:fratgdqdcbcqddckc7gppowi3i
Automated derivation of executable business processes from choreographies in virtual organisations
2008
International Journal of Business Process Integration and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The major issues hereby are the differences in the vocabulary of WS-CDL and WSBPEL as well as the information gap between a choreography and an executable orchestration. ...
In this paper, we address the challenge of deriving both, executable WS-BPEL processes and their respective WSDL interface specifications from choreographies written in WS-CDL for business processes in ...
The overlapping and differing aspects of orchestrations and choreographies were already identified in [Pel03] , but focussing on WSCI [W3C] and not on WS-CDL. ...
doi:10.1504/ijbpim.2008.020972
fatcat:uq4dte4llndoviwtr5mrfz5pyi
Registering UMM Business Collaboration Models in an ebXML Registry
2006
The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
UN/CEFACT's modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. ...
UMM models should be publically available in order to foster re-use and to reference them in trading partner agreements. ...
For the purpose of representing UMM models in XMI we have to focus on two different MOF levels: the UMM profile itself on the meta-model layer (M2) and the business collaboration model on the model layer ...
doi:10.1109/cec-eee.2006.74
dblp:conf/wecwis/HofreiterHZ06
fatcat:eqfh7guuunapzdmjwz7htkmhry
From Workflow Models to Executable Web Service Interfaces
2009
2009 IEEE International Conference on Web Services
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We develop and use an integrated ontology which is based on the XPDL standard for this purpose. ...
After translation, these models are annotated with a parameterised role model and other collaborative properties. ...
SFI/08/CE/I1380 and the European Union under the SUPER project (FP6-026850). ...
doi:10.1109/icws.2009.51
dblp:conf/icws/HallerMGOSH09
fatcat:hvndbyua7vgingfn7rv6h7ukre
The Business Choreography Language (BCL) - A Domain-Specific Language for Global Choreographies
2009
2009 World Conference on Services - II
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
UMM is developed by the United Nations Center for Trade Facilitation and Electronic Business (UN/CE-FACT) and currently defined as a UML profile. ...
UN/CEFACT's Modeling Methodology (UMM) is a modeling approach for describing the choreography of B2B processes. ...
In [1] , Peltz introduced one of the first definitions for the terms orchestration and choreography. ...
doi:10.1109/services-2.2009.25
dblp:conf/services/MotalZW09
fatcat:3hzwiup7c5gbrmg2b6o3eihmgm
Modeling Business Entity State Centric Choreographies
2007
The 9th IEEE International Conference on E-Commerce Technology and The 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (CEC-EEE 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
The states of a business entity usually define the next steps in the choreography of a collaborative business process. ...
This flow -commonly known as choreography -often depends on the actual content of a business document. ...
This means that if a buyer and a seller want to collaborate they agree on a single global choreography and each one derives its own local choreography as an interface to its own information system. ...
doi:10.1109/cec-eee.2007.70
dblp:conf/wecwis/HuemerZLS07
fatcat:6mapo6cdgzflvfpeybmjaj62vu
« Previous
Showing results 1 — 15 out of 11,041 results