Automatic Code Generation for the Orchestration of Web Services with Reo

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

doi:10.1007/978-3-642-33427-6_1

Cited by 26 publications

(32 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…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%

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

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

show abstract

“…We also use the formal notation of constraint automaton [18] for specification of the external behavior of a service. In this formalism, a web service is represented as a sequence of operations in which there are some constraints defined on operations' invocation order [19]. …”

Section: Meta Datamentioning

confidence: 99%

“…There is therefore, a constraint automaton generated for each service which should be captured within the behavior registry. The data structure of this registry is formed of state tables which store current state, next state, ports (operation names) and data constraints of constraint automaton [19]. Behavior registry of services is needed to generate final executable code for integrated services, as described in the next subsections.…”

Section: Registering Of Servicesmentioning

confidence: 99%

“…But, some essential activities like communication between web services and the Reo circuits, and generating executable code from a circuit diagram cannot be done by ECT. Therefore, we need a wrapper to connect web services to the boundary nodes of Reo circuits as Reo components, to communicate with web services and exchange data via SOAP message, and also translate Reo circuits to java code [19]. Using wrapper provides interaction among the running software services in a way coordinated by the Reo circuits and also dynamic and automatic service invocation.…”

Section: Integration Of Servicesmentioning

confidence: 99%

“…Furthermore, to generate final executable code for a composed service, we need its syntactic metadata and behavioral properties of selected services. We have described more details about the design and the current implementation of this wrapper in another paper [19]. As shown in Figure 1 This paper addresses the design of a framework to assist service providers in a collaborative networks, e.g.…”

Section: Integration Of Servicesmentioning

confidence: 99%

See 2 more Smart Citations

A Framework for Automated Service Composition in Collaborative Networks

Sargolzaei

Shadi

2012

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

A framework for automated service composition in collaborative networksAfsarmanesh, H.; Sargolzaei, M.; Shadi, M. General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. Abstract. This paper proposes a novel framework for automated software service composition that can significantly support and enhance collaboration among enterprises in service provision industry, such as in tourism insurance and e-commerce collaborative networks (CNs). Sharing/integration of software services in CNs, as well as interoperation among implemented software services in this industry, are quite challenging. There is currently no machine readable standard notation that can unambiguously define the behavior of the software that implements the business processes, however typically enterprises in service industry formalize the definition of their on-line business services using standard business process modeling notation, such as BPMN. Our proposed framework is founded on service oriented architecture (SOA) paradigm. In the proposed framework, software services implementing on-line business services that are provided by different enterprises will be formally defined, using an extended BPMN notation to capture their semantics and behavior, as well as the WSDL notation to capture their syntax. Furthermore, the syntax, semantics and behavior of these software services will be registered in a service repository for the CN, so service discovery in this framework can go far beyond the current practice of service search by name, and can be even based on actual service behavior. The paper addresses enhancement of automated software service integration in CNs, through the application of the Reo coordination language, which is used to formalize the interaction among the composed services. The main reason for using Reo in this context is that it supports separating the computations needed by software components in an integrated system from their interactions. The suggested framework provides more flexibility and adaptability as well as cost-effectiveness in service composition, as to be supported in collaborative networks.

show abstract

Reo Coordination Model for Simulation of Quantum Internet Software

Ardeshir-Larijani

Arbab

2018

Software Technologies: Applications and Foundations

Self Cite

View full text Add to dashboard Cite

The novel field of quantum technology is being promoted by academia, governments and industry. Quantum technologies offer new means for carrying out fast computation as well as secure communication, using primitives that exploit peculiar characteristics of quantum physics. While building quantum computing devices remains a challenge, the area of quantum communication and cryptography has been successful in reaching industrial applications. In particular, recently, plans for building quantum internet have been put into action and expected to be launched by 2020 in the Netherlands. Quantum internet uses quantum communication as well as quantum entanglement along with classical communication. This makes design of software platform for quantum networks very challenging and a daunting task. Seamless design and testing of platforms for quantum software, thus, becomes a necessity to develop complex simulators for this kind of networks. In this short paper, we argue that using coordination models such as Reo can significantly simplify the development of software applications for quantum internet. Moreover, formal verification of such quantum software becomes possible, thanks to the separation of concerns, compositionality, and reusability of Reo models. This paper introduces an extension of a recently developed simulator for quantum internet (SimulaQron) by incorporating Reo models extended with quantum data and operations, along with classical data. We explain the main concepts and our plan for implementing this extension as a new tool: SimulaQ(reo)n.

show abstract

Automatic Code Generation for the Orchestration of Web Services with Reo

Cited by 26 publications

References 9 publications

Partially distributed coordination with Reo and constraint automata

Partially distributed coordination with Reo and constraint automata

A Framework for Automated Service Composition in Collaborative Networks

Reo Coordination Model for Simulation of Quantum Internet Software

Contact Info

Product

Resources

About