Search results for "WS-BPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Jae-Yoon Jung 0001, Jonghun Park, Seung-Kyun Han, Kangchan Lee	Event-Based Peer-to-Peer Process Enactment for Ubiquitous Web Service Devices.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	Peer-to-peer process, web services eventing, ubiquitous computing, Event-Condition-Action rules
9	Victoria Torres, Vicente Pelechano	Building Business Process Driven Web Applications.	Business Process Management	2006	DBLP DOI BibTeX RDF
9	Wenhui Sun, Jinyu Zhang, Feng Liu	WS-SLA: A Framework for Web Services Oriented Service Level Agreements.	CSCWD	2006	DBLP DOI BibTeX RDF
9	Andreas Schaad, Volkmar Lotz, Karsten Sohr	A model-checking approach to analysing organisational controls in a loan origination process.	SACMAT	2006	DBLP DOI BibTeX RDF	organisational control, model-checking, delegation, separation, revocation
9	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
9	Mathieu Braem, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Viviane Jonckers	Guiding Service Composition in a Visual Service Creation Environment.	ECOWS	2006	DBLP DOI BibTeX RDF
9	Hao Jiang, Zhi-jian Sun	The TCPN-based Verification of Temporal Consistency in Web Service Process.	ICEBE	2006	DBLP DOI BibTeX RDF
9	Valeria de Castro, Esperanza Marcos, Marcos López Sanz	Service Composition Modeling: A Case Study.	ENC	2006	DBLP DOI BibTeX RDF
9	José García-Fanjul, Claudio de la Riva, Javier Tuya	Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.	TAIC PART	2006	DBLP DOI BibTeX RDF
9	Thomas T. Hildebrandt, Henning Niss, Martin Olsen	Formalising Business Process Execution with Bigraphs and Reactive XML.	COORDINATION	2006	DBLP DOI BibTeX RDF
9	Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen	A Model Checking Tool Embedded into Services Composition Environment.	GCC	2006	DBLP DOI BibTeX RDF	Pi-calculus type system web services Composition verification tool compatibility
9	Alexandra Fortis, Florin Fortis	Using BPM Technologies for Material Balances Modelling.	SYNASC	2006	DBLP DOI BibTeX RDF
9	Luciano Baresi, Sam Guinea	Tutorial: towards dynamic web services.	ICSE	2006	DBLP DOI BibTeX RDF
9	Quoc Bao Vo, Lin Padgham	A Component-Based Approach to Automated Web Service Composition.	Web Intelligence	2006	DBLP DOI BibTeX RDF
9	João Paulo A. Almeida, Maria-Eugenia Iacob, Henk Jonkers, Dick A. C. Quartel	Model-Driven Development of Context-Aware Services.	DAIS	2006	DBLP DOI BibTeX RDF
9	Xiaohui Zhao 0001, Chengfei Liu	Supporting Relative Workflows with Web Services.	APWeb	2006	DBLP DOI BibTeX RDF
9	Xiaofeng Zhang 0002, Ho-Fai Wong, William K. Cheung 0001	A Privacy-Aware Service-oriented Platform for Distributed Data Mining.	CEC/EEE	2006	DBLP DOI BibTeX RDF
9	Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst	Structural Patterns for Soundness of Business Process Models.	EDOC	2006	DBLP DOI BibTeX RDF
9	Christian Emig, Jochen Weisser, Sebastian Abeck	Development of SOA-Based Software Systems - an Evolutionary Programming Approach.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
9	Wil M. P. van der Aalst, Maja Pesic	DecSerFlow: Towards a Truly Declarative Service Flow Language.	WS-FM	2006	DBLP DOI BibTeX RDF	Service flows, web services, temporal logic, workflow management, flexibility
9	Liang-Jie Zhang	SOA and Web Services.	IEEE SCC	2006	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001	A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration.	IEEE SCC	2006	DBLP DOI BibTeX RDF
9	Florian Rosenberg, Christoph Nagl, Schahram Dustdar	Applying Distributed Business Rules - The VIDRE Approach.	IEEE SCC	2006	DBLP DOI BibTeX RDF
9	Armin Haller, Eyal Oren, Paavo Kotinurmi	m3po: An Ontology to Relate Choreographies to Workflow Models.	IEEE SCC	2006	DBLP DOI BibTeX RDF
9	Peter F. Green, Michael Rosemann, Marta Indulska	Ontological Evaluation of Enterprise Systems Interoperability Using ebXML.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
9	Cosimo Laneve, Gianluigi Zavattaro	web-pi at Work.	TGC	2005	DBLP DOI BibTeX RDF
9	Thomas Woodley, Stéphane Gagnon	BPM and SOA: Synergies and Challenges.	WISE	2005	DBLP DOI BibTeX RDF
9	Ivan Vasquez, John A. Miller 0001, Kunal Verma, Amit P. Sheth	OpenWS-Transaction: Enabling Reliable Web Service Transactions.	ICSOC	2005	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001, Mike P. Papazoglou	A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration.	ICSOC	2005	DBLP DOI BibTeX RDF
9	Dimka Karastoyanova, Frank Leymann, Alejandro P. Buchmann	An Approach to Parameterizing Web Service Flows.	ICSOC	2005	DBLP DOI BibTeX RDF
9	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
9	Jan Mendling, Cristian Pérez de Laborda, Uwe Zdun	Towards an Integrated BPM Schema: Control Flow Heterogeneity of PNML and BPEL4WS.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
9	Vikas Agarwal, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar 0002, Ashish Kundu, Sumit Mittal, Biplav Srivastava	A service creation environment based on end to end composition of Web services.	WWW	2005	DBLP DOI BibTeX RDF	semantic Web, planning, Web services composition
9	Jianwen Su	Web Service Interactions: Analysis and Design.	CIT	2005	DBLP DOI BibTeX RDF
9	Yanping Yang, QingPing Tan, Yong Xiao	Verifying web services composition based on hierarchical colored petri nets.	IHIS	2005	DBLP DOI BibTeX RDF	CP-net, web service, verification, composition, transformation
9	Yanping Yang, QingPing Tan, Yong Xiao	Verifying Web Services Composition.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
9	Cesare Pautasso, Thomas Heinis, Gustavo Alonso	Autonomic Execution of Web Service Compositions.	ICWS	2005	DBLP DOI BibTeX RDF
9	Khaled Mahbub, George Spanoudakis	Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience.	ICWS	2005	DBLP DOI BibTeX RDF
9	Aysu Betin-Can, Tevfik Bultan	Verifiable Web Services with Hierarchical Interfaces.	ICWS	2005	DBLP DOI BibTeX RDF
9	Carine Courbis, Anthony Finkelstein	Weaving Aspects into Web Service Orchestrations.	ICWS	2005	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001	Specification and Management of Policies in Service Oriented Business Collaboration.	Business Process Management	2005	DBLP DOI BibTeX RDF	processes and service composition, intra-organizational process support, Business process modeling and analysis, process verification and validation
9	Alistair Barros, Marlon Dumas, Arthur H. M. ter Hofstede	Service Interaction Patterns.	Business Process Management	2005	DBLP DOI BibTeX RDF
9	Samuele Carpineti, Cosimo Laneve, Paolo Milazzo	BoPi - A Distributed Machine for Experimenting Web Services Technologies.	ACSD	2005	DBLP DOI BibTeX RDF
9	Richard Hull 0001	Towards a Unified Model for Web Services Composition.	ASIAN	2005	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001	Establishing and maintaining compatibility in service oriented business collaboration.	ICEC	2005	DBLP DOI BibTeX RDF	business collaboration, service oriented computing, business-IT alignment
9	Yi Mei 0002, Zichen Chen, Fei Zhang	Web-based Application Services Composition for e-Business.	ICEBE	2005	DBLP DOI BibTeX RDF
9	Je Yeon Oh, Jae-Yoon Jung 0001, Nam Wook Cho, Hoontae Kim, Suk-Ho Kang	Integrated Process Modeling for Dynamic B2B Collaboration.	KES (3)	2005	DBLP DOI BibTeX RDF
9	Jinkui Xie, Linpeng Huang	An Abstract Model for Service Compositions Based on Agents.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
9	Quirino Morante, Nadia Ranaldo, Eugenio Zimeo	Web Services Workflow for Power System Security Assessment.	EEE	2005	DBLP DOI BibTeX RDF
9	Cesare Pautasso, Gustavo Alonso	Flexible Binding for Reusable Composition of Web Services.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
9	Manuel Mazzara, Sergio Govoni	A Case Study of Web Services Orchestration.	COORDINATION	2005	DBLP DOI BibTeX RDF
9	Yanping Yang, QingPing Tan, Yong Xiao	Model Transformation Based Verification of Web Services Composition.	GCC	2005	DBLP DOI BibTeX RDF
9	Kenneth J. Turner	Formalising Web Services.	FORTE	2005	DBLP DOI BibTeX RDF
9	Claude Moulin, Marco Luca Sbodio	Using Ontological Concepts for Web Service Composition.	Web Intelligence	2005	DBLP DOI BibTeX RDF
9	Antonella Chirichiello, Gwen Salaün	Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development.	Web Intelligence	2005	DBLP DOI BibTeX RDF
9	Frederic Montagut, Refik Molva	Enabling pervasive execution of workflows.	CollaborateCom	2005	DBLP DOI BibTeX RDF
9	Tatsuya Yamazaki, Dongseop Kwon, Atsushi Sawada, Michihiko Minoh	Emulator Implementation of Service Scenario Description Framework for Home Networked Appliances.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
9	Luciano Baresi, Sam Guinea, Pierluigi Plebani	WS-Policy for Service Monitoring.	TES	2005	DBLP DOI BibTeX RDF
9	Johann Oberleitner, Florian Rosenberg, Schahram Dustdar	A Lightweight Model-Driven Orchestration Engine for e-Services.	TES	2005	DBLP DOI BibTeX RDF	e-Services, Service Orchestration, Model-Driven Approach
9	Roberto Lucchi, Gianluigi Zavattaro	WSSecSpaces: a secure data-driven coordination service for Web Services applications.	SAC	2004	DBLP DOI BibTeX RDF	security, Web Services, Linda, coordination languages
9	Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden	Behavior Descriptions of Mobile Agents for Web Services Integration.	ICWS	2004	DBLP DOI BibTeX RDF
9	Anand Ranganathan, Scott McFaddin	Using Workflows to Coordinate Web Services in Pervasive Computing Environments.	ICWS	2004	DBLP DOI BibTeX RDF
9	Gwen Salaün, Lucas Bordeaux, Marco Schaerf	Describing and Reasoning on Web Services using Process Algebra.	ICWS	2004	DBLP DOI BibTeX RDF
9	Alexander Wahler, Bernhard Schreder, Aleksandar Balaban, Juan Miguel Gómez 0001, Klaus Niederacher	MIKSI - A Semantic and Service Oriented Integration Platform.	ESWS	2004	DBLP DOI BibTeX RDF
9	Dipanjan Chakraborty 0001, Hui Lei 0001	Pervasive Enablement of Business Processes.	PerCom	2004	DBLP DOI BibTeX RDF
9	Apostolos V. Zarras, Panos Vassiliadis, Valérie Issarny	Model-Driven Dependability Analysis of WebServices.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
9	Shin Nakajima 0001	Model-Checking of Safety and Security Aspects in Web Service Flows.	ICWE	2004	DBLP DOI BibTeX RDF	Web Service Flow, Lattice-based Security Label, Model-Checking, Information Flow
9	Kees Leune, Willem-Jan van den Heuvel, Mike P. Papazoglou	Exploring a Multi-Faceted Framework for SoC: How to Develop Secure Web-Service Interactions?	RIDE	2004	DBLP DOI BibTeX RDF
9	Stefan Tai, Rania Khalaf, Thomas A. Mikalsen	Composition of Coordinated Web Services.	Middleware	2004	DBLP DOI BibTeX RDF
9	Richard Hull 0001	Converged Services: A Hidden Challenge for the Web Services Paradigm.	EDBT	2004	DBLP DOI BibTeX RDF
9	Jian Yang 0001, Mike P. Papazoglou, Bart Orriëns, Willem-Jan van den Heuvel	A Rule Based Approach to the Service Composition Life-Cycle.	WISE	2003	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001, Mike P. Papazoglou	Model Driven Service Composition.	ICSOC	2003	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001, Mike P. Papazoglou	A Framework for Business Rule Driven Web Service Composition.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
9	Bart Orriëns, Jian Yang 0001, Mike P. Papazoglou	A Framework for Business Rule Driven Service Composition.	TES	2003	DBLP DOI BibTeX RDF