Search results for "choreography"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	Kwang-Hoon 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
3	W. L. Ntshinga	Choreography of intelligent e-services.	ICSE	2010	DBLP DOI BibTeX RDF	interoperability, composition, e-services, choreography
3	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
3	Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, 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
3	Ayman Mahfouz, Leonor Barroca, Robin C. Laney, Bashar Nuseibeh	Requirements-Driven Collaborative Choreography Customization.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Requirements, Evolution, Viewpoints, Choreography
3	Lijun Mei, W. K. Chan, 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
3	Saayan Mitra, Ratnesh Kumar, Samik Basu	Optimum Decentralized Choreography for Web Services Composition.	IEEE SCC	2008	DBLP DOI BibTeX RDF	web services, choreography, decentralization, i/o automata
3	Federica Paci, Mourad Ouzzani, Massimo Mecella	Verification of Access Control Requirements in Web Services Choreography.	IEEE SCC	2008	DBLP DOI BibTeX RDF	web services, verification, access control, choreography
3	Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He	A Denotational Model for Web Services Choreography.	ICDCIT	2008	DBLP DOI BibTeX RDF	Web Services, Denotational Semantics, Choreography, WS-CDL
3	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
3	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
3	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
3	Jing Li, Jifeng He, 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
3	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
3	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
3	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
3	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
3	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
3	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
3	Jae-Yoon Jung, Wonchang Hur, Suk-Ho Kang, Hoontae Kim	Business Process Choreography for B2B Collaboration.	IEEE Internet Computing	2004	DBLP DOI BibTeX RDF	Business process choreography, Process interoperability patterns, B2B collaboration
2	Tino Fleuren, Joachim Götze, Paul Müller	Workflow Skeletons: Increasing Scalability of Scientific Workflows by Combining Orchestration and Choreography.	ECOWS	2011	DBLP DOI BibTeX RDF	workflow skeleton, scientific workflow, orchestration, choreography
2	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
2	Longtao Huang, ShuiGuang Deng, Ying Li, Jian Wu, Jianwei Yin	Data-Dependency Aware Trust Evaluation for Service Choreography.	ICWS	2011	DBLP DOI BibTeX RDF	Trust, Data Dependency, Service Choreography
2	Xu Dong Hong, Li Zheng, Qi Yong, Jiang Shujuan, Hou Di	Dynamic Projection from Choreography to Orchestration Based on Role Correlation.	CNSR	2010	DBLP DOI BibTeX RDF	Role Correlation, Mapping, Orchestration, Choreography
2	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
2	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
2		Service Choreography.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Paolo Besana, Adam Barker	An Executable Calculus for Service Choreography.	OTM Conferences	2009	DBLP DOI BibTeX RDF
2	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
2	Andreas Wombacher	Alignment of Choreography Changes in BPEL Processes.	IEEE SCC	2009	DBLP DOI BibTeX RDF
2	Gregorio Díaz, Ismael Rodríguez	Automatically Deriving Choreography-Conforming Systems of Services.	IEEE SCC	2009	DBLP DOI BibTeX RDF
2	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
2	Gabriel Pedraza, Jacky Estublier	Distributed Orchestration Versus Choreography: The FOCAS Approach.	ICSP	2009	DBLP DOI BibTeX RDF
2	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
2	Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi	Precise Steps for Choreography Modeling for SOA Validation and Verification.	SOSE	2008	DBLP DOI BibTeX RDF
2	Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu	Model-Checking of Web Services Choreography.	SOSE	2008	DBLP DOI BibTeX RDF
2	Shanshan Jiang, Jacqueline Floch, Richard Torbjørn Sanders	Modeling and Validating Service Choreography with Semantic Interfaces and Goals.	SOSE	2008	DBLP DOI BibTeX RDF
2	Dumitru Roman, Michael Kifer, Dieter Fensel	WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.	ESWC	2008	DBLP DOI BibTeX RDF
2	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
2	Wing Lok Yeung	A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.	APSCC	2008	DBLP DOI BibTeX RDF
2	Ravi Shankar Pandey, Banshidhar D. Chaudhary	A Cost Model for Participating Roles Based on Choreography Semantics.	APSCC	2008	DBLP DOI BibTeX RDF
2	A. K. Bhattacharjee, R. K. Shyamasundar	ScriptOrc: A Specification Language for Web Service Choreography.	APSCC	2008	DBLP DOI BibTeX RDF
2	Ayman Mahfouz, Leonor Barroca, Robin C. Laney, Bashar Nuseibeh	Customizing Choreography: Deriving Conversations from Organizational Dependencies.	EDOC	2008	DBLP DOI BibTeX RDF
2	Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu	Reasoning about Channel Passing in Choreography.	TASE	2008	DBLP DOI BibTeX RDF
2	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
2	Thomas Hettel, Christian Flender, Alistair P. Barros	Scaling Choreography Modelling for B2B Value-Chain Analysis.	BPM	2008	DBLP DOI BibTeX RDF
2	A. K. Bhattacharjee, R. K. Shyamasundar	Choreography = Orchestration with Scripts + Conversations.	ICWS	2008	DBLP DOI BibTeX RDF
2	Chao Cai, Zongyan Qiu	An Approach to Check Choreography with Channel Passing in WS-CDL.	ICWS	2008	DBLP DOI BibTeX RDF
2	Renata M. Sheppard, Mahsa Kamali, Raoul Rivas, Morihiko Tamai, Zhenyu Yang, Wanmin Wu, Klara Nahrstedt	Advancing interactive collaborative mediums through tele-immersive dance (TED): a symbiotic creativity and design environment for art and computer science.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	laban movement analysis, collaboration, creativity, choreography, dance, tele-immersion, shared virtual space
2	Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen	An Improved Calculus for Secure Dynamic Services Composition.	COMPSAC	2008	DBLP DOI BibTeX RDF	Global calculus, Web services composition, Orchestration, Choreography, Spi calculus
2	Javier Fabra, Joaquín Peña, Antonio Ruiz Cortés, Joaquin Ezpeleta	Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform.	ICIW	2008	DBLP DOI BibTeX RDF	Web processes, UML, SOA, Petri nets, MDD, Orchestration, Choreography, SOC
2	Xu Dong Hong, Qi Yong, Hou Di, Chen Ying	SpiG4WSC: A Calculus for Secure Services Composition.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Global calculus, Orchestration, Choreography, Spi calculus
2	Peng Men, Zhenhua Duan, Bin Yu	Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.	ICATPN	2007	DBLP DOI BibTeX RDF	ontology, semantic web services, matchmaking, fuzzy petri net
2	Mario Bravetti, Gianluigi Zavattaro	Towards a Unifying Theory for Choreography Conformance and Contract Compliance.	Software Composition	2007	DBLP DOI BibTeX RDF
2	Xinguo Deng, Ziyu Lin, Weiqing Chen, Ruliang Xiao, Lina Fang, Ling Li	Modeling Web Service Choreography and Orchestration with Colored Petri Nets.	SNPD	2007	DBLP DOI BibTeX RDF
2	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
2	Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu	Modeling and Verifying Web Services Choreography Using Process Algebra.	SEW	2007	DBLP DOI BibTeX RDF
2	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
2	Kerstin Pfitzner, Gero Decker, Oliver Kopp, Frank Leymann	Web Service Choreography Configurations for BPMN.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
2	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Goal Preservation by Choreography-Driven Matchmaking.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
2	Muhammad Younas, Irfan Awan, Robert Holton, David A. Duce	A P2P Network Protocol for Efficient Choreography of Web Services.	AINA	2007	DBLP DOI BibTeX RDF
2	Yu Huang 0004, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu	Formalizing Web Service Choreography Interface.	AINA Workshops	2007	DBLP DOI BibTeX RDF	WSCI, Petri nets, Web service composition
2	Incheon Paik, Hiroto Suzuki	Pattern Templates for Automating Business Choreography on Web Services.	AINA Workshops	2007	DBLP DOI BibTeX RDF
2	Gero Decker, Michael Von Riegen	Scenarios and Techniques for Choreography Design.	BIS	2007	DBLP DOI BibTeX RDF
2	Magnus Egerstedt, Todd D. Murphey, Jon Ludwig	Motion Programs for Puppet Choreography and Control.	HSCC	2007	DBLP DOI BibTeX RDF
2	Jing Li, Huibiao Zhu, Geguang Pu	Conformance Validation between Choreography and Orchestration.	TASE	2007	DBLP DOI BibTeX RDF
2	Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu	A QoS View ofWeb Service Choreography.	ICEBE	2007	DBLP DOI BibTeX RDF
2	Jonghun Park, Wan Lee, Jae-Yoon Jung, Kangchan Lee	Incorporation of User Preferences into Mobile Web Service Conversations.	HCI	2007	DBLP DOI BibTeX RDF	Web service choreography, Conversation preference, Mobile web services, WS-CDL, Ubiquitous services
2	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
2	Caroline Hummels, Kees C. J. Overbeeke, Sietske Klooster	Move to get moved: a search for methods, tools and knowledge to design for expressive and rich movement-based interaction.	Personal and Ubiquitous Computing	2007	DBLP DOI BibTeX RDF	Movement-based interaction, Richness, Choreography of interaction, Emotions, Gestures, Experience, Tools, Methods, Tangible interaction, Expressivity, Product design, Installations, Meaning
2	Birgit Hofreiter, Christian Huemer, Ja-Hee Kim	Choreography of ebXML business collaborations.	Inf. Syst. E-Business Management	2006	DBLP DOI BibTeX RDF	XML, Business process management, ebXML, B2B e-Commerce, Interchange formats
2	Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek	Verifying Correctness of Web Services Choreography.	ECOWS	2006	DBLP DOI BibTeX RDF
2	Barry Norton, Carlos Pedrinaci	3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services.	OTM Workshops	2006	DBLP DOI BibTeX RDF
2	Raman Kazhamiakin, Marco Pistore	Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.	WS-FM	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Choreography and Orchestration Conformance for System Design.	COORDINATION	2006	DBLP DOI BibTeX RDF
2	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
2	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
2	Xiaoqiang Qiao, Jun Wei	A Decentralized Services Choreography Approach for Business Collaboration.	IEEE SCC	2006	DBLP DOI BibTeX RDF
2	John Domingue, Stefania Galizia, Liliana Cabral	The Choreography Model for IRS-III.	HICSS	2006	DBLP DOI BibTeX RDF
2	Ivan M. Delamer, Jose L. Martinez Lastra	Self-Orchestration and Choreography: Towards Architecture-Agnostic Manufacturing Systems.	AINA	2006	DBLP DOI BibTeX RDF
2	ShuiGuang Deng, Zhaohui Wu, Mengchu Zhou, Ying Li, Jian Wu	Modeling Service Compatibility with Pi-calculus for Choreography.	ER	2006	DBLP DOI BibTeX RDF
2	Pablo David Villarreal, Enrique Salomone, Omar Chiotti	Transforming Collaborative Business Process Models into Web Services Choreography Specifications.	DEECS	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Philip Robinson, Florian Kerschbaum, Andreas Schaad	From Business Process Choreography to Authorization Policies.	DBSec	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Wing Lok Yeung	Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.	ECOWS	2006	DBLP DOI BibTeX RDF	Choreography description language, model checking, formal methods, CSP, business process execution language
2	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
2	John Domingue, Stefania Galizia, Liliana Cabral	Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
2	Roberto Gorrieri, Claudio Guidi, Roberto Lucchi	Reasoning About Interaction Patterns in Choreography.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
2	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
2	François-Joseph Lapointe	Choreogenetics: the generation of choreographic variants through genetic mutations and selection.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	mutation models, sequence evolution, simulation, information theory, aesthetics, choreography, dance
2	Thomas Cottenier, Tzilla Elrad	Adaptive compositions across organizational boundaries.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	service orchestration and choreography, aspect-oriented software development
2	Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi	Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.	HPCC	2005	DBLP DOI BibTeX RDF	Web Services, semantics, Orchestration, Choreography, pattern analysis, Workflow patterns, BPEL4WS, Workflow language
2	Kwanghoon 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