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.
Filters
JSCL: A Middleware for Service Coordination
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
This paper describes the design and the prototype implementation of a middleware, called Java Signal Core Layer (JSCL), for coordinating distributed services. ...
JSCL supports the coordination of distributed services by exploiting an event notification paradigm. ...
Middleware for coordinating services are extremely important to the success of SOAs. ...
doi:10.1007/11888116_4
fatcat:kydef6pwy5b65jwnplc6qlp42u
Event-Based Service Coordination
[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 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, we illustrate the design and the prototype implementation of Java Signal Core Layer (JSCL), a coordination middleware for services based on the event notification paradigm. ...
In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. ...
coordination policies, a model transformation that compiles a model into Java code and the JSCL middleware as runtime support. ...
doi:10.1007/978-3-540-68679-8_20
fatcat:pk233ycs3rgwdkxgqfb4ji3x6e
Global Coordination Policies for Services
2010
Electronical Notes in Theoretical 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.
In this paper, we introduce a formal methodology purposed to handle coordination among services from the perspective of a global observer, in the spirit of choreography models. ...
Two different approaches can be adopted to tackle service coordination: orchestration and choreography. ...
In [9] a middleware for service coordination called Java Signal Core Layer (JSCL) has been introduced. ...
doi:10.1016/j.entcs.2009.12.032
fatcat:pl7zkiyxy5bebddp62jpbuqgky
Choreography Rehearsal
[chapter]
2010
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.
We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. ...
We focus on choreographies exploiting the event notification paradigm to manage service interactions. ...
In [15, 21] a middleware, called Java Signal Core Layer (JSCL), supporting the design and implementation of service coordination policies has been introduced. ...
doi:10.1007/978-3-642-14458-5_2
fatcat:rihprawnxzefdb4jjnvq5bfwxq
Coordination Via Types in an Event-Based Framework
[chapter]
2007
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 2018; you can also visit the original URL.
The file type is application/pdf.
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., services). ...
Basically, the type system expresses coordination policies for handling the events spawn in a network so that distributed components react to events when the type of their public interface is "compatible ...
We also plan to validate and assess our approach on a variety of languages for programming service coordination policies. A step toward this goal would be to encode the Global Calculus [3] in XSC. ...
doi:10.1007/978-3-540-73196-2_5
fatcat:5wwxqbfuvffzrchwoesazruu5y
Checking Correctness of Transactional Behaviors
[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.
The calculus is strongly motivated by the practical needs of Service-Oriented Computing, and there exists a Java implementation, called JSCL, with a graphical modeling framework. ...
To the aim of adding to SC (and JSCL) a verification environment, in this work we introduce the abstract semantics of SC, based on bisimulation. ...
The SC-JSCL framework has been designed to support the specification, the implementation and verification of coordination policies for services oriented applications. ...
doi:10.1007/978-3-540-68855-6_9
fatcat:nsm7a7aqdzcsletrdgjhxniaby
Event based choreography
2010
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 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce a formal methodology to handle coordination among services from the perspective of a global observer, in the spirit of choreography models. ...
Two different approaches can be adopted to tackle service coordination: orchestration and choreography. ...
In [20] a middleware for service coordination called Java Signal Core Layer (JSCL) has been introduced. ...
doi:10.1016/j.scico.2010.02.009
fatcat:mnuwgih535gjdau6i7qpifcgoi
07061 Abstracts Collection – Autonomous and Adaptive Web Services
2007
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.
From 4.2.2007 to 9.2.2007, the Dagstuhl Seminar 07061 "Autonomous and Adaptive Web Services" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. ...
Basically, JSCL is a coordination language of distributed services based on an event notication paradigm and has been inspired (and its implementation driven) by the Signal Calculus, a formally dened process ...
coordinator. ...
doi:10.4230/dagsemproc.07061.1
fatcat:ld6ykwcu6bandoun7n7sqp4wwi
Designing and experimenting coordination primitives for service oriented computing
2009
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.
This thesis aims at providing new methodologies for implementing the coordination of services. ...
Our approach relies on a formal model that takes the form of a process calculus specifically designed to deal with services and their coordination. ...
for implementing coordination of services. ...
doi:10.6092/imtlucca/e-theses/20
fatcat:e4oyznaipfetroln4ywp2whldq
Using formal methods to develop WS-BPEL applications
2012
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 2019; you can also visit the original URL.
The file type is application/pdf.
In recent years, WS-BPEL has become a de facto standard language for the orchestration of Web services. ...
We believe that using Blite as a language for orchestrating services offers many significant advantages. ...
Acknowledgement We thank Luca Cesari for having contributed with his master thesis to the development of the software tool BliteC.
Appendix. ...
doi:10.1016/j.scico.2011.03.002
fatcat:6bc5gdxzlrftjbrzgqz3gpqoze
The signal calculus: beyond message based coordination for services
2009
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.
This thesis aims at the definition of foundational techniques driving the design and implementation of a programming middleware supporting the full adoption of a MDD framework for Service Oriented Computing ...
Our main contribution is the definition of a compositional model for services in the spirit of choreography. ...
Our main goal is to provide a small set of basic primitives to drive the implementation of a middleware (See Chapter 6) tailored to program service coordination policies. ...
doi:10.6092/imtlucca/e-theses/14
fatcat:6kyjhqtvbrdlnnlyztlxc2a6oe