Search results for "WS-BPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Antonio Brogi, Razvan Popescu	Workflow Semantics of Peer and Service Behaviour.	TASE	2008	DBLP DOI BibTeX RDF	service-oriented modelling language, YAWL workflows, Peer-to-peer systems, BPEL
23	Karthick Sankarachary	Component-Based Composition of Wide-Area Workflows.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Workflow, Virtualization, SCA, WS-BPEL
23	Philip Mayer, Andreas Schroeder 0001, Nora Koch	A Model-Driven Approach to Service Orchestration.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	SOA, MDA, Transformation, BPEL, Orchestration, UML2
23	Olaf Zimmermann, Jonas Grundler, Stefan Tai, Frank Leymann	Architectural Decisions and Patterns for Transactional Workflows in SOA.	ICSOC	2007	DBLP DOI BibTeX RDF	SOA, workflow, patterns, MDA, transactions, BPEL, BPM, SCA
23	Luca Clementi, Claudio Cacciari, Maurizio Melato, Roger Menday, Björn Hagemeier	A Business-Oriented Grid Workflow Management System.	Euro-Par Workshops	2007	DBLP DOI BibTeX RDF	SOA, Workflow, BPEL, BPMN, Grid System
23	Jörg Nitzsche, Tammo van Lessen, Dimka Karastoyanova, Frank Leymann	BPELlight.	BPM	2007	DBLP DOI BibTeX RDF	Web services, SOA, Workflow, BPEL, flexibility, BPM, reusability
23	Andrea D'Ambrogio, Paolo Bocciarelli	A model-driven approach to describe and predict the performance of composite services.	WOSP	2007	DBLP DOI BibTeX RDF	UML, service-oriented architectures, model transformation, BPEL, software performance, LQN
23	Philipp Offermann, Christian Schröpfer, Maximilian Ahrens	Extending the UN/CEFACT Modeling Methodology and Core Components for Intra-organizational Service Orchestration.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF	UN/CEFACT Modeling Methodology (UMM), Core Components (CC), Business Process Execution Language (BPEL), Business Process Modeling Notation (BPMN), Service-Oriented Architecture (SOA), Service Orchestration
23	Raman Kazhamiakin, Marco Pistore, Luca Santuari	Analysis of communication models in web service compositions.	WWW	2006	DBLP DOI BibTeX RDF	formal verification, BPEL, web service composition, asynchronous communications
23	Guillermo López, Valeria de Castro, Esperanza Marcos	Implementation of Business Process Requiring User Interaction.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	BPEL4People, Model Driven Architecture, BPEL, Service Oriented Computing, eGovernment, Web Information Systems
23	Casey K. Fung, Patrick C. K. Hung, William M. Kearns, Stephen A. Uczekaj	Dynamic Regeneration of Workflow Specification with Access Control Requirements in MANET.	ICWS	2006	DBLP DOI BibTeX RDF	Web services, MANET, Access Control, Exceptional Handling, BPEL, Survivability, XACML, Attack tree
23	Axel Martens, Simon Moser	Diagnosing SCA Components Using Wombat.	Business Process Management	2006	DBLP DOI BibTeX RDF	Tool based Verification, SOA, Petri nets, Business Process Modeling, BPEL, Web service composition, State Machine
23	Wolfgang Reisig, Karsten Schmidt 0004, Christian Stahl	Kommunizierende Workflow-Services modellieren und analysieren.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Open workflow nets, Workflow services, Petri nets, Controllability, BPEL
23	Anis Charfi, Mira Mezini	Middleware services for web service compositions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	middleware, BPEL, web service composition
23	Aysu Betin-Can, Tevfik Bultan, Xiang Fu 0001	Design for verification for asynchronously communicating Web services.	WWW	2005	DBLP DOI BibTeX RDF	design patterns, BPEL, asynchronous communication, composite web services
23	Luciano Baresi, Carlo Ghezzi, Sam Guinea	Smart monitors for composed services.	ICSOC	2004	DBLP DOI BibTeX RDF	pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
23	Anis Charfi, Mira Mezini	Aspect-Oriented Web Service Composition with AO4BPEL.	ECOWS	2004	DBLP DOI BibTeX RDF	Adaptive web service composition, aspect-oriented programming, BPEL, separation of concerns
18	Eran Balan, Tova Milo, Tal Sterenzy	BP-Ex: a uniform query engine for business process execution traces.	EDBT	2010	DBLP DOI BibTeX RDF
18	Haibo Zhao, Prashant Doshi	A hierarchical framework for logical composition of web services.	Serv. Oriented Comput. Appl.	2009	DBLP DOI BibTeX RDF	Probability, Hierarchy, Web service composition, First-order logic, Decision-theoretic planning
18	Karolina Zurowska, Ralph Deters	Load management in model-aware execution of composite web services.	SAC	2009	DBLP DOI BibTeX RDF	models, performance, coloured petri nets, composite web services
18	Chenting Zhao, Zhenhua Duan, Man Zhang	A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
18	Zuohua Ding, Mingyue Jiang, Jing Liu 0012	Model Checking Service Component Composition by SPIN.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
18	Anna Ruokonen, Lasse Pajunen, Tarja Systä	Scenario-Driven Approach for Business Process Modeling.	ICWS	2009	DBLP DOI BibTeX RDF
18	Marc Drewniok, Massimo Maresca, Sancho Rego, Jürgen Sienel, Michele Stecca	Experiments and performance evaluation of Event Driven Mashups.	ISCC	2009	DBLP DOI BibTeX RDF
18	Idir Aït-Sadoune, Yamine Aït Ameur	A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.	ICECCS	2009	DBLP DOI BibTeX RDF
18	Armin Lehmann, Thomas Eichelmann, Ulrich Trick, Rolf Lasch, Björn Ricks, Ralf Tönjes	TeamCom: A Service Creation Platform for Next Generation Networks.	ICIW	2009	DBLP DOI BibTeX RDF
18	Karolina Zurowska, Ralph Deters	Model Aware Execution of Composite Web Services.	IEEE SCC	2009	DBLP DOI BibTeX RDF
18	Johannes Maria Zaha, Marlon Dumas, Arthur H. M. ter Hofstede, Alistair Barros, Gero Decker	Bridging Global and Local Models of Service-Oriented Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
18	Marko Vrhovnik, Oliver Suhre, Stephan Ewen, Holger Schwarz	PGM/F: A Framework for the Optimization of Data Processing in Business Processes.	ICDE	2008	DBLP DOI BibTeX RDF
18	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán	Decentralized web service orchestration: a reflective approach.	SAC	2008	DBLP DOI BibTeX RDF	reflection, throughput, BPEL4WS, composite web services, web service orchestration, decentralized orchestration
18	Mate' Sztipanovits	Web service composition process verification methods.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	web services, composition, graph transformation, model integrated computing
18	Wing Lok Yeung	A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.	APSCC	2008	DBLP DOI BibTeX RDF
18	Khouloud Boukadi, Chirine Ghedira, Lucien Vincent	An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business.	CAiSE	2008	DBLP DOI BibTeX RDF	Web service, context-aware, Aspect Oriented Programming, service adaptation
18	Mohamed Amine Baazizi, Samir Sebahi, Mohand-Said Hacid, Salima Benbernou, Mike P. Papazoglou	Monitoring Web Services: A Database Approach.	ServiceWave	2008	DBLP DOI BibTeX RDF
18	Chang-Ai Sun, Marco Aiello 0001	Towards Variable Service Compositions Using VxBPEL.	ICSR	2008	DBLP DOI BibTeX RDF
18	Alexandru Cârstea, Georgiana Macariu, Dana Petcu, Alexander Konovalov 0001	Pattern Based Composition of Web Services for Symbolic Computations.	ICCS (1)	2008	DBLP DOI BibTeX RDF	dynamically generated workflows, service-oriented architecture, symbolic computing, workflow patterns
18	Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss	Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.	COORDINATION	2008	DBLP DOI BibTeX RDF
18	Hallvard Trætteberg, John Krogstie	Enhancing the Usability of BPM-Solutions by Combining Process and User-Interface Modelling.	PoEM	2008	DBLP DOI BibTeX RDF	Process modelling, user interface modelling
18	Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed	A model driven approach to the design and implementing of fault tolerant Service oriented Architectures.	ICDIM	2008	DBLP DOI BibTeX RDF
18	Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori	Controlling Usage in Business Process Workflows through Fine-Grained Security Policies.	TrustBus	2008	DBLP DOI BibTeX RDF	Fine-grained Security Policies, Workflow Monitoring, Business Processes
18	Pavel Parízek, Jirí Adámek	Checking Session-Oriented Interactions between Web Services.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
18	Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske	RESTful Petri Net Execution.	WS-FM	2008	DBLP DOI BibTeX RDF
18	Fernando Antônio Aires Lins, José Carlos dos Santos Júnior, Nelson Souto Rosa	Adaptive web service composition.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF
18	Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li	A model-driven development framework for enterprise Web services.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	EDOC, Web services, Model-driven development
18	Ricardo Lemos Vianna, Everton Rafael Polina, Clarissa Cassales Marquezan, Leandro Marcio Bertholdo, Liane Margarida Rockenbach Tarouco, Maria Janilce Bosquiroli Almeida, Lisandro Zambenedetti Granville	An Evaluation of Service Composition Technologies Applied to Network Management.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
18	Wil M. P. van der Aalst, Maja Pesic	Specifying and Monitoring Service Flows: Making Web Services Process-Aware.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
18	Marco Pistore, Paolo Traverso	Assumption-Based Composition and Monitoring of Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
18	Christian Koehler 0001, Alexander Lazovik, Farhad Arbab	ReoService: Coordination Modeling Tool.	ICSOC	2007	DBLP DOI BibTeX RDF
18	Nataliya Mulyar, Lachlan Aldred, Wil M. P. van der Aalst	The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
18	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán, R. Naranjo-Izquierdo	Aspect Separation in Web Service Orchestration: A Reflective Approach and its Application to Decentralized Execution.	ICWS	2007	DBLP DOI BibTeX RDF
18	Lasse Pajunen, Anna Ruokonen	Modeling and Generating Mobile Business Processes.	ICWS	2007	DBLP DOI BibTeX RDF
18	Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso	AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.	ICWS	2007	DBLP DOI BibTeX RDF
18	Jing Zhou, Guosun Zeng	Validity Checking On Grid Service Composition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
18	Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel	Model checking service compositions under resource constraints.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, validation, BPEL4WS, resource modelling
18	Yuan Yuan 0036, Jia Jia Wen, Wei Li, Bing Bing Zhang	A Comparison of Three Programming Models for Telecom Service Composition.	AICT	2007	DBLP DOI BibTeX RDF
18	Torsten Greiner, Willy Düster, Francis Pouatcha, Rainer von Ammon, Hans-Martin Brandl, David Guschakowski	Business activity monitoring of norisbank taking the example of the application easyCredit and the future adoption of Complex Event Processing (CEP).	PPPJ	2006	DBLP DOI BibTeX RDF	online instant credit system, service oriented architecture, business process management, complex event processing, business activity monitoring, event stream processing
18	Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006	Verifying Choreographic Descriptions of Web Services Based on CSP.	SCW	2006	DBLP DOI BibTeX RDF
18	Torsten Greiner, Willy Düster, Francis Pouatcha, Rainer von Ammon	Business Activity Monitoring of norisbank Taking the Example of the Application easyCredit and the Future Adoption of Complex Event Processing (CEP).	SCW	2006	DBLP DOI BibTeX RDF
18	Jian Yu, Tan Phan Manh, Jun Han 0004, Yan Jin, Yanbo Han, Jianwu Wang 0001	Pattern Based Property Specification and Verification for Service Composition.	WISE	2006	DBLP DOI BibTeX RDF
18	Kenneth J. Turner, Koon Leai Larry Tan	Graphical Composition of Grid Services.	RISE	2006	DBLP DOI BibTeX RDF
18	Mathieu Braem, Kris Verlaenen, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Eddy Truyen, Wouter Joosen, Viviane Jonckers	Isolating Process-Level Concerns Using Padus.	Business Process Management	2006	DBLP DOI BibTeX RDF
18	Muhammad Ahtisham Aslam, Sören Auer, Jun Shen 0001, Michael Herrmann 0001	Expressing Business Process Models as OWL-S Ontologies.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
18	Qinyi Wu, Akhil Sahai	DAG Synchronization Constraint Language for Business Processes.	CEC/EEE	2006	DBLP DOI BibTeX RDF
18	Kangmin Zheng, Kenneth C. Hoffman, Thomas J. Pawlowski III, Christopher D. Knouss	A Service-Oriented Architecture in a Multi-Agency Environment: A Case Study in Enterprise Dynamics.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
18	Dominic Cooney, Marlon Dumas, Paul Roe	GPSL: A Programming Language for Service Implementation.	FASE	2006	DBLP DOI BibTeX RDF
18	Gregorio Díaz 0001, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero	Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
18	Manuel Mazzara, Ivan Lanese	Towards a Unifying Theory for Web Services Composition.	WS-FM	2006	DBLP DOI BibTeX RDF
18	Barry Norton, Simon Foster 0001, Andrew Hughes	A Compositional Operational Semantics for OWL-S.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
18	Mikhail Perepletchikov, Caspar Ryan, Keith Frampton	Comparing the Impact of Service-Oriented and Object-Oriented Paradigms on the Structural Properties of Software.	OTM Workshops	2005	DBLP DOI BibTeX RDF
18	Min-Jen Tsai, Chen-Sheng Wang, Po-Yu Yang, Chien-Yu Yang	A Collaborated Computing System by Web Services Based P2P Architecture.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
18	Stefan Luckner, Daniel Rolli, Christof Momm, Christof Weinhardt	Market Agents with a Sense for Mechanisms.	ICEBE	2005	DBLP DOI BibTeX RDF
18	Pu Huang	Capacity Allocation for Business Processes with QoS Requirements: A Heavy Traffic Approach.	ICEBE	2005	DBLP DOI BibTeX RDF
18	Na Liu 0001, John C. Grundy, John G. Hosking	A visual language and environment for composing web services.	ASE	2005	DBLP DOI BibTeX RDF	tool based abstraction, web services, visual languages
16	Marwa Daaji, Ali Ouni 0001, Mohamed Mohsen Gammoudi, Salah Bouktif, Mohamed Wiem Mkaouer	BPEL process defects prediction using multi-objective evolutionary search.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
16	Honghao Gao, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang	SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata.	Mob. Networks Appl.	2021	DBLP DOI BibTeX RDF
16	Dionisis Margaris, Dimitris Spiliotopoulos, Dionysios Vasilopoulos, Costas Vassilakis	A User Interface for Personalising WS-BPEL Scenarios.	HCI (22)	2021	DBLP DOI BibTeX RDF
16	Wiem Khlif, Nadia Aloui, Nourchène Elleuch Ben Ayed	A Methodology for Generating BPEL Models from a Business Process Textual Description.	ENASE	2021	DBLP DOI BibTeX RDF
16	Wiem Khlif, Nadia Aloui, Nourchène Elleuch Ben Ayed	From Business Process Textual Description to BPEL Models.	ENASE (Selected Papers)	2021	DBLP DOI BibTeX RDF
16	Chunling Hu, Cuicui Liu, Bixin Li	Evaluating the trustworthiness of BPEL processes based on data dependency and XBFG.	Int. J. Comput. Sci. Eng.	2020	DBLP DOI BibTeX RDF
16	Sira Yongchareon, Chengfei Liu, Xiaohui Zhao 0001	UniFlexView: A unified framework for consistent construction of BPMN and BPEL process views.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
16	Puwen Cui, Ru Yang, Zhijun Ding	Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach.	Int. J. Serv. Technol. Manag.	2020	DBLP DOI BibTeX RDF
16	Dionisis Margaris, Dimitris Spiliotopoulos, Apostolos Kardiasmenos, Dimitrios Pantazopoulos	An integer programming-based algorithm for optimising the WS-BPEL scenario execution adaptation process.	Int. J. Web Eng. Technol.	2020	DBLP DOI BibTeX RDF
16	Erwin de Jager, Stijn de Gouw	Hybrid Analysis of BPEL Models with Grammars.	SOFSEM (Doctoral Student Research Forum)	2020	DBLP BibTeX RDF
16	Xuanzhe Liu, Mengwei Xu, Teng Teng, Gang Huang 0001, Hong Mei 0001	MUIT: A Domain-Specific Language and its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL.	IEEE Trans. Serv. Comput.	2019	DBLP DOI BibTeX RDF
16	Chang-Ai Sun, Zhen Wang, Ke Wang, Tieheng Xue, Marco Aiello 0001	Adaptive BPEL Service Compositions via Variability Management: A Methodology and Supporting Platform.	Int. J. Web Serv. Res.	2019	DBLP DOI BibTeX RDF
16	Zhijun Ding, Zexia Zhou	RaceTest: harmful data race detection based on testing technology in WS-BPEL.	Serv. Oriented Comput. Appl.	2019	DBLP DOI BibTeX RDF
16	N. Parimala	Modelling Co-occurring Changes in a BPEL Process with Petri Nets.	ENASE	2019	DBLP DOI BibTeX RDF
16	Wiem Khlif, Hanêne Ben-Abdallah, Asma Sellami, Mariem Haoues	A COSMIC-Based Approach for Verifying the Conformity of BPMN, BPEL and Component Models.	BIS (1)	2019	DBLP DOI BibTeX RDF
16	Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad	Formal specification and validation of refinement from WS-CDL to BPEL.	ISCC	2019	DBLP DOI BibTeX RDF
16	Pramate Chandratarat, Wiwat Vatanawood	Transforming WS-BPEL into Timed Automata.	ICSEB	2019	DBLP DOI BibTeX RDF
16	Qiang Hu 0002, Minghua Liu, Zhen Zhao 0006, Junwei Du	A path detecting method to analyze the interactive compatibility of service processes based on WS-BPEL.	Concurr. Comput. Pract. Exp.	2018	DBLP DOI BibTeX RDF
16	Chang-Ai Sun, Yan Zhao, Lin Pan, Huai Liu, Tsong Yueh Chen	Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach.	IEEE Trans. Serv. Comput.	2018	DBLP DOI BibTeX RDF
16	Saïda Boukhedouma, Zaia Alimazighi	An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes.	Int. J. Inf. Syst. Model. Des.	2018	DBLP DOI BibTeX RDF
16	Chang-Ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey, Xiangyu Zhang 0001	Fault localisation for WS-BPEL programs based on predicate switching and program slicing.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
16	Longfei Zhu, Qiwen Xu, Huibiao Zhu	Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.	FedCSIS (Communication Papers)	2018	DBLP DOI BibTeX RDF
16	Khadidja Salah-Mansour, Youcef Hammal	ATL Based Refinement of WS-CDL Choreography into BPEL Processes.	MISC	2018	DBLP DOI BibTeX RDF
16	Sara Serbout, Mohammed Benattou	Toward a Constraint Based Test Case Generation of Parallel BPEL Process.	ICMCS	2018	DBLP DOI BibTeX RDF
16	Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez 0001	Test suite minimization for mutation testing of WS-BPEL compositions.	GECCO	2018	DBLP DOI BibTeX RDF
16	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman	A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.	PDCAT	2018	DBLP DOI BibTeX RDF
16	Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel	Distributed and Resource-Aware Load Testing of WS-BPEL Compositions.	ICEIS (2)	2018	DBLP DOI BibTeX RDF