Filters








7 Hits in 4.6 sec

Analyzing Chor Specifications by Translation into FSP

Nima Roohi, Gwen Salaün, Seyyed Hassan Mirian
2009 Electronical Notes in Theoretical Computer Science  
Section 3 presents the encoding of Chor into FSP. Section 4 extends the FSP encoding to take the peer generation into account, and focuses on the realizability issue.  ...  This paper presents an encoding of the Chor choreography calculus into the FSP process algebra.  ...  Acknowledgement This work has been partially supported by project TIN2008-05932 funded by the Spanish Ministry of Innovation and Science (MICINN), and project P06-TIC-02250 funded by the Junta de Andalucía  ... 
doi:10.1016/j.entcs.2009.10.030 fatcat:2d6xctro2zaa7heighmocq73l4

Realizability and Dynamic Reconfiguration of Chor Specifications

Nima Roohi, Gwen Salaün
2011 Informatica (Ljubljana, Tiskana izd.)  
When peers corresponding to this specification are being executed we may want to modify the choreography specification and reconfigure dynamically the system.  ...  From this specification, local implementations or peers can be automatically generated.  ...  FSP was originally designed for distributed software architecture specification, and distinguishes sequential and composite processes. 3 Realizability of Chor specifications Translating Chor into FSP  ... 
dblp:journals/informaticaSI/RoohiS11 fatcat:vuex3o7ewvhffpve2cmxcszca4

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  
Roohi and Salaün [18] propose an encoding of Chor (simplified version of WS-CDL) into the FSP process algebra.  ...  In order to refine the control flow of the choreography, activity diagrams or WS-CDL specifications are translated and partitioned by ECF into several rules, written in an XML-based language called Executable  ... 
doi:10.1007/s11761-012-0125-z fatcat:r42gev2cjvg4vljovqtiotisaq

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets

Valentín Valero, Hermenegilda Macià, Juan José Pardo, María Emilia Cambronero, Gregorio Díaz
2012 Science of Computer Programming  
We also define a semantics of WS-CDL (with priorities) by means of prioritized-timed colored Petri nets.  ...  Web Service composition provides a way to obtain value-added services by combining different existing facilities, which are then able to support the integration of commercial applications.  ...  Another mapping from WS-CDL into a process algebra (FSP) is defined in [31] , where a simplified model of WS-CDL known as Chor [29] is encoded into FSP.  ... 
doi:10.1016/j.scico.2011.05.002 fatcat:eerngks2qzhf3agp4qjirm3q4i

Special Issue: Autonomic and Self-Adaptive Systems

Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano, Anton Železnikar, Matjaž Gams, Jožef Stefan, Drago Torkar, Jožef Stefan, Editorial Board, Juan Carlos, Augusto, Argentina (+10 others)
2011 unpublished
Acknowledgements This work has been partially supported by the project TIN2008-05932 funded by the Spanish Ministry of Science and Innovation, and project P06-TIC-02250 funded by the Andalusian local Government  ...  Acknowledgement This work is partially supported by the project TIN2008-05932 funded by the Spanish Ministry of Science and Innovation (MICINN) and FEDER.  ...  Definition 1 (Chor into FSP).  ... 
fatcat:uxt44kwsmjguhhde6jke4hypje

Deriving Distributed Design Models from Global Requirements Models

Mohammad Fawzi Ahmad Al-Hammouri, University, My
2021
The global requirements model describes the behavior of a distributed system in an abstract manner by defining the local actions to be performed by different roles which represent actors in the different  ...  For the other cases, we show how a conforming design model can be obtained by introducing a minimal number of coordination messages.  ...  They propose an encoding from Chor to the FSP algebra, which is supported by the LTSA toolbox.  ... 
doi:10.20381/ruor-26305 fatcat:avledjjocvd2zoaql3z4bdebjq

Thermal Evolution of the Mid-Crust From the Himalayan Orogen

Jennifer Ann Chambers
2008
Samarium-neodymium garnet geochronology was hampered by Ca-bearing Nd-rich garnet inclusions (e.g. allanite).  ...  Initial exhumation of the Haimanta Group was accompanied by further heating, from 610-620 °C up to 660 °C at c. 23 Ma; further exhumation (at c. 1.3 mm/yr) to a depth of c. 7 km during the Early Miocene  ...  Fig. 4. 7 7 Back scatter electron images of garnets analyzed using LA-ICPMS.  ... 
doi:10.21954/ou.ro.0000f259 fatcat:cl4wwpv3mrfcrgouzduqeany6u