Filters








11 Hits in 2.6 sec

JSCL: A Middleware for Service Coordination [chapter]

Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
2006 Lecture Notes in Computer Science  
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]

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2008 Lecture Notes in Computer Science  
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

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2010 Electronical Notes in Theoretical Computer Science  
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]

Chiara Bodei, Gian Luigi Ferrari
2010 Lecture Notes in Computer Science  
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]

Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2007 Lecture Notes in Computer Science  
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]

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2008 Lecture Notes in Computer Science  
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

Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
2010 Science of Computer Programming  
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

Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007
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

Daniele Strollo
2009
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

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2012 Science of Computer Programming  
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

Roberto Guanciale
2009
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