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.
Filters
Analyzing Chor Specifications by Translation into FSP
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2011
Informatica (Ljubljana, Tiskana izd.)
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.
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
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.
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
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
unpublished
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.
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
2021
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.
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
2008
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.
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