Search results for "choreographies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
128	Johann Eder, Marek Lehmann, Amirreza Tahamtan	Choreographies as Federations of Choreographies and Orchestrations.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
110	Birgit Hofreiter	Registering UML models for global and local choreographies.	ICEC	2008	DBLP DOI BibTeX RDF	B2B standardization, UN/CEFACT's modeling methodology, inter-organizational business process modeling, business process modeling, inter-organizational systems
64	Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin	MBT4Chor: A Model-Based Testing Approach for Service Choreographies.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	Choreography Modeling, SOA, Model Transformation, Domain Specific Language, Model-Based Testing, Service Integration
64	Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann	Non-desynchronizable Service Choreographies.	ICSOC	2008	DBLP DOI BibTeX RDF
61	Chao Cai, Zongyan Qiu	An Approach to Check Choreography with Channel Passing in WS-CDL.	ICWS	2008	DBLP DOI BibTeX RDF
61	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
61	Gero Decker, Alistair Barros	Interaction Modeling Using BPMN.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
60	Johann Eder, Amirreza Tahamtan	Temporal Conformance of Federated Choreographies.	DEXA	2008	DBLP DOI BibTeX RDF	Temporal Conformance, Web Services, Composition, Orchestration, Choreographies
60	Niels Lohmann	Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.	BPM	2008	DBLP DOI BibTeX RDF	graph correction, correction of services, verification of services, service automata, BPEL, Choreographies, operating guidelines
57	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali	An abductive framework for a-priori verification of web services.	PPDP	2006	DBLP DOI BibTeX RDF	web services, formal verification, constraints, choreographies, abduction
49	Milan Milanovic, Dragan Gasevic, Gerd Wagner 0001, Marek Hatala	Rule-Enhanced Business Process Modeling Language for Service Choreographies.	MoDELS	2009	DBLP DOI BibTeX RDF	R2ML, processes, metamodels, rules, MDE, BPMN
49	Michael Von Riegen, Norbert Ritter	Reliable Monitoring for Runtime Validation of Choreographies.	ICIW	2009	DBLP DOI BibTeX RDF
49	Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske	Modeling Service Choreographies Using BPMN and BPEL4Chor.	CAiSE	2008	DBLP DOI BibTeX RDF
49	Gero Decker, Oliver Kopp, Frank Leymann, Mathias Weske	BPEL4Chor: Extending BPEL for Modeling Choreographies.	ICWS	2007	DBLP DOI BibTeX RDF
49	Christian Huemer, Marco Zapletal, Philipp Liegl, Rainer Schuster	Modeling Business Entity State Centric Choreographies.	CEC/EEE	2007	DBLP DOI BibTeX RDF
49	Stefanie Rinderle, Andreas Wombacher, Manfred Reichert	Evolution of Process Choreographies in DYCHOR.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
49	Gero Decker, Johannes Maria Zaha, Marlon Dumas	Execution Semantics for Service Choreographies.	WS-FM	2006	DBLP DOI BibTeX RDF
46	Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth 0001, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker	Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing
46	Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi	Automatic composition and simulation system for ballet sequences.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Simulation, Dance, Human animation, Automatic composition
46	Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig	Analyzing BPEL4Chor: Verification and Participant Synthesis.	WS-FM	2007	DBLP DOI BibTeX RDF	BPEL4Chor, participant generation, service-oriented analysis and design, Petri nets, choreography
46	Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi	Automatic Composition and Simulation System for Ballet Sequences.	CW	2006	DBLP DOI BibTeX RDF
45	Loïc Hélouët, Albert Benveniste	Document Based Modeling of Web Services Choreographies Using Active XML.	ICWS	2010	DBLP DOI BibTeX RDF	Active XML, Web services, composition, choreographies
45	Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh	Choice, interoperability, and conformance in interaction protocols and service choreographies.	AAMAS (2)	2009	DBLP BibTeX RDF	web services, interoperability, choreographies, interaction protocols, conformance
42	Sinuhé Arroyo, Miguel-Ángel Sicilia	Modeling Learning Technology Interaction Using SOPHIE: Main Mappings and Example Usage Scenarios.	WSKS (1)	2009	DBLP DOI BibTeX RDF	OKI, OSID, SOPHIE, ontologies, Choreographies, learning technology
37	Andreas Weiß, Vasilios Andrikopoulos, Michael Hahn 0002, Dimka Karastoyanova	Model-as-You-Go for Choreographies: Rewinding and Repeating Scientific Choreographies.	IEEE Trans. Serv. Comput.	2020	DBLP DOI BibTeX RDF
37	Adriatik Nikaj, Mathias Weske, Jan Mendling	Semi-automatic derivation of RESTful choreographies from business process choreographies.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
34	Dieter Drobny, Jan O. Borchers	Learning basic dance choreographies with different augmented feedback modalities.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	motor skill learning, wireless sensor system, tactile feedback, dancing
34	Sebastian Wieczorek, Andreas Roth 0001, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker	Viewpoints for modeling choreographies in service-oriented architectures.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
34	Gregorio Díaz 0001, Ismael Rodríguez	Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
34	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
34	Jianwen Su, Tevfik Bultan, Xiang Fu 0001, Xiangpeng Zhao	Towards a Theory of Web Service Choreographies.	WS-FM	2007	DBLP DOI BibTeX RDF
34	Stefanie Rinderle, Andreas Wombacher, Manfred Reichert	On the Controlled Evolution of Process Choreographies.	ICDE	2006	DBLP DOI BibTeX RDF
34	Lihui Lei, Zhenhua Duan, Bin Yu	Semantic Matching of Web Services Based on Choreographies.	CSCWD	2006	DBLP DOI BibTeX RDF
34	Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni	Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.	WS-FM	2006	DBLP DOI BibTeX RDF
34	Emilia Cimpian, Adrian Mocan	WSMX Process Mediation Based on Choreographies.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF
30	Adam Barker, Christopher D. Walton, David Robertson	Choreographing Web Services.	IEEE Trans. Serv. Comput.	2009	DBLP DOI BibTeX RDF
30	Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, Manfred Hauswirth	From Workflow Models to Executable Web Service Interfaces.	ICWS	2009	DBLP DOI BibTeX RDF
30	Irfan Ul Haq, Altaf Ahmad Huqqani, Erich Schikuta	Aggregating Hierarchical Service Level Agreements in Business Value Networks.	BPM	2009	DBLP DOI BibTeX RDF	Business Value Networks, SLA Management, Service Level Agreements, Value Chains
30	Thomas Hettel, Christian Flender, Alistair Barros	Scaling Choreography Modelling for B2B Value-Chain Analysis.	BPM	2008	DBLP DOI BibTeX RDF
30	Kerstin Pfitzner, Gero Decker, Oliver Kopp, Frank Leymann	Web Service Choreography Configurations for BPMN.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
30	Birgit Hofreiter, Christian Huemer, Philipp Liegl, Rainer Schuster, Marco Zapletal	Deriving executable BPEL from UMM Business Transactions.	IEEE SCC	2007	DBLP DOI BibTeX RDF
30	María-Emilia Cambronero, Gregorio Díaz 0001, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo	RT-UML for modeling Real-Time Web Services.	SCW	2006	DBLP DOI BibTeX RDF
30	Pablo David Villarreal, Enrique Salomone, Omar Chiotti	Transforming Collaborative Business Process Models into Web Services Choreography Specifications.	DEECS	2006	DBLP DOI BibTeX RDF
30	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
30	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Towards a formal framework for Choreography.	WETICE	2005	DBLP DOI BibTeX RDF	Choreography languages, Web services, Service Oriented Computing
30	Asako Soga, Bin Umino, Takami Yasuda, Shigeki Yokoi	A System for Choreographic Simulation of Ballet Using a 3D Motion Archive on the Web.	AMDO	2004	DBLP DOI BibTeX RDF
27	Laura Daniele, Luís Ferreira Pires, Marten van Sinderen	Process-Oriented Behavior Generation Using Interaction Patterns.	EDOCW	2010	DBLP DOI BibTeX RDF	MDA, model transformations, behavior modeling, orchestrations, choreographies, BPMN, interaction patterns
18	Dan Plyukhin, Marco Peressotti, Fabrizio Montesi	Ozone: Fully Out-of-Order Choreographies.	CoRR	2024	DBLP DOI BibTeX RDF
18	Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani	Branching pomsets: Design, expressiveness and applications to choreographies.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
18	Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi	Alice or Bob?: Process polymorphism in choreographies.	J. Funct. Program.	2024	DBLP DOI BibTeX RDF
18	Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia	Blockchain based choreographies: The construction industry case study.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
18	Sasko Ristov, Stefan Pedratscher, Thomas Fahringer	$xAFCL$xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
18	Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi	Certified Compilation of Choreographies with hacc.	CoRR	2023	DBLP DOI BibTeX RDF
18	Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi	Alice or Bob?: Process Polymorphism in Choreographies.	CoRR	2023	DBLP DOI BibTeX RDF
18	Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf	Modeling Interaction-Oriented Architectures using Choreographies.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
18	Francesco Donini, Alessandro Marcelletti, Andrea Morichetta 0001, Andrea Polini	RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies.	SAC	2023	DBLP DOI BibTeX RDF
18	Keli Shen, Jun-Ichiro Hirayama	Kinematic Motor Synergy Analysis to Understand Lock Dance Choreographies.	EMBC	2023	DBLP DOI BibTeX RDF
18	Jesús Ortiz 0002, Victoria Torres, Pedro Valderas	Dealing with the Evolution of Event-Based Choreographies of BPMN Fragments: Definition and Proof of Concept.	ER	2023	DBLP DOI BibTeX RDF
18	Jesús Ortiz 0002	Dealing with the evolution of event-based choreographies of BPMN fragments.	ER (Companion)	2023	DBLP BibTeX RDF
18	Tom Lichtenstein, Mathias Weske	Execution Semantics for Process Choreographies with Data.	BPM (Forum)	2023	DBLP DOI BibTeX RDF
18	Thomas T. Hildebrandt, Hugo A. López 0001, Tijs Slaats	Declarative Choreographies with Time and Data.	BPM (Forum)	2023	DBLP DOI BibTeX RDF
18	Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti	Modular Compilation for Higher-Order Functional Choreographies.	ECOOP	2023	DBLP DOI BibTeX RDF
18	Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi	Certified Compilation of Choreographies with hacc.	FORTE	2023	DBLP DOI BibTeX RDF
18	Eric Wete, Joel Greenyer, Andreas Wortmann 0001, Daniel Kudenko, Wolfgang Nejdl	MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies.	ETFA	2023	DBLP DOI BibTeX RDF
18	Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier	Automation Service Choreographies using Decentralized Orchestration to Integrate Non-Choreography-Enabled Equipment Assemblies.	INDIN	2023	DBLP DOI BibTeX RDF
18	Andrew K. Hirsch, Deepak Garg 0001	Pirouette: higher-order typed functional choreographies.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
18	Gianluca Filippone, Marco Autili, Massimo Tivoli	Synthesis of context-aware business-to-business processes for location-based services through choreographies.	J. Softw. Evol. Process.	2022	DBLP DOI BibTeX RDF
18	Sasko Ristov, Dragi Kimovski, Thomas Fahringer	FaaScinating Resilience for Serverless Function Choreographies in Federated Clouds.	IEEE Trans. Netw. Serv. Manag.	2022	DBLP DOI BibTeX RDF
18	Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou	Branching Pomsets for Choreographies.	ICE	2022	DBLP DOI BibTeX RDF
18	Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi	From Infinity to Choreographies: Extraction for Unbounded Systems.	CoRR	2022	DBLP DOI BibTeX RDF
18	Ivan Hristov, Radoslava Hristova, Igor V. Puzynin, Taisia P. Puzynina, Zarif Sharipov, Zafar Tukhliev	A database of high precision trivial choreographies for the planar three-body problem.	CoRR	2022	DBLP DOI BibTeX RDF
18	Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert	Verifying compliance in process choreographies: Foundations, algorithms, and implementation.	Inf. Syst.	2022	DBLP DOI BibTeX RDF
18	Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto	Towards refinable choreographies.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
18	Kitty Zijlmans	Intra-performance: the choreographies of K.G. Guttman.	Adapt. Behav.	2022	DBLP DOI BibTeX RDF
18	Sasko Ristov, Stefan Pedratscher, Thomas Fahringer	xAFCL: Run Scalable Function Choreographies Across Multiple FaaS Systems.	SERVICES	2022	DBLP DOI BibTeX RDF
18	Piotr Wisniewski 0003, Krzysztof Kluza, Anna Suchenia, Leszek Szala, Antoni Ligeza	Recomposition of Process Choreographies Using a Graph-Based Model Repository.	KSEM (1)	2022	DBLP DOI BibTeX RDF
18	Sung-Shik Jongmans, Petra van den Bos	A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.	ESOP	2022	DBLP DOI BibTeX RDF
18	Tom Lichtenstein	Preserving Data Consistency in Process Choreographies by Design (short paper).	ZEUS	2022	DBLP BibTeX RDF
18	Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001	ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.	BPM (PhD/Demos)	2022	DBLP BibTeX RDF
18	Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, Nizar Messai, Yacine Sam, Walid Gaaloul, Boualem Benatallah	A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies.	BPM	2022	DBLP DOI BibTeX RDF
18	Olivier Hauterville, Camino Fernández 0001, Phani-Teja Singamaneni, Anthony Favier, Vicente Matellán, Rachid Alami	Interactive Social Agents Simulation Tool for Designing Choreographies for Human-Robot-Interaction Research.	ROBOT (2)	2022	DBLP DOI BibTeX RDF
18	Michelle Blumenstein, Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier	Coordination of Modular Packaging Lines Using Automation Service Choreographies.	ETFA	2022	DBLP DOI BibTeX RDF
18	Mei Zhang, Hui Li, Zuyuan Huang, Yudou Huang, Fu Bao	Analyzing Realizability of BPMN Choreographies.	DASC/PiCom/CBDCom/CyberSciTech	2022	DBLP DOI BibTeX RDF
18	Ivan Hristov, Radoslava Hristova, Igor V. Puzynin, Taisia P. Puzynina, Zarif Sharipov, Zafar Tukhliev	A Database of High Precision Trivial Choreographies for the Planar Three-Body Problem.	NMA	2022	DBLP DOI BibTeX RDF
18	Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi	From Infinity to Choreographies - Extraction for Unbounded Systems.	LOPSTR	2022	DBLP DOI BibTeX RDF
18	Stephan Haarmann, Tom Lichtenstein, Mathias Weske	Fragment-Based Service Choreographies.	SCC	2022	DBLP DOI BibTeX RDF
18	Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti	Modular Choreographies: Bridging Alice and Bob Notation to Java.	Microservices	2022	DBLP DOI BibTeX RDF
18	Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert	Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation.	CoRR	2021	DBLP BibTeX RDF
18	Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti	Choreographies as Functions.	CoRR	2021	DBLP BibTeX RDF
18	Andrew K. Hirsch, Deepak Garg 0001	Pirouette: Higher-Order Typed Functional Choreographies.	CoRR	2021	DBLP BibTeX RDF
18	Ioannis Rallis, Nikolaos Bakalos, Nikolaos Doulamis, Anastasios D. Doulamis, Athanasios Voulodimos	Bidirectional long short-term memory networks and sparse hierarchical modeling for scalable educational learning of dance choreographies.	Vis. Comput.	2021	DBLP DOI BibTeX RDF
18	Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, Boualem Benatallah	Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies.	ICSOC	2021	DBLP DOI BibTeX RDF
18	Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann 0001	Security Protocols as Choreographies.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
18	Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub	Realisability of Control-State Choreographies.	MEDI	2021	DBLP DOI BibTeX RDF
18	Andreas Stutz, Alexander Fay, Mike Barth, Mathias Maurmaier	Software Patterns for the Realization of Automation Service Choreographies.	ETFA	2021	DBLP DOI BibTeX RDF
18	Rupak Majumdar, Nobuko Yoshida, Damien Zufferey	Multiparty motion coordination: from choreographies to robotics programs.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
18	Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto	Towards Refinable Choreographies.	ICE	2020	DBLP DOI BibTeX RDF
18	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti	Choreographies as Objects.	CoRR	2020	DBLP BibTeX RDF
18	Rupak Majumdar, Nobuko Yoshida, Damien Zufferey	Multiparty Motion Coordination: From Choreographies to Robotics Programs.	CoRR	2020	DBLP BibTeX RDF
18	Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub	Realisability of Control-State Choreographies.	CoRR	2020	DBLP BibTeX RDF