11,041 Hits in 3.2 sec

A Version-based Approach to Address Flexibility of BPMN Collaborations and Choreographies

Imen BenSaid, Mohamed Amine Chaâbane, Rafik Bouaziz, Eric Andonoff
2016 Proceedings of the 13th International Joint Conference on e-Business and Telecommunications  
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

Nawal Guermouche, Silvano Dal Zilio
2012 Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing  
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

Sylvain Cherrier, Yacine M. Ghamri-Doudane, Stephane Lohier, Gilles Roussel
2012 2012 IEEE Symposium on Computers and Communications (ISCC)  
(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]

Adomas Svirskas, Ioannis Ignatiadis, Bob Roberts, Michael Wilson
Network-Centric Collaboration and Supporting Frameworks  
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]

Gero Decker, Michael von Riegen
2007 Lecture Notes in Computer Science  
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

Birgit Hofreiter
2008 Proceedings of the 10th international conference on Electronic commerce - ICEC '08  
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]

Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 arXiv   pre-print
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

Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020 Logical Methods in Computer Science  
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

Birgit Hofreiter, Christian Huemer
2008 Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS), International Workshop on  
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

Christian Huemer, Philipp Liegl, Rainer Schuster, Marco Zapletal
2008 2008 IEEE International Conference on Services Computing  
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

Ingo Weber, Jochen Haller, Jutta A. Mulle
2008 International Journal of Business Process Integration and Management  
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

B. Hofreiter, C. Huemer, M. Zapletal
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)  
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

Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmanada Sapkota, Manfred Hauswirth
2009 2009 IEEE International Conference on Web Services  
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

Thomas Motal, Marco Zapletal, Hannes Werthner
2009 2009 World Conference on Services - II  
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

Christian Huemer, Marco Zapletal, Philipp Liegl, Rainer Schuster
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)  
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