A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2019
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IFIP/IEEE International Symposium on Integrated Network Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 Asia Pacific Software Engineering Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
-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
2012
Proceedings of the Workshop on Model-Driven Security - MDsec '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 Fourth South-East European Workshop on Formal Methods
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2012
Service Oriented Computing and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2005
IFIP International Federation for Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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