Search results for "Choreography"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Kwanghoon Pio Kim	A Process-Driven Inter-organizational Choreography Modeling System.	OTM Workshops	2005	DBLP DOI BibTeX RDF	Inter-organizational e-business service integration, B2B choreography and orchestration, Dual-party collaboration model, Process-driven multi-party collaboration model, Inter-organizational choreography modeling system
112	Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu	Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.	FORTE	2007	DBLP DOI BibTeX RDF	Projection, Exception Handling, Orchestration, Choreography, Compensation, Finalization
112	Jing Li 0062, Jifeng He 0001, Geguang Pu, Huibiao Zhu	Towards the Semantics for Web Service Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	exception handling, operational semantics, choreography, compensation, WS-CDL
101	Lijun Mei, W. K. Chan 0001, T. H. Tse	Data flow testing of service choreography.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web services, software testing, service composition, orchestration, choreography, data flow testing
101	Federica Paci, Mourad Ouzzani, Massimo Mecella	Verification of Access Control Requirements in Web Services Choreography.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	web services, verification, access control, choreography
101	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu	Type Checking Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal model, Choreography, Type checking, WS-CDL
95	Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu	Reasoning about Channel Passing in Choreography.	TASE	2008	DBLP DOI BibTeX RDF
85	Mario Nakazawa, Andrea Paezold-Ruehl	DANCING, Dance ANd Choreography: an Intelligent Nondeterministic Generator.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	ballroom dance choreography, virtual choreography, genetic algorithms
84	Jing Li 0062, Huibiao Zhu, Geguang Pu	Conformance Validation between Choreography and Orchestration.	TASE	2007	DBLP DOI BibTeX RDF
84	Xiaoqiang Qiao, Jun Wei 0001	A Decentralized Services Choreography Approach for Business Collaboration.	IEEE SCC	2006	DBLP DOI BibTeX RDF
84	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Choreography and Orchestration: A Synergic Approach for System Design.	ICSOC	2005	DBLP DOI BibTeX RDF
79	Ayman Mahfouz, Leonor Barroca 0001, Robin C. Laney, Bashar Nuseibeh	Requirements-Driven Collaborative Choreography Customization.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Requirements, Evolution, Viewpoints, Choreography
79	Sun Meng, Farhad Arbab	Web services choreography and orchestration in Reo and constraint automata.	SAC	2007	DBLP DOI BibTeX RDF	web services, orchestration, choreography, Reo, constraint automata
79	Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang	Towards the theoretical foundation of choreography.	WWW	2007	DBLP DOI BibTeX RDF	dominant role, dominated choice, dominated loop, semantics, implementation, projection, choreography
79	Olaf Zimmermann, Vadim Doubrovski, Jonas Grundler, Kerard Hogg	Service-oriented architecture and business process choreography in an order management scenario: rationale, concepts, lessons learned.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	order management, process choreography, web services, XML, service-oriented architecture, workflow, web application, business process, BPEL, telecommunications, HTTP, SOAP, WSDL, best practices, J2EE, application server, B2B, process integration
73	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
73	Gero Decker, Michael Von Riegen	Scenarios and Techniques for Choreography Design.	BIS	2007	DBLP DOI BibTeX RDF
73	Raman Kazhamiakin, Marco Pistore	Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.	WS-FM	2006	DBLP DOI BibTeX RDF
73	Xiangpeng Zhao, Hongli Yang, Zongyan Qiu	Towards the Formal Model and Verification of Web Service Choreography Description Language.	WS-FM	2006	DBLP DOI BibTeX RDF
68	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
62	Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen 0004	An Improved Calculus for Secure Dynamic Services Composition.	COMPSAC	2008	DBLP DOI BibTeX RDF	Global calculus, Web services composition, Orchestration, Choreography, Spi calculus
62	Kwanghoon Pio Kim, Ilkyeun Ra	A Process-Driven e-Business Service Integration System and Its Application to e-Logistics Services.	WISE	2005	DBLP DOI BibTeX RDF	e-Business Service Integration System, B2B Choreography and Orchestration, e-Business Process Management, ebXML Standard, CPP/CPA, BPSS, e-Logistics, e-Commerce
62	Nawal Guermouche, Claude Godart	Asynchronous Timed Web Service-Aware Choreography Analysis.	CAiSE	2009	DBLP DOI BibTeX RDF	Asynchronous timed Compatibility analysis, Web service, Timed properties
62	Gabriel Pedraza, Jacky Estublier	Distributed Orchestration Versus Choreography: The FOCAS Approach.	ICSP	2009	DBLP DOI BibTeX RDF
62	Ravi Shankar Pandey, Banshidhar D. Chaudhary	A Cost Model for Participating Roles Based on Choreography Semantics.	APSCC	2008	DBLP DOI BibTeX RDF
62	Birgit Hofreiter, Christian Huemer	A Model-Driven Top-Down Approach to Inter-organizational Systems: From Global Choreography Models to Executable BPEL.	CEC/EEE	2008	DBLP DOI BibTeX RDF
62	Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu	A QoS View ofWeb Service Choreography.	ICEBE	2007	DBLP DOI BibTeX RDF
62	Muhammad Younas 0001, Irfan Awan, Robert Holton, David A. Duce	A P2P Network Protocol for Efficient Choreography of Web Services.	AINA	2007	DBLP DOI BibTeX RDF
56	Saayan Mitra, Ratnesh Kumar 0001, Samik Basu 0001	Optimum Decentralized Choreography for Web Services Composition.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	web services, choreography, decentralization, i/o automata
56	François-Joseph Lapointe, Martine Époque	The dancing genome project: generation of a human-computer choreography using a genetic algorithm.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	motion capture software, virtual choreography, genetic algorithm, human-computer interaction, dance
56	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
56	Jae-Yoon Jung 0001, Wonchang Hur, Suk-Ho Kang, Hoontae Kim	Business Process Choreography for B2B Collaboration.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	Business process choreography, Process interoperability patterns, B2B collaboration
56	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
51	Branimir Wetzstein, Dimka Karastoyanova, Oliver Kopp, Frank Leymann, Daniel Zwink	Cross-organizational process monitoring based on service choreographies.	SAC	2010	DBLP DOI BibTeX RDF	cross-organizational monitoring, business activity monitoring, service choreography
50	Paolo Besana, Adam Barker	An Executable Calculus for Service Choreography.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
50	Gregorio Díaz 0001, Ismael Rodríguez	Automatically Deriving Choreography-Conforming Systems of Services.	IEEE SCC	2009	DBLP DOI BibTeX RDF
50	Wing Lok Yeung	A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.	APSCC	2008	DBLP DOI BibTeX RDF
50	Chao Cai, Zongyan Qiu	An Approach to Check Choreography with Channel Passing in WS-CDL.	ICWS	2008	DBLP DOI BibTeX RDF
50	Shanshan Jiang, Jacqueline Floch, Richard Torbjørn Sanders	Modeling and Validating Service Choreography with Semantic Interfaces and Goals.	SOSE	2008	DBLP DOI BibTeX RDF
50	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
50	Mario Bravetti, Gianluigi Zavattaro	Towards a Unifying Theory for Choreography Conformance and Contract Compliance.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
50	Philip Robinson, Florian Kerschbaum, Andreas Schaad	From Business Process Choreography to Authorization Policies. (PDF / PS)	DBSec	2006	DBLP DOI BibTeX RDF
50	Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek	Verifying Correctness of Web Services Choreography.	ECOWS	2006	DBLP DOI BibTeX RDF
50	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Choreography and Orchestration Conformance for System Design.	COORDINATION	2006	DBLP DOI BibTeX RDF
50	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
50	Jonghun Park, Byung-Hyun Ha	Automatic Extraction of Conversation Protocols from a Choreography Specification of Ubiquitous Web Services.	EUC Workshops	2006	DBLP DOI BibTeX RDF
50	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Model-Based Analysis of Obligations in Web Service Choreography.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
50	Chris Peltz	Web Services Orchestration and Choreography.	Computer	2003	DBLP DOI BibTeX RDF
45	W. L. Ntshinga	Choreography of intelligent e-services.	ICSE (2)	2010	DBLP DOI BibTeX RDF	interoperability, composition, e-services, choreography
45	Asako Soga, Masahito Shiba, Jonah Salz	Choreography composition and live performance on a Noh stage.	VRCAI	2009	DBLP DOI BibTeX RDF	Noh, motion, choreography, live performance
45	Geguang Pu, Yongxin Zhao, Zheng Wang 0005, Libo Feng, Huibiao Zhu, Jifeng He 0001	A Denotational Model for Web Services Choreography.	ICDCIT	2008	DBLP DOI BibTeX RDF	Web Services, Denotational Semantics, Choreography, WS-CDL
45	Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Supporting e-commerce systems formalization with choreography languages.	SAC	2005	DBLP DOI BibTeX RDF	web services, orchestration, choreography
45	Chi-Min Hsieh, Annie Luciani	Generating dance verbs and assisting computer choreography.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	choreography and dance art, dance verbs, modular motion design, physically based particle modeling
45	Adam Barker, Christopher D. Walton, David Robertson	Choreographing Web Services.	IEEE Trans. Serv. Comput.	2009	DBLP DOI BibTeX RDF
45	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
45	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
45	Nawal Guermouche, Claude Godart	Timed Model Checking Based Approach for Web Services Analysis.	ICWS	2009	DBLP DOI BibTeX RDF
45	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
45	Christoph Pflügler, Andreas Schönberger, Guido Wirtz	Introducing partner shared states into ebBP to WS-BPEL translations.	iiWAS	2009	DBLP DOI BibTeX RDF	B2Bi, ebXML BPSS, translation, WS-BPEL, state based modeling
45	Armin Haller, Eyal Oren, Paavo Kotinurmi	m3po: An Ontology to Relate Choreographies to Workflow Models.	IEEE SCC	2006	DBLP DOI BibTeX RDF
39	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
39	Dong-Hong Xu, Yong Qi, Di Hou, Ying Chen 0004	SpiG4WSC: A Calculus for Secure Services Composition.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Global calculus, Orchestration, Choreography, Spi calculus
39	Jonghun Park, Wan Lee, Jae-Yoon Jung 0001, Kangchan Lee	Incorporation of User Preferences into Mobile Web Service Conversations.	HCI (11)	2007	DBLP DOI BibTeX RDF	Web service choreography, Conversation preference, Mobile web services, WS-CDL, Ubiquitous services
39	Armin Haller, Eyal Oren, Paavo Kotinurmi	An ontology for internal and external business processes.	WWW	2006	DBLP DOI BibTeX RDF	meta model integration, ontology, choreography, workflow modelling
39	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Leveraging Eclipse for integrated model-based engineering of web service compositions.	eTX	2005	DBLP DOI BibTeX RDF	web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in
39	Claus Pahl, Michael Casey	Ontology support for web service processes.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	ontologies, web services, service choreography
39	Thomas W. Calvert, Armin Bruderlin, Sang Mah, Thecla Schiphorst, Christopher Welman	The evolution of an interface for choreographers.	INTERCHI	1993	DBLP DOI BibTeX RDF	user interface, complexity, composition, choreography, dance, human animation
39	Hasan Muhammad Naushin, Ziad Kobti	ACDL: a communication choreography for discrete step multi-agent social simulations.	C3S2E	2009	DBLP DOI BibTeX RDF	ACDL, discrete event simulation, agent communication, WS-CDL, artificial society
39	Andreas Wombacher	Alignment of Choreography Changes in BPEL Processes.	IEEE SCC	2009	DBLP DOI BibTeX RDF
39	A. K. Bhattacharjee, R. K. Shyamasundar	ScriptOrc: A Specification Language for Web Service Choreography.	APSCC	2008	DBLP DOI BibTeX RDF
39	Dumitru Roman, Michael Kifer, Dieter Fensel	WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.	ESWC	2008	DBLP DOI BibTeX RDF
39	Thomas Hettel, Christian Flender, Alistair Barros	Scaling Choreography Modelling for B2B Value-Chain Analysis.	BPM	2008	DBLP DOI BibTeX RDF
39	Sebastian Wieczorek, Andreas Roth 0001, Alin Stefanescu, Anis Charfi	Precise Steps for Choreography Modeling for SOA Validation and Verification.	SOSE	2008	DBLP DOI BibTeX RDF
39	Ayman Mahfouz, Leonor Barroca 0001, Robin C. Laney, Bashar Nuseibeh	Customizing Choreography: Deriving Conversations from Organizational Dependencies.	EDOC	2008	DBLP DOI BibTeX RDF
39	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Goal Preservation by Choreography-Driven Matchmaking.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
39	Kerstin Pfitzner, Gero Decker, Oliver Kopp, Frank Leymann	Web Service Choreography Configurations for BPMN.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
39	Yu Huang 0004, Hanpin Wang	A petri net semantics for web service choreography.	SAC	2007	DBLP DOI BibTeX RDF	WSCI, web service, petri net, formal semantics
39	Xinguo Deng, Ziyu Lin, Weiqing Chen, Ruliang Xiao, Lina Fang, Ling Li	Modeling Web Service Choreography and Orchestration with Colored Petri Nets.	SNPD (2)	2007	DBLP DOI BibTeX RDF
39	Pablo David Villarreal, Enrique Salomone, Omar Chiotti	Transforming Collaborative Business Process Models into Web Services Choreography Specifications.	DEECS	2006	DBLP DOI BibTeX RDF
39	Barry Norton, Carlos Pedrinaci	3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
39	Erwin Jansen, Hen-I Yang, Sumi Helal	Automated Verification of Proper Choreography Implementation.	SAINT	2006	DBLP DOI BibTeX RDF	Internet workflow, Infrastructure for e-services, Cooperation, Smart home, Brokering, Webservice
39	John Domingue, Stefania Galizia, Liliana Cabral	The Choreography Model for IRS-III.	HICSS	2006	DBLP DOI BibTeX RDF
39	Shun Zhang, Qilei Li, Tao Yu, XiaoJie Shen, Weidong Geng, Pingyao Wang	Implementation of a Notation-Based Motion Choreography System.	VSMM	2006	DBLP DOI BibTeX RDF
39	John Domingue, Stefania Galizia, Liliana Cabral	Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services.	ISWC	2005	DBLP DOI BibTeX RDF
39	Roberto Gorrieri, Claudio Guidi, Roberto Lucchi	Reasoning About Interaction Patterns in Choreography.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
39	Bernhard Bauer, Jörg P. Müller	MDA Applied: From Sequence Diagrams to Web Service Choreography.	ICWE	2004	DBLP DOI BibTeX RDF
39	Denys Chaume, Véronique Giudicelli, Kora Combres, Chantal Ginestoux, Marie-Paule Lefranc	IMGT-Choreography: Processing of Complex Immunogenetics Knowledge.	CMSB	2004	DBLP DOI BibTeX RDF
34	Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol	Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.	ICWS	2011	DBLP DOI BibTeX RDF	Conformance verification, Model checking, Web service composition, Learning algorithm, Choreography
34	Longtao Huang, ShuiGuang Deng, Ying Li 0001, Jian Wu 0001, Jianwei Yin	Data-Dependency Aware Trust Evaluation for Service Choreography.	ICWS	2011	DBLP DOI BibTeX RDF	Trust, Data Dependency, Service Choreography
34	Tino Fleuren, Joachim Götze, Paul Müller 0001	Workflow Skeletons: Increasing Scalability of Scientific Workflows by Combining Orchestration and Choreography.	ECOWS	2011	DBLP DOI BibTeX RDF	workflow skeleton, scientific workflow, orchestration, choreography
34	Dong-Hong Xu, Zheng Li, Yong Qi, Shujuan Jiang, Di Hou	Dynamic Projection from Choreography to Orchestration Based on Role Correlation.	CNSR	2010	DBLP DOI BibTeX RDF	Role Correlation, Mapping, Orchestration, Choreography
34	San-Yih Hwang, Wen-Po Liao, Chien-Hsiang Lee	Web Services Selection in Support of Reliable Web Service Choreography.	ICWS	2010	DBLP DOI BibTeX RDF	Web service composition, Choreography, Web services selection
34	Kurt Englmeier, Javier Pereira, Josiane Mothe	Choreography of web services based on natural language storybooks.	ICEC	2006	DBLP DOI BibTeX RDF	enterprise search systems, semantic web standards, web service choreography, end-user programming, web service orchestration
34	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	LTSA-WS: a tool for model-based verification of web service compositions and choreography.	ICSE	2006	DBLP DOI BibTeX RDF	model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
34	Rachel Price, Craig Douther, Mervyn A. Jack	An investigation of the effectiveness of choreography for the portrayal of mood in virtual environments.	Agents	2000	DBLP DOI BibTeX RDF	design, agents, gesture, choreography, mood
34	Andreas Weiß, Vasilios Andrikopoulos, Michael Hahn 0002, Dimka Karastoyanova	Fostering Reuse in Choreography Modeling Through Choreography Fragments.	ICEIS (2)	2015	DBLP DOI BibTeX RDF
34	Bernhard Hitpass, Juan Leiva	Modeling a Retailer B2B Integration Portal as Choreography Intermediary with BPMN 2.0 Choreography Diagrams.	SCCC	2012	DBLP DOI BibTeX RDF
34	Oliver Kopp, Frank Leymann, Fei Wu 0002	Mapping interconnection choreography models to interaction choreography models.	ZEUS	2010	DBLP BibTeX RDF
33	Andreas Schönberger, Thomas Benker, Stefan Fritzemeier, Matthias Geiger, Simon Harrer, Tristan Kessner, Johannes Schwalb, Guido Wirtz	QoS-Enabled Business-to-Business Integration Using ebBP to WS-BPEL Translations.	IEEE SCC	2009	DBLP DOI BibTeX RDF
33	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