392 Hits in 5.0 sec

Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation [article]

Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert
2021 arXiv   pre-print
The algorithm is implemented in a proof-of-concept prototype, including a model checker for verifying compliance.  ...  Hence, providing automatic compliance verification in process choreographies is crucial for any cross-organizational business process.  ...  Acknowledgment This work is jointly supported by COMET SBA-K1 and the Austrian Research Promotion Agency (FFG) via (i) project number 874019, and (ii) the "Austrian Competence Center for Digital Production  ... 
arXiv:2110.09399v2 fatcat:2zyglpljirggpabmyqlny7fvai

Contract-Driven Implementation of Choreographies [chapter]

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
2009 Lecture Notes in Computer Science  
Choreographies and Contracts are important concepts in Service Oriented Computing.  ...  Exploiting some of our previous results about choreography projection and contract refinement, we show how to solve the problem of implementing a choreography via the composition of already available services  ...  We also thank the members of the SENSORIA project for numerous insightful discussions about choreography and contract languages.  ... 
doi:10.1007/978-3-642-00945-7_1 fatcat:y5wm2zcbtnctvdz223b7hzefrm

Event based choreography

Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
2010 Science of Computer Programming  
In particular, we address the problem of verifying compliance and consistency between the design of service interactions and the choreography constraints.  ...  Two different approaches can be adopted to tackle service coordination: orchestration and choreography.  ...  In particular, we address the problem of verifying compliance and consistency between the design of service interactions and the choreography constraints.  ... 
doi:10.1016/j.scico.2010.02.009 fatcat:mnuwgih535gjdau6i7qpifcgoi

Choreographies in the wild

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
2015 Science of Computer Programming  
We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour.  ...  In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise a choreography.  ...  We would like to thank Emilio Tuosto for his (in)valuable advice, and the anonymous reviewers of ICE 2013 for their comments and suggestions.  ... 
doi:10.1016/j.scico.2014.11.015 fatcat:qgy4mgxf2jh53p7o444ovgrrem

Towards a Smart Society through Personal Assistants Employing Executable Choreographies

Lenuta Alboaie
2017 Information Systems Development  
The analysis of executable choreographies and their implementation in the real systems led us to the conclusion that it is possible to increase data privacy by using a different kind of automation made  ...  Large organizations and institutions are known to be ineffective in data safeguarding, and since these data are extremely valuable, criminal organizations or foreign governments are often effective in  ...  Verifiable choreographies underlying the implementation of all other executable choreographies model in a transparent way how private data is transmitted between classic organizations.  ... 
dblp:conf/isdevel/Alboaie17 fatcat:ix3rgz55sfgsxjpxbmbqylp4xm

Object-Oriented Choreographic Programming [article]

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2022 arXiv   pre-print
These implementations are libraries in pure Java, which developers can modularly compose in their own programs to participate correctly in choreographies.  ...  Given a choreography that defines interactions among some roles (Alice, Bob, etc.), an implementation for each role in the choreography is automatically generated by a compiler.  ...  Examples of choreographies include distributed authentication protocols [OpenID Foundation 2014; Sporny et al. 2011] , cryptographic protocols [Diffie and Hellman 1976] , and multiparty business processes  ... 
arXiv:2005.09520v3 fatcat:2urvwpdrujag5hjse7grg7zfqi

Sharing Choreographies in OpenKnowledge: A Novel Approach to Interoperability

Paolo Besana, Vivek Patkar, Adam Barker, David Robertson, David Glasspool
2009 Journal of Software  
The framework provided by OpenKnowledge, based on sharing choreographies among actors, allows the representation and enactment of the coordination aspect of guidelines and the discovery of the medical  ...  However, these architectures are still designed and enacted from a centralised perspective: a single process invokes remote services, unaware of being part of a larger, more complex workflow.  ...  This research was partially funded by the European Commission within the 6th Framework project OpenKnowledge (number 027253), by Cancer Research UK and by EPSRC grant EP/F057326/1 (the Safe and Sound 3  ... 
doi:10.4304/jsw.4.8.833-842 fatcat:c2d26gh2pbbkdadl4ckrpjfraa

Formal Certification and Compliance for Run-Time Service Environments

Howard Foster, George Spanoudakis, Khaled Mahbub
2012 2012 IEEE Ninth International Conference on Services Computing  
In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking  ...  Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking.  ...  ACKNOWLEDGEMENTS Our work reported in this paper has been supported by the EU project ASSERT4SOA -Trustworthy ICT (ICT-2009.1.4).  ... 
doi:10.1109/scc.2012.23 dblp:conf/IEEEscc/FosterSM12 fatcat:v7tuavkux5hsxdvmbk6bloerd4

Top-down business process development and execution using quality of service aspects

Florian Rosenberg, Anton Michlmayr, Schahram Dustdar
2008 Enterprise Information Systems  
In this paper we use the term Web service and service interchangeably. 2. The case study can be downloaded from*florian/ qosintegrator/.  ...  Enterprise Information Systems 473 Downloaded By: [Rosenberg, Florian] At: 10:28 24 November 2008 We also want to thank Christian Enzi for a first prototype implementation of these mappings and the tool  ...  Architecture and implementation The concepts and algorithms described in Section 3 have been implemented in Java using a simple Swing-based graphical user interface.  ... 
doi:10.1080/17517570802395626 fatcat:ybcrtv4xdngdjlfoxxtyacrw5q

Efficient Verification of MASs with Projections [chapter]

Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
2014 Lecture Notes in Computer Science  
The projection mechanism is the first step towards distributing the monitoring activity, making it safer and more efficient: the compliance of a MAS to a protocol could be dynamically verified by suitably  ...  In our recent research we used them to represent complex protocols in a very compact way, and we exploited them to dynamically verify actual agents' interactions with respect to different protocols in  ...  the agents and verifies their compliance to the ABP3.  ... 
doi:10.1007/978-3-319-14484-9_13 fatcat:p7hg7t5rizce7ilplgwgtwhuqa

An Integrated Development and Runtime Environment for the Future Internet [chapter]

Amira Ben Hamida, Fabio Kon, Gustavo Ansaldi Oliva, Carlos Eduardo Moreira Dos Santos, Jean-Pierre Lorré, Marco Autili, Guglielmo De Angelis, Apostolos Zarras, Nikolaos Georgantas, Valérie Issarny, Antonia Bertolino
2012 Lecture Notes in Computer Science  
In particular, CHOReOS explores the choreography of services paradigm. Within this project, a conceptual architecture combining both the development and runtime environments is realized.  ...  Due to the scalability and heterogeneity issues new approaches are thought in order to leverage the SOA to support a wider range of services and users.  ...  author(s) and source are credited.  ... 
doi:10.1007/978-3-642-30241-1_8 fatcat:kzedbfv5hbe63azfqisiveu3fa

Levels of Privacy for eHealth Systems in the Cloud Era

Sinica Alboaie, Lenuta Alboaie, Andrei Panu
2015 Information Systems Development  
New types of abstraction which machines can verify and humans can trust are enabled by executable choreographies that act like truly verifiable environments for cloud applications.  ...  In this paper we identify three types of executable choreographies.  ...  In e-health systems we create new risks if the technology for storing and processing in cloud those huge amounts of sensitive data do not stay on a very solid technological foundations provided by soundly  ... 
dblp:conf/isdevel/AlboaieAP15 fatcat:7oem72bw7fc55mjt5lerxs6msa

Choreographing Web Services

Adam Barker, Christopher D. Walton, David Robertson
2009 IEEE Transactions on Services Computing  
This paper introduces the Multiagent Protocols (MAP) Web service choreography language and demonstrates how service choreographies can be specified, verified, and enacted with a comparatively simple process  ...  The MAP formal syntax and model checking environment are discussed in the context of the motivating scenario, along with MagentA, an implementation of MAP which provides a concrete, and open-source framework  ...  His research agenda is pursued by modeling, evaluating, and building novel architectures and algorithms based on sound foundations in systems research.  ... 
doi:10.1109/tsc.2009.8 fatcat:z74v6tig3fac7pqfjiegw47fti

Application of Subject-Oriented Modeling in Automatic Service Composition [chapter]

Erwin Aitenbichler, Stephan Borgert
2010 Communications in Computer and Information Science  
This raises the need for a process definition language with a formal foundation and well-defined semantics.  ...  how automatic service composition is implemented in the Theseus/TEXO project.  ...  Acknowledgments This work was supported by the Theseus Programme, funded by the German Federal Ministry of Economy and Technology under the promotional reference 01MQ07012.  ... 
doi:10.1007/978-3-642-15915-2_6 fatcat:6fi4axwehzhphgcvwoa2aym2qu

Secret Smart Contracts in Hierarchical Blockchains

Sinica Alboaie, Lenuta Alboaie, Zeev Pritzker, Adrian Iftene
2019 Information Systems Development  
In our research of executable choreographies, we have come up with a more general model to implement smart contracts and a generic architecture of systems using hierarchical blockchain architecture.  ...  This article presents the results of an implementation of a new platform based on swarm communication and executable choreographies.  ...  Acknowledgments This work is partially supported by POC-A1-A1.2.3-G-2015 program, as part of the PrivateSky project (P_40_371/13/01.09.2016) and the Horizon 2020 project WeldGalaxy (Grant agreement 822106  ... 
dblp:conf/isdevel/AlboaieAPI19 fatcat:uk5wkrfitjgipi3odtf4idqzju
« Previous Showing results 1 — 15 out of 392 results