Search results for "orchestrations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Clementine Nemo-Cailliau, Tristan Glatard, Mireille Blay-Fornarino, Johan Montagnat	Merging overlapping orchestrations: an application to the Bronze Standard medical application.	IEEE SCC	2007	DBLP DOI BibTeX RDF
75	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
67	Sébastien Mosser 0001, Mireille Blay-Fornarino, Michel Riveill	Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution.	ECSA	2008	DBLP DOI BibTeX RDF
67	Frédérick Seyler, Chantal Taconet, Guy Bernard	Context Adaptation of Web Service Orchestrations.	WETICE	2007	DBLP DOI BibTeX RDF
52	Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo	Towards Data-Aware QoS-driven Adaptation for Service Orchestrations.	ICWS	2010	DBLP DOI BibTeX RDF	resource usage analysis, data awareness, adaptation, monitoring, orchestrations
52	Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar	Monotonicity in Service Orchestrations.	Petri Nets	2009	DBLP DOI BibTeX RDF
52	Gregorio Díaz 0001, Ismael Rodríguez	Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
52	Frank Puhlmann, Mathias Weske	Interaction Soundness for Service Orchestrations.	ICSOC	2006	DBLP DOI BibTeX RDF
45	Philip Mayer, Andreas Schroeder 0001, Nora Koch	MDD4SOA: Model-Driven Service Orchestration.	EDOC	2008	DBLP DOI BibTeX RDF
45	Jing Li 0062, Huibiao Zhu, Geguang Pu	Conformance Validation between Choreography and Orchestration.	TASE	2007	DBLP DOI BibTeX RDF
45	Frank Leymann	Workflow-Based Coordination and Cooperation in a Service World.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
43	Nabil Fakhfakh	Une approche orientée utilisateur pour la supervision des orchestrations de services. (User-Oriented approach for service orchestrations supervision).		2012	RDF
43	Ajay Kattepur	Flexible Quality of Service Management of Web Services Orchestrations. (Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web).		2012	RDF
37	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.	IEEE Trans. Serv. Comput.	2008	DBLP DOI BibTeX RDF
37	Andreas Schroeder 0001, Philip Mayer	Verifying Interaction Protocol Compliance of Service Orchestrations.	ICSOC	2008	DBLP DOI BibTeX RDF
37	Alan Stewart, Maurice Clint, Terry Harmer, Peter Kilpatrick, Ronald H. Perrott, Joaquim Gabarró	Assessing the Reliability and Cost of Web and Grid Orchestrations.	ARES	2008	DBLP DOI BibTeX RDF
37	Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore	An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.	ServiceWave	2008	DBLP DOI BibTeX RDF
37	Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes	A Language for Quality of Service Requirements Specification in Web Services Orchestrations.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF
37	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.	ISoLA	2006	DBLP DOI BibTeX RDF
37	Johann Eder, Marek Lehmann, Amirreza Tahamtan	Choreographies as Federations of Choreographies and Orchestrations.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
31	Francesco De Angelis 0001, Andrea Polini, Guglielmo De Angelis	A Counter-Example Testing Approach for Orchestrated Services.	ICST	2010	DBLP DOI BibTeX RDF	Counter-example based Testing, Service Testing, Service Orchestrations
31	Laura Daniele, Luís Ferreira Pires, Marten van Sinderen	Process-Oriented Behavior Generation Using Interaction Patterns.	EDOCW	2010	DBLP DOI BibTeX RDF	MDA, model transformations, behavior modeling, orchestrations, choreographies, BPMN, interaction patterns
30	Dimka Karastoyanova, Frank Leymann	BPEL'n'Aspects: Adapting Service Orchestration Logic.	ICWS	2009	DBLP DOI BibTeX RDF
30	Henrique Jorge A. Holanda, Giovanni Cordeiro Barroso, Antônio de Barros Serra	SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS.	ICIW	2009	DBLP DOI BibTeX RDF
30	Johann Eder, Amirreza Tahamtan	Temporal Conformance of Federated Choreographies.	DEXA	2008	DBLP DOI BibTeX RDF	Temporal Conformance, Web Services, Composition, Orchestration, Choreographies
30	Daniel Martin 0001, Daniel Wutke, Frank Leymann	A Novel Approach to Decentralized Workflow Enactment.	EDOC	2008	DBLP DOI BibTeX RDF
30	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
30	Dimka Karastoyanova, Branimir Wetzstein, Tammo van Lessen, Daniel Wutke, Jörg Nitzsche, Frank Leymann	Semantic Service Bus: Architecture and Implementation of a Next Generation Middleware.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
30	Dong Liu 0016, Ralph Deters	BUST: enabling scalable service orchestration.	Infoscale	2007	DBLP DOI BibTeX RDF	performance, SOA, scalability, service, multithreading, BPEL, queueing model, service orchestration
30	Fathi M. Al-Ghaiati	A Proposal for an Open Solution Business Process Integration and Management Implementation Framework.	Business Process Management	2006	DBLP DOI BibTeX RDF	Service-Oriented Architecture and Process Management, E-services Architectures and Technology, Workflow Management Systems
22	Wei Shi, Milad Ganjalizadeh, Hossein Shokri Ghadikolaei, Marina Petrova	Communication-Efficient Orchestrations for URLLC Service via Hierarchical Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
22	Wei Shi, Milad Ganjalizadeh, Hossein Shokri Ghadikolaei, Marina Petrova	Communication-Efficient Orchestrations for URLLC Service via Hierarchical Reinforcement Learning.	PIMRC	2023	DBLP DOI BibTeX RDF
22	Artur Boronat	Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
22	Antonio García-Domínguez	Asymmetric and Directed Bidirectional Transformation for Container Orchestrations.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
22	Thomas Buchmann	A BXtendDSL Solution to the TTC2023 Asymmetric and Directed Bidirectional Transformation for Container Orchestrations Case.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
22	Alessio Matricardi, Alessandro Bocci, Stefano Forti 0002, Antonio Brogi	Simulating FaaS Orchestrations In The Cloud-Edge Continuum.	FRAME@HPDC	2023	DBLP DOI BibTeX RDF
22	Nagaraj Varatharaj, Sumithira Thulasimani Ramalingam	Enabling continuous connectivity services for ambrosus blockchain application by incorporating 5G-multilevel machine learning orchestrations.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
22	Bruno Piedade, João Pedro Dias, Filipe F. Correia	Visual notations in container orchestrations: an empirical study with Docker Compose.	Softw. Syst. Model.	2022	DBLP DOI BibTeX RDF
22	Bruno Piedade, João Pedro Dias, Filipe F. Correia	Visual Notations in Container Orchestrations: An Empirical Study with Docker Compose.	CoRR	2022	DBLP DOI BibTeX RDF
22	Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Frank Leymann	Standards-based modeling and deployment of serverless function orchestrations using BPMN and TOSCA.	Softw. Pract. Exp.	2022	DBLP DOI BibTeX RDF
22	Alessandro Bocci, Stefano Forti 0002, Gian-Luigi Ferrari 0002, Antonio Brogi	Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations.	CCGRID	2022	DBLP DOI BibTeX RDF
22	Manos Papoutsakis, Konstantinos Fysarakis, George Spanoudakis, Sotiris Ioannidis	Defining IoT Orchestrations with Security and Privacy by Design: A Gap Analysis.	IEEE Internet Things Mag.	2021	DBLP DOI BibTeX RDF
22	Benjamin Weder, Johanna Barzen, Frank Leymann, Michael Zimmermann	Hybrid Quantum Applications Need Two Orchestrations in Superposition: A Software Architecture Perspective.	ICWS	2021	DBLP DOI BibTeX RDF
22	Henry Bloch, Alexander Fay	Modelling of service dependencies in modular process plants for the analysis of orchestrations.	ETFA	2021	DBLP DOI BibTeX RDF
22	Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad	Formal techniques for consistency checking of orchestrations of semantic Web services.	J. Comput. Sci.	2020	DBLP DOI BibTeX RDF
22	Davide Basile 0001, Maurice H. ter Beek, Rosario Pugliese	Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
22	Manos Papoutsakis, Konstantinos Fysarakis, Manolis Michalodimitrakis, Eftychia Lakka, Nikos Petroulakis, George Spanoudakis, Sotiris Ioannidis	A Pattern-Driven Adaptation in IoT Orchestrations to Guarantee SPDI Properties.	MSTEC	2020	DBLP DOI BibTeX RDF
22	Carlos Monteiro, Cecília Costa	Instrumental Orchestrations in a Math Teacher's Practices to Enhance Distance Learning of Integral Calculus.	TECH-EDU	2020	DBLP DOI BibTeX RDF
22	Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins	Using Metamodels to Improve Model-Based Testing of Service Orchestrations.	PRDC	2020	DBLP DOI BibTeX RDF
22	Davide Basile 0001, Maurice H. ter Beek, Rosario Pugliese	Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.	CoRR	2019	DBLP BibTeX RDF
22	Konstantinos Fysarakis, Manos Papoutsakis, Nikolaos E. Petroulakis, George Spanoudakis	Towards IoT Orchestrations with Security, Privacy, Dependability and Interoperability Guarantees.	GLOBECOM	2019	DBLP DOI BibTeX RDF
22	Lucas Leal, Andrea Ceccarelli, Eliane Martins	The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations.	COMPSAC (1)	2019	DBLP DOI BibTeX RDF
22	Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad	Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services.	ISCC	2019	DBLP DOI BibTeX RDF
22	Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan 0001, Moshe Y. Vardi	Unbounded Orchestrations of Transducers for Manufacturing.	AAAI	2019	DBLP DOI BibTeX RDF
22	Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins	Exploiting MDE for Platform-Independent Testing of Service Orchestrations.	EDCC	2019	DBLP DOI BibTeX RDF
22	Davide Basile 0001, Maurice H. ter Beek, Rosario Pugliese	Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.	COORDINATION	2019	DBLP DOI BibTeX RDF
22	Joel Scheuner, Philipp Leitner 0001	Transpiling Applications into Optimized Serverless Orchestrations.	FAS*W@SASO/ICAC	2019	DBLP DOI BibTeX RDF
22	Konstantinos Fysarakis, George Spanoudakis, Nikolaos E. Petroulakis, Othonas Soultatos, Arne Bröring, Tobias Marktscheffel	Architectural Patterns for Secure IoT Orchestrations.	GIoTS	2019	DBLP DOI BibTeX RDF
22	Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan 0001	Synthesis of Orchestrations of Transducers for Manufacturing.	AAAI	2018	DBLP DOI BibTeX RDF
22	Johann Eder, Marco Franceschetti, Julius Köpke	Controllability of Orchestrations with Temporal SLA: Encoding Temporal XOR in CSTNUD.	iiWAS	2018	DBLP DOI BibTeX RDF
22	Joaquim Gabarró, Sergio Leon Gaixas, Maria J. Serna	The computational complexity of QoS measures for orchestrations - The computational complexity of QoS measures.	J. Comb. Optim.	2017	DBLP DOI BibTeX RDF
22	Metta Santiputri, Aditya Ghose, Hoa Khanh Dam, Suman Roy 0001	Goal Orchestrations: Modelling and Mining Flexible Business Processes.	ER	2017	DBLP DOI BibTeX RDF
22	Tarek Zernadji, Chouki Tibermacine, Cherif Foudil, Amina Zouioueche	Integrating quality requirements in engineering web service orchestrations.	J. Syst. Softw.	2016	DBLP DOI BibTeX RDF
22	Victor W. Chu, Raymond K. Wong 0001, Fang Chen 0001, Chi-Hung Chi	Interrelationships of Service Orchestrations.	ADMA	2016	DBLP DOI BibTeX RDF
22	Matthieu Perrin, Claude Jard, Achour Mostéfaoui	Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.	CoRR	2015	DBLP BibTeX RDF
22	Okba Tibermacine, Chouki Tibermacine, Cherif Foudil	A process to identify relevant substitutes for healing failed WS-* orchestrations.	J. Syst. Softw.	2015	DBLP DOI BibTeX RDF
22	Shaya Pourmirza, Remco M. Dijkman, Paul W. P. J. Grefen	Correlation Mining: Mining Process Orchestrations Without Case Identifiers.	ICSOC	2015	DBLP DOI BibTeX RDF
22	Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro	The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
22	Jorge Castro, Joaquim Gabarró, Maria J. Serna, Alan Stewart	The Robustness of Periodic Orchestrations in Uncertain Evolving Environments.	ECSQARU	2015	DBLP DOI BibTeX RDF
22	Matthieu Perrin, Claude Jard, Achour Mostéfaoui	Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.	NETYS	2015	DBLP DOI BibTeX RDF
22	Dessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova	TASSA: Testing Framework for Web Service Orchestrations.	AST@ICSE	2015	DBLP DOI BibTeX RDF
22	Leonardo Bartoloni, Antonio Brogi, Ahmad Ibrahim 0001	Automated Prediction of the QoS of Service Orchestrations: PASO at Work.	ESOCC Workshops	2015	DBLP DOI BibTeX RDF
22	Salvatore Distefano, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola	Dependability Assessment of Web Service Orchestrations.	IEEE Trans. Reliab.	2014	DBLP DOI BibTeX RDF
22	Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen	QoS-aware management of monotonic service orchestrations.	Formal Methods Syst. Des.	2014	DBLP DOI BibTeX RDF
22	Albert Benveniste, Claude Jard, Samy Abbes	Application of branching cells to QoS aware service orchestrations.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
22	Joaquim Gabarró, Maria J. Serna, Alan Stewart	Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles.	Comput. J.	2014	DBLP DOI BibTeX RDF
22	Francisco Gamboa Quintanilla, Olivier Cardin, Pierre Castagna	Product Specification for Flexible Workflow Orchestrations in Service Oriented Holonic Manufacturing Systems.	Service Orientation in Holonic and Multi-Agent Manufacturing and Robotics	2014	DBLP DOI BibTeX RDF
22	Leonardo Bartoloni, Antonio Brogi, Ahmad Ibrahim 0001	Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach.	ICSOC	2014	DBLP DOI BibTeX RDF
22	Tarek Zernadji, Chouki Tibermacine, Cherif Foudil	Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach.	WICSA	2014	DBLP DOI BibTeX RDF
22	Jelena Matkovic, Kresimir Fertalj	Formal checking of WS-BPEL orchestrations.	MIPRO	2014	DBLP DOI BibTeX RDF
22	Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem	A Formal Approach for the Validation of Web Service Orchestrations.	Int. J. Web Portals	2013	DBLP DOI BibTeX RDF
22	Nabil Fakhfakh, Hervé Verjus, Frédéric Pourraz, Patrice Moreaux	QoS aggregation for service orchestrations based on workflow pattern rules and MCDM method: evaluation at design time and runtime.	Serv. Oriented Comput. Appl.	2013	DBLP DOI BibTeX RDF
22	Alan Stewart, Joaquim Gabarró, Anthony Keenan	Reasoning about orchestrations of web services using partial correctness.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
22	Dessislava Petrova-Antonova, Sylvia Ilieva, Vera Stoyanova, Ilina Manova, Valentin Pavlov	An Automated Approach for Fault Injection Testing of BPEL Orchestrations.	EuroSPI	2013	DBLP DOI BibTeX RDF
22	Selim Kalayci, Seyed Masoud Sadjadi	Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations.	SEKE	2013	DBLP BibTeX RDF
22	Jörg Lenhard, Simon Harrer, Guido Wirtz	Measuring the Installability of Service Orchestrations Using the Square Method.	SOCA	2013	DBLP DOI BibTeX RDF
22	Vera Stoyanova, Dessislava Petrova-Antonova, Sylvia Ilieva	Automation of Test Case Generation and Execution for Testing Web Service Orchestrations.	SOSE	2013	DBLP DOI BibTeX RDF
22	Selma Suloglu, Riza Aktunc, Mustafa Yucefaydali	Verification of variable service orchestrations using model checking.	QASBA@ISSTA	2013	DBLP DOI BibTeX RDF
22	Thomas Demongeot	Politique de contrôle de flux d'information définie par les utilisateurs pour les orchestrations de services. Mise en oeuvre dans un orchestrateur BPEL. (Information Flow Policy Defined by Users for Service Orchestration. Implementation in a BPEL orchestrator).		2013	RDF
22	Leandro Sales Pinto	A declarative approach to self adaptive service orchestrations.		2013	RDF
22	José Antonio Mateo, Valentín Valero, Gregorio Díaz 0001	BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources	CoRR	2012	DBLP BibTeX RDF
22	Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto	DSOL: a declarative approach to self-adaptive service orchestrations.	Computing	2012	DBLP DOI BibTeX RDF
22	Malinda Kapuruge, Jun Han 0004, Alan W. Colman	Representing Service-Relationships as First Class Entities in Service Orchestrations.	WISE	2012	DBLP DOI BibTeX RDF
22	Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi	Dealing with changes in service orchestrations.	SAC	2012	DBLP DOI BibTeX RDF
22	Mohit Chamania, Edip Demirbilek, Admela Jukan, Xavier Masip-Bruin, Marcelo Yannuzzi	Using BPEL workflow processing for cross-layer orchestrations in IP-over-optical networks: A proof of concept.	NOMS	2012	DBLP DOI BibTeX RDF
22	Jörg Lenhard, Guido Wirtz	Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0.	ZEUS	2012	DBLP BibTeX RDF
22	Ryan K. L. Ko, Markus Kirchberg, Bu-Sung Lee, Elroy Chew	Overcoming Large Data Transfer Bottlenecks in RESTful Service Orchestrations.	ICWS	2012	DBLP DOI BibTeX RDF
22	Ajay Kattepur, Albert Benveniste, Claude Jard	Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations.	ICWS	2012	DBLP DOI BibTeX RDF
22	Gianpaolo Cugola, Leandro Sales Pinto, Giordano Tamburrelli	QoS-Aware Adaptive Service Orchestrations.	ICWS	2012	DBLP DOI BibTeX RDF
22	Jelena Matkovic, Kresimir Fertalj	Models for the development of Web service orchestrations.	MIPRO	2012	DBLP BibTeX RDF