Filters








5,596 Hits in 5.3 sec

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services [article]

Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2020 arXiv   pre-print
Firstly, we modify the classical synthesis algorithm from supervisory control theory for obtaining the so-called most permissive controller in order to synthesise orchestrations and choreographies of service  ...  contracts formalised as contract automata.  ...  Acknowledgments We acknowledge useful comments from the reviewers and funding from the MIUR PRIN 2017FTXR7S project IT MaTTerS (Methods and Tools for Trustworthy Smart Systems).  ... 
arXiv:1910.00849v4 fatcat:ss2n5l5e7rahjbtgmmlcighe3a

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2019 Logical Methods in Computer Science  
Firstly, we modify the classical synthesis algorithm from supervisory control theory for obtaining the so-called most permissive controller in order to synthesise orchestrations and choreographies of service  ...  contracts formalised as contract automata.  ...  Acknowledgments We acknowledge useful comments from the reviewers and funding from the MIUR PRIN 2017FTXR7S project IT MaTTerS (Methods and Tools for Trustworthy Smart Systems).  ... 
doi:10.23638/lmcs-16(2:9)2020 fatcat:3uzxsi57qzd6nmnp47pwfajzbi

Monitoring probabilistic SLAs in Web service orchestrations

Sidney Rosario, Albert Benveniste, Claude Jard
2009 2009 IFIP/IEEE International Symposium on Integrated Network Management  
In this paper we propose a statistical technique for QoS contract run time monitoring. Our technique is compatible with the use of soft probabilistic contracts.  ...  Quality of Service (QoS) issues for Web service orchestrations deeply differ from corresponding QoS issues in network management.  ...  Then, we introduce the notion of monotonic orchestration and probabilistic contracts. The core of the paper is dedicated to the synthesis of monitors for each contracted service.  ... 
doi:10.1109/inm.2009.5188851 dblp:conf/im/RosarioBJ09 fatcat:vlfwktgtdjb5femv2o7apm27jy

Controller synthesis of service contracts with variability

Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2019 Science of Computer Programming  
Contract automata are a recently introduced formalism for specifying and composing service contracts.  ...  Based on the notion of synthesis of the most permissive controller from Supervisory Control Theory, a safe orchestration of contract automata can be computed that refines a composition into a compliant  ...  A revised algorithm for synthesising an orchestration of services for a single valid product. 4.  ... 
doi:10.1016/j.scico.2019.102344 fatcat:doaktrpqabaybk4soomf4xrvve

Model-Based Methods for Linking Web Service Choreography and Orchestration

Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan
2010 2010 Asia Pacific Software Engineering Conference  
Web service orchestration describes collaboration of the Web services in predefined patterns based on local decision about their interactions with one another at the message/execution level.  ...  Building on the strength of model checking techniques, Web service choreography and orchestration are verified against temporal properties or against each other (to show that they are consistent).  ...  PROTOTYPE SYNTHESIS Given a choreography as a contract among multiple organizations, it is vital to guarantee that not only the contract is implementable but also it can be implemented in a non-ambiguous  ... 
doi:10.1109/apsec.2010.28 dblp:conf/apsec/SunLDPT10 fatcat:t2dynevbbrb3xepceuih3iz7ay

Preface to the VECoS 2018 special issue of ISSE

Mohamed Faouzi Atig, Simon Bliudze
2020 Innovations in Systems and Software Engineering  
-The paper "Timed service contract automata" by Basile et al.  ...  [6] introduces a new formal model, Timed Service Contract Automata (TSCA), to rigorously reason about the creation, matching (offer, request, agreement), and composition (orchestration) of services  ... 
doi:10.1007/s11334-020-00365-4 fatcat:d7glmvypn5a2vap3b44aswnipu

A tool for the synthesis of cryptographic orchestrators

V. Ciancia, F. Martinelli, I. Matteucci, M. Petrocchi, J. A. Martín, E. Pimentel
2012 Proceedings of the Workshop on Model-Driven Security - MDsec '12  
Also, it tries to simplify the approach in [6] for the synthesis of deadlock-free orchestrators that are compliant with security adaptation contracts [7] .  ...  In this paper, we present a theoretical model and an automated tool for the synthesis and verification of service orchestrators which are both functionally correct and secure.  ... 
doi:10.1145/2422498.2422508 dblp:conf/models/CianciaMMPMP12 fatcat:e27yn2a4t5hu7olcl3bsxhceca

Model-Based Adaptation of Software Communicating via FIFO Buffers [chapter]

Carlos Canal, Gwen Salaün
2015 Lecture Notes in Computer Science  
Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch  ...  All the interactions among peers pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch.  ...  Then, a behavioural controller (a transition system) is synthesised for the product net of the services and the engine. Adapters are finally implemented in the BPEL orchestration language.  ... 
doi:10.1007/978-3-662-46675-9_17 fatcat:iq43pvo3zfewvozes5muyq42eu

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques [chapter]

Radu Mateescu, Pascal Poizat, Gwen Salaün
2008 Lecture Notes in Computer Science  
We take service description languages as inputs of the adaptation process and we implement adaptors as centralized service compositions, i.e., orchestrations.  ...  ., services, have seldom been developed to integrate and to cope with the application requirements.  ...  by the French National Agency for Research.  ... 
doi:10.1007/978-3-540-89652-4_10 fatcat:g4hqxkz4qnekfh4iwg5oszla4m

Secure Service Composition with Symbolic Effects

Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2009 2009 Fourth South-East European Workshop on Formal Methods  
They are amenable for developers since they provide for a full compositionality (through scope nesting), for a simple, automaton-like structure and for a direct enforcing through a corresponding execution  ...  Local policies represent security properties that are applied to (parts of) programs or services.  ...  Instead, our approach aims to check partial service composition without relying on any global orchestrator. In [13] a framework for the synthesis of orchestrators is presented.  ... 
doi:10.1109/seefm.2009.13 fatcat:elvfltffhnfzpobz4mgjwlo5wa

A systematic literature review of service choreography adaptation

Leonardo A. F. Leite, Gustavo Ansaldi Oliva, Guilherme M. Nogueira, Marco Aurélio Gerosa, Fabio Kon, Dejan S. Milojicic
2012 Service Oriented Computing and Applications  
Dynamic contracts control interactions between services by setting and measuring non-functional requirements for these interactions.  ...  [14] argue that current web services technology does not meet real business needs.  ... 
doi:10.1007/s11761-012-0125-z fatcat:r42gev2cjvg4vljovqtiotisaq

5G PPP Architecture Working Group - View on 5G Architecture, Version 4.0

Anastasius Gavras, Ömer Bulakci, Marco Gramaglia, Marius Iordache, Mir Ghoraishi, Antonio Garcia, Tezcan Cogalan, Jesús Gutiérrez, Anna Tzanakaki, Dan Warren, Xi Li, Giada Landi (+4 others)
2021 Zenodo  
projects, thus, discussing the latest findings in terms of the integration of large infrastructure and vertical industries, also known as verticals, the long-term evolution of the 5G technologies and the service-specific  ...  Smart contracts are ultimately providing autonomous near real-time execution of contract lifecycle stages, from creation, monitoring & SLA enforcement through to settlement, disbursement and finally termination  ...  Smart Contracts will mirror that of the real-world contract and encapsulate logic to automate the calculation of SLA compliance.  ... 
doi:10.5281/zenodo.5155657 fatcat:xbjiccshe5cnvfurrh345dynue

ARTICONF: Towards a Smart Social Media Ecosystem in a Blockchain Federated Environment

Radu Prodan, Nishant Saurabh, Zhiming Zhao, Kate Orton-Johnson, Antorweep Chakravorty, Aleksandar Karadimce, Alexandre Ulisses
2019 Zenodo  
decentralised and tokenized decision-making and reasoning; (3) elastically autoscale time-critical social media applications through an adaptive orchestrated Cloud edge-based infrastructure meeting application  ...  The ARTICONF project funded by the European Horizon 2020 program addresses issues of trust, time-criticality and democratisation for a new generation of federated infrastructure, to fulfil the privacy,  ...  This is seamlessly coupled with distributed blockchain-based services for early alert, real-time tracking and updated data triggers for reach and engagement analysis of events.  ... 
doi:10.5281/zenodo.3580716 fatcat:rep63fbjdjaclchcbqcydocm6e

Service Interface Translation. An Interoperability Approach

Cristina Paniagua
2021 Applied Sciences  
The proposed solution is based on service interface translation, which is achieved via the generation of service interfaces.  ...  This paper approaches the interoperability problem from a service interface perspective. A novel approach is presented to address service interface heterogeneity.  ...  Acknowledgments: The authors thank the European Commission and the Arrowhead Tools project (EU ECSEL Joint Undertaking under grant agreement number 826452) for funding.  ... 
doi:10.3390/app112411643 fatcat:6gouqa6zlbh4zlsir4a5m2evdm

Towards Dynamic Composition of E-Government Services [chapter]

Ivo J. G. dos Santos, Edmundo R. M. Madeira, Volker Tschammer
2005 IFIP International Federation for Information Processing  
The demands for the on-line delivery of each time more complex and citizen-centric services and also the need for enabling citizen participation in governmental processes and decisions have created a series  ...  If, on one hand, Service Oriented Architecture (SOA) appears as a natural and direct solution for problems like heterogeneity, on the other, issues like how to deal with the dynamism of the processes,  ...  ACKNOWLEDGEMENTS The authors would like to thank CAPES, CNPq and the WebMaps project for financial support. Additional thanks to the Fraunhofer FOKUS Institute and its ELAN Competence Center.  ... 
doi:10.1007/0-387-29773-1_12 fatcat:lbimos252ncbfmdebwj6fmrchm
« Previous Showing results 1 — 15 out of 5,596 results