|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 500 occurrences of 281 keywords
|
|
|
|
|
Results
Found 401 publication records. Showing 401 according to the selection in the facets
| 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 |
Displaying result #1 - #100 of 401 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|