Search results for "Choreographies"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Andreas Meyer 0001, Luise Pufahl, Kimon Batoulis, Dirk Fahland, Mathias Weske	Automating data exchange in process choreographies.	Inf. Syst.	2015	DBLP DOI BibTeX RDF
18	Felipe M. Besson, Paulo Moura, Fabio Kon, Dejan S. Milojicic	Bringing Test-Driven Development to web service choreographies.	J. Syst. Softw.	2015	DBLP DOI BibTeX RDF
18	Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino	Choreographies in the wild.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
18	Julien Lange, Emilio Tuosto, Nobuko Yoshida	From Communicating Machines to Graphical Choreographies.	POPL	2015	DBLP DOI BibTeX RDF
18	Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro	The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
18	Andreas Weiß, Vasilios Andrikopoulos, Michael Hahn 0002, Dimka Karastoyanova	Rewinding and Repeating Scientific Choreographies.	OTM Conferences	2015	DBLP DOI BibTeX RDF
18	Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro	Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.	COORDINATION	2015	DBLP DOI BibTeX RDF
18	Thomas Kothmayr, Alfons Kemper, Andreas Scholz 0001, Jörg Heuer	Schedule-based service choreographies for real-time control loops.	ETFA	2015	DBLP DOI BibTeX RDF
18	Raphael de Aquino Gomes, Júnio C. Lima, Fábio M. Costa, Ricardo Couto Antunes da Rocha, Nikolaos Georgantas	A Model-Based Approach for the Pragmatic Deployment of Service Choreographies.	ESOCC Workshops	2015	DBLP DOI BibTeX RDF
18	Ellis Solaiman, Wenzhong Sun, Carlos Molina-Jiménez	A Tool for the Automatic Verification of BPMN Choreographies.	SCC	2015	DBLP DOI BibTeX RDF
18	Amleto Di Salle	Automated synthesis of service choreographies.		2015	RDF
18	Marco Autili, Massimo Tivoli	Distributed Enforcement of Service Choreographies.	FOCLASA	2014	DBLP DOI BibTeX RDF
18	Mario Bravetti, Gianluigi Zavattaro	Choreographies and Behavioural Contracts on the Way to Dynamic Updates.	MOD*	2014	DBLP DOI BibTeX RDF
18	Ramaswamy Ramanujam, S. Sheerazuddin	A Local Logic for Realizability in Web Service Choreographies.	WWV	2014	DBLP DOI BibTeX RDF
18	Walid Fdhila, Stefanie Rinderle-Ma, Conrad Indiono	Memetic Algorithms for Mining Change Logs in Process Choreographies.	ICSOC	2014	DBLP DOI BibTeX RDF
18	Emanuel Silva, Nuno Silva 0001, Leonel Morgado	Staging Choreographies for Team Training in Multiple Virtual Worlds Based on Ontologies and Alignments.	HCI (17)	2014	DBLP DOI BibTeX RDF
18	Thiago Furtado, Emilio Francesquini, Nelson Lago, Fabio Kon	Towards an Enactment Engine for Dynamically Reconfigurable and Scalable Choreographies.	SERVICES	2014	DBLP DOI BibTeX RDF
18	Marco Autili, Paola Inverardi, Massimo Tivoli	CHOREOS: Large scale choreographies for the future internet.	CSMR-WCRE	2014	DBLP DOI BibTeX RDF
18	Emanuel Silva, Nuno Silva 0001, Leonel Morgado	Model-Driven Generation of Multi-user and Multi-domain Choreographies for Staging in Multiple Virtual World Platforms.	MEDI	2014	DBLP DOI BibTeX RDF
18	Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto	Resolving Non-determinism in Choreographies.	ESOP	2014	DBLP DOI BibTeX RDF
18	Vinh Thinh Luu, Ioana Ciuciu	Semantic Annotation of Service Choreographies.	OTM Workshops	2014	DBLP DOI BibTeX RDF
18	Sylvain Cherrier, Yacine Ghamri-Doudane, Stéphane Lohier, Gilles Roussel 0001	Fault-recovery and coherence in Internet of Things choreographies.	WF-IoT	2014	DBLP DOI BibTeX RDF
18	Neil A. M. Maiden, James Lockerbie, Konstantinos Zachos, Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti	A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report.	REFSQ	2014	DBLP DOI BibTeX RDF
18	Andreas Meyer 0001, Luise Pufahl, Kimon Batoulis, Sebastian Kruse 0001, Thorben Lindhauer, Thomas Stoff, Dirk Fahland, Mathias Weske	Automating Data Exchange in Process Choreographies.	CAiSE	2014	DBLP DOI BibTeX RDF
18	Antti Pirhonen, Kai Tuuri, Jaana Parviainen, Markku Turunen, Tomi Heimonen	Human-technology choreographies: re-thinking body, movement and space in interaction design.	NordiCHI	2014	DBLP DOI BibTeX RDF
18	Raphael de Aquino Gomes, Fábio M. Costa, Ricardo Couto Antunes da Rocha	Analysing Scalability Strategies for Service Choreographies on Cloud Environments.	ARMS-CC@PODC	2014	DBLP DOI BibTeX RDF
18	Andreas Weiß, Dimka Karastoyanova, David Molnar, Siegfried Schmauder	Coupling of Existing Simulations using Bottom-up Modeling of Choreographies.	GI-Jahrestagung	2014	DBLP BibTeX RDF
18	Marco Carbone, Fabrizio Montesi, Carsten Schürmann 0001	Choreographies, Logically.	CONCUR	2014	DBLP DOI BibTeX RDF
18	Thomas Kothmayr, Alfons Kemper, Andreas Scholz 0001, Jörg Heuer	Machine ballets don't need conductors: Towards scheduling-based service choreographies in a real-time SOA for industrial automation.	ETFA	2014	DBLP DOI BibTeX RDF
18	Thiago Furtado, Emilio Francesquini, Nelson Lago, Fabio Kon	A middleware for reflective web service choreographies on the cloud.	ARM@Middleware	2014	DBLP DOI BibTeX RDF
18	Andreas Weiß, Dimka Karastoyanova	A Life Cycle for Coupled Multi-scale, Multi-field Experiments Realized through Choreographies.	EDOC	2014	DBLP DOI BibTeX RDF
18	Mario Cortes Cornax	Amélioration continue de chorégraphie de services : conception et diagnostic basés sur les modèles. (Continuous improvement of service choreographies : Design and diagnostic based on models).		2014	RDF
18	Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley	Rule-based validation of SLA choreographies.	J. Supercomput.	2013	DBLP DOI BibTeX RDF
18	Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro	Amending Choreographies.	WWV	2013	DBLP DOI BibTeX RDF
18	Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola	Apprehensive QoS monitoring of Service choreographies.	SAC	2013	DBLP DOI BibTeX RDF
18	Marco Autili, Amleto Di Salle, Massimo Tivoli	Synthesis of Resilient Choreographies.	SERENE	2013	DBLP DOI BibTeX RDF
18	Mario Cortes Cornax, Ioana Ciuciu, Sophie Dupuy-Chessa, Dominique Rieu, Agnès Front	Towards the Integration of Ontologies with Service Choreographies.	OTM Workshops	2013	DBLP DOI BibTeX RDF
18	Ajay Kattepur, Nikolaos Georgantas, Valérie Issarny	QoS Composition and Analysis in Reconfigurable Web Services Choreographies.	ICWS	2013	DBLP DOI BibTeX RDF
18	Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi	Automatic skeleton generation for data-aware service choreographies.	ISSRE	2013	DBLP DOI BibTeX RDF
18	Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis	Adaptive SLA monitoring of service choreographies enacted on the Cloud.	MESOCA	2013	DBLP DOI BibTeX RDF
18	Robert Hamilton 0001	Sonifying Game-Space Choreographies With UDKOSC.	NIME	2013	DBLP DOI BibTeX RDF
18	Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis	A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies.	ICWE	2013	DBLP DOI BibTeX RDF
18	Fabrizio Montesi, Nobuko Yoshida	Compositional Choreographies.	CONCUR	2013	DBLP DOI BibTeX RDF
18	Svenja Kahn, Jens Keil, Benedikt Müller 0001, Ulrich Bockholt, Dieter W. Fellner	Capturing of contemporary dance for preservation and presentation of choreographies in online scores.	Digital Heritage (1)	2013	DBLP DOI BibTeX RDF
18	Carlos Molina-Jiménez, Santosh K. Shrivastava	Establishing Conformance between Contracts and Choreographies.	CBI	2013	DBLP DOI BibTeX RDF
18	Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont	VerChor: A Framework for Verifying Choreographies.	FASE	2013	DBLP DOI BibTeX RDF
18	Julien Lange	On the synthesis of choreographies.		2013	RDF
18	Aymen Baouab	Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles. (Decentralized Monitoring of Cross-Organizational Service Choreographies).		2013	RDF
18	Huu Nghia Nguyen	A symbolic approach for the verification and the test of service choreographies. (Une approche symbolique pour la vérification et le test des chorégraphies de services).		2013	RDF
18	Gwen Salaün, Tevfik Bultan, Nima Roohi	Realizability of Choreographies Using Process Algebra Encodings.	IEEE Trans. Serv. Comput.	2012	DBLP DOI BibTeX RDF
18	Jorge Roa, Pablo David Villarreal, Omar Chiotti	Behavior Alignment and Control Flow Verification of Process and Service Choreographies.	J. Univers. Comput. Sci.	2012	DBLP DOI BibTeX RDF
18	Juan Carlos Vidal, Manuel Lama, Alberto Bugarín	Toward the use of Petri nets for the formalization of OWL-S choreographies.	Knowl. Inf. Syst.	2012	DBLP DOI BibTeX RDF
18	Julien Lange, Emilio Tuosto	Synthesising Choreographies from Local Session Types (extended version)	CoRR	2012	DBLP BibTeX RDF
18	Marco Carbone, Fabrizio Montesi	Merging Multiparty Protocols in Multiparty Choreographies	PLACES	2012	DBLP DOI BibTeX RDF
18	Andreas Schönberger, Guido Wirtz	Configurable analysis of sequential multi-party choreographies.	Comput. Syst. Sci. Eng.	2012	DBLP BibTeX RDF
18	Laura Bocchi, Julien Lange, Emilio Tuosto	Three Algorithms and a Methodology for Amending Contracts for Choreographies.	Sci. Ann. Comput. Sci.	2012	DBLP DOI BibTeX RDF
18	Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz 0001	Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
18	Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi	Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.	HASE	2012	DBLP DOI BibTeX RDF
18	Yutian Sun, Wei Xu, Jianwen Su	Declarative Choreographies for Artifacts.	ICSOC	2012	DBLP DOI BibTeX RDF
18	Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo	A Constraint-Based Approach to Quality Assurance in Service Choreographies.	ICSOC	2012	DBLP DOI BibTeX RDF
18	Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi	A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.	ICSOC	2012	DBLP DOI BibTeX RDF
18	Jarek Rossignac, Mark Luffel, Àlvar Vinacua	SAMBA: Steadied Choreographies.	CAe@Expressive	2012	DBLP DOI BibTeX RDF
18	Pascal Poizat, Gwen Salaün	Checking the realizability of BPMN 2.0 choreographies.	SAC	2012	DBLP DOI BibTeX RDF
18	Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi	Passive conformance testing of service choreographies.	SAC	2012	DBLP DOI BibTeX RDF
18	Guillaume Levieux, Stéphane Natkin, Alexandre Topol	Out of Context Augmented Navfields: Designing Crowd Choreographies.	ICEC	2012	DBLP DOI BibTeX RDF
18	Svenja Kahn, Jens Keil, Michael Zöllner, Benedikt Müller 0001	Towards an Affordable Markerless Acquisition of Intangible Contemporary Dance Choreographies at Large-Scaled Stages.	VAST (Short and Project Papers)	2012	DBLP DOI BibTeX RDF
18	Wei Song 0003, Gongxuan Zhang, Yang Zou, Qiliang Yang, Xiaoxing Ma	Towards Dynamic Evolution of Service Choreographies.	APSCC	2012	DBLP DOI BibTeX RDF
18	Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries	Monitoring Service Choreographies from Multiple Sources.	SERENE	2012	DBLP DOI BibTeX RDF
18	Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu	Choreographies in BPMN 2.0: New Challenges and Open Questions.	ZEUS	2012	DBLP BibTeX RDF
18	Amira Ben Hamida, Julien Lesbegueries, Nicolas Salatgé, Jean-Pierre Lorré	A Toolkit for Choreographies of Services: Modeling, Enactment and Monitoring.	OTM Workshops	2012	DBLP DOI BibTeX RDF
18	Emanuel Silva, Nuno Silva 0001, Hugo Paredes, Paulo Martins 0001, Benjamim Fonseca, Leonel Morgado	Development of platform-independent multi-user choreographies for virtual worlds based on ontology combination and mapping.	VL/HCC	2012	DBLP DOI BibTeX RDF
18	Antonia Bertolino, Guglielmo De Angelis, Andrea Polini	Governance Policies for Verification and Validation of Service Choreographies.	WEBIST (Selected Papers)	2012	DBLP DOI BibTeX RDF
18	Guglielmo De Angelis, Antonia Bertolino, Andrea Polini	Validation and Verification Policies for Governance of Service Choreographies.	WEBIST	2012	DBLP BibTeX RDF
18	Cesare Bartolini, Antonia Bertolino, Andrea Ciancone, Guglielmo De Angelis, Raffaela Mirandola	Quality Requirements for Service Choreographies.	WEBIST	2012	DBLP BibTeX RDF
18	Alfonso Phocco Diaz, Daniel M. Batista	A methodology to define QoS and SLA requirements in service choreographies.	CAMAD	2012	DBLP DOI BibTeX RDF
18	Felipe Pontes Guimarães, Eduardo Hideo Kuroda, Daniel Macêdo Batista	Performance Evaluation of Choreographies and Orchestrations with a New Simulator for Service Compositions.	CAMAD	2012	DBLP DOI BibTeX RDF
18	Julien Lange, Emilio Tuosto	Synthesising Choreographies from Local Session Types.	CONCUR	2012	DBLP DOI BibTeX RDF
18	Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola	Non-functional analysis of service choreographies.	PESOS@ICSE	2012	DBLP DOI BibTeX RDF
18	Georgiana Stegaru, Aurelian Mihai Stanescu, Ioan Stefan Sacala, Mihnea Moisescu	Dynamic Interoperability Model for Web Service Choreographies.	I-ESA	2012	DBLP DOI BibTeX RDF
18	Nawal Guermouche, Silvano Dal-Zilio	Towards timed requirement verification for service choreographies.	CollaborateCom	2012	DBLP DOI BibTeX RDF
18	Alfredo Goldman, Yanik Ngoko, Dejan S. Milojicic	An analytical approach for predicting QoS of web services choreographies.	MGC@Middleware	2012	DBLP DOI BibTeX RDF
18	Andreas Schönberger	The CHORCH Approach: How to Model B2Bi Choreographies for Orchestration Execution.		2012	RDF
18	María-Emilia Cambronero, Gregorio Díaz 0001, Valentín Valero, Enrique Martínez	Validation and verification of Web services choreographies by using timed automata.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
18	María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez	Design and Generation of Web Services Choreographies with Time Constraints.	J. Univers. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
18	Morad Benyoucef, Craig E. Kuziemsky, Amir Afrasiabi Rad, Ali Elsabbahi	Modeling healthcare processes as service orchestrations and choreographies.	Bus. Process. Manag. J.	2011	DBLP DOI BibTeX RDF
18	Laura Bocchi, Julien Lange, Emilio Tuosto	Amending Contracts for Choreographies	ICE	2011	DBLP DOI BibTeX RDF
18	Philippe Ryckelynck, Laurent Smoch	Quadratic choreographies	CoRR	2011	DBLP BibTeX RDF
18	Gero Decker, Mathias Weske	Interaction-centric modeling of process choreographies.	Inf. Syst.	2011	DBLP DOI BibTeX RDF
18	Matthias Geiger, Andreas Schönberger, Guido Wirtz	Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations.	SEKE	2011	DBLP BibTeX RDF
18	Young Yoon, Chunyang Ye, Hans-Arno Jacobsen	A distributed framework for reliable and efficient service choreographies.	WWW	2011	DBLP DOI BibTeX RDF
18	Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, Wil M. P. van der Aalst	Many-to-Many: Some Observations on Interactions in Artifact Choreographies.	ZEUS	2011	DBLP BibTeX RDF
18	Matthias Geiger, Andreas Schönberger, Guido Wirtz	A Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL Orchestrations.	ZEUS	2011	DBLP BibTeX RDF
18	Andreas Schönberger	Visualizing B2Bi choreographies.	SOCA	2011	DBLP DOI BibTeX RDF
18	Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu, Marlon Dumas	Evaluating Choreographies in BPMN 2.0 Using an Extended Quality Framework.	BPMN	2011	DBLP DOI BibTeX RDF
18	Oliver Kopp, Frank Leymann, Sebastian Wagner 0001	Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches.	EMISA	2011	DBLP BibTeX RDF
18	Gregor Gößler, Gwen Salaün	Realizability of Choreographies for Services Interacting Asynchronously.	FACS	2011	DBLP DOI BibTeX RDF
18	Surya Bahadur Kathayat, Rolv Bræk	Analyzing realizability of choreographies using initiating and responding flows.	MoDeVVa@MoDELS	2011	DBLP DOI BibTeX RDF
18	Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu	Bridging the Gap between Business Processes and Service Composition through Service Choreographies.	ME	2011	DBLP DOI BibTeX RDF
18	Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, Dejan S. Milojicic	Towards automated testing of web service choreographies.	AST	2011	DBLP DOI BibTeX RDF