Orchestrating web services using Reo: from circuits and behaviors to automatically generated code

Jongmans, Sung-Shik; Santini, Francesco; Sargolzaei, M.; Arbab, Farhad

doi:10.1007/s11761-013-0147-1

Cited by 17 publications

(18 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Diverse research activities originated from Reo throughout the years, mostly aimed at (i) analysing the formal properties of both Reo connectors and constraints automata [10], which are the computational model behind Reo semantics; and (ii) supporting web services orchestration [54], composition, and verification [55] by means of code generation and verification tools.…”

Section: Iic Interactive Interaction Constraints (Iic)mentioning

confidence: 99%

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

Ciatto

Mariani

Louvel

et al. 2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Since complexity of inter-and intra-systems interactions is steadily increasing in modern application scenarios (e.g., the IoT), coordination technologies are required to take a crucial step towards maturity. In this paper we look back at the history of the COORDINATION conference in order to shed light on the current status of the coordination technologies there proposed throughout the years, in an attempt to understand success stories, limitations, and possibly reveal the gap between actual technologies, theoretical models, and novel application needs.

show abstract

Section: Iic Interactive Interaction Constraints (Iic)mentioning

confidence: 99%

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

Ciatto

Mariani

Louvel

et al. 2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…It is therefore advised to deal with these two perspectives separately through different notations and standards for business process modeling and coordination. With this strategy, we have used Reo [11] as a graphical coordination language, only to implement the coordination aspects of web services.…”

Section: Related Workmentioning

confidence: 99%

Service Oriented Collaborative Network Architecture

Sargolzaei

2017

Collaboration in a Data-Rich World

Self Cite

View full text Add to dashboard Cite

A service-oriented collaborative network (SOCN) supports collaboration among a network of organizations through their shared business services. SOCN in comparison with traditional collaborative networks, promotes and simplifies reusability and interconnection of shared software services, in a distributed manner. Our work contributes to comprehensive support of software service oriented collaboration among networked organizations enabling semi-automated service discovery, selection, and composition in collaborative environments. With the help of an organizational monitoring tool, we improve the accuracy of claimed characteristics based on non-functional criteria of services. The reference framework and implementation architecture are defined in this paper to support implementing SOCN.

show abstract

“…Moreover, Reo has a formal foundation, which enables formal analysis of connectors (e.g., model checking [41]). This makes statically verifying that a given protocol does not dead- Reo has been successfully used as a language for expressing orchestration protocols for composition of Web services [37,38]. The previous software engineering advantages of Reo aside, one of the main differences between Reo and Bpel [53], generally considered the most important orchestration language in industry [8,55], is that Reo is declarative [38]: in Reo, one specifies what-instead of howinteraction among services takes place.…”

Section: Contextmentioning

confidence: 99%

“…This makes statically verifying that a given protocol does not dead- Reo has been successfully used as a language for expressing orchestration protocols for composition of Web services [37,38]. The previous software engineering advantages of Reo aside, one of the main differences between Reo and Bpel [53], generally considered the most important orchestration language in industry [8,55], is that Reo is declarative [38]: in Reo, one specifies what-instead of howinteraction among services takes place. Given the success of declarative programming (e.g., logic programming and functional programming) in many areas of computer science, the availability of a declarative language for orchestrating services has value: developers accustomed to declarative programming may prefer Reo's style over Bpel's imperative style.…”

Section: Contextmentioning

confidence: 99%

Partially distributed coordination with Reo and constraint automata

Jongmans

Santini

Arbab

2015

SOCA

Self Cite

View full text Add to dashboard Cite

Coordination languages, such as Reo, have emerged for the specification and implementation of interaction protocols among concurrent entities, manifested as connectors. In this paper, we describe a theoretical justification and a practical proof-of-concept tool for automatically generating partially distributed, partially centralized implementations of Reo connectors. Such implementations have three performance advantages: faster compilation at build time (compared to a purely centralized approach), reduced latency at run time (compared to a purely distributed approach), and improved parallelism at run time (compared to a purely centralized approach). Our theory relies on the definition of a new product operator on constraint automata (Reo's formal semantics), which we use to formally justify distributions of disjoint parts of a coordination scheme over different machines according to several possible motivations (e.g., performance, QoS constraints, privacy, resource availability, and network topology). To exemplify our work, in a case study, we show and explain how a generated connector implementation can be executed.

show abstract

Orchestrating web services using Reo: from circuits and behaviors to automatically generated code

Cited by 17 publications

References 28 publications

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

Service Oriented Collaborative Network Architecture

Partially distributed coordination with Reo and constraint automata

Contact Info

Product

Resources

About