A Component Model for Separation of Control Flow from Computation in Component-Based Systems

Lau, Kung-Kiu; Ukis, Vladyslav; Velasco, Perla; Wang, Zheng

doi:10.1016/j.entcs.2006.07.003

Cited by 8 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Their purpose is similar to that of connector elements that can be found in architecture description languages, e.g. [17]. The example of a component composed in series is shown in Fig.…”

Section: Specifying Serial Composition Of Componentsmentioning

confidence: 98%

A formal model of composing components: the TLA+ approach

Ryšavý

Rab

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

In this paper, a method for writing composable TLA + specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA + modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA + specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA + that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.

show abstract

“…Their purpose is similar to that of connector elements that can be found in architecture description languages, e.g. [17]. The example of a component composed in series is shown in Fig.…”

Section: Specifying Serial Composition Of Componentsmentioning

confidence: 98%

A formal model of composing components: the TLA+ approach

Ryšavý

Rab

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…Their purpose is similar to that of connector elements that can be found in many architecture description languages, e.g. [8].…”

Section: B Specifying Composition Of Componentsmentioning

confidence: 98%

A component-based approach to verification of embedded control systems using TLA<sup>+</sup>

Ryšavý

Rab

2008

2008 International Multiconference on Computer Science and Information Technology

View full text Add to dashboard Cite

The method for writing TLA + specifications that obey formal model called Masaccio is presented in this paper. The specifications consist of components, which are built from atomic components by parallel and serial compositions. Using a simple example, it is illustrated how to write specifications of atomic components and components those are products of parallel or serial compositions. The specifications have standard form of TLA + specifications hence they are amenable to automatic verification using the TLA + model-checker.

show abstract

“…To enable flexible service composition in such heterogeneous environments, control flow, data flow and computation should be orthogonal [35,36,38,76,144,201,202]. This would enable separate reasoning of concerns so system developers can focus on IoT service composition, while service developers focus on efficient service functionality [37,74,76].…”

Section: Separation Of Control Data and Computationmentioning

confidence: 99%

Evaluating IoT service composition mechanisms for the scalability of IoT systems

Arellanes

Lau

2020

Future Generation Computer Systems

Self Cite

View full text Add to dashboard Cite

The Internet of Things (IoT) is an emerging paradigm where practically every (physical and virtual) thing will be interconnected through innovative distributed services. Since the number of connected things is rapidly growing, IoT systems will require the composition of plenty of services into complex workflows. Thus, scalability in terms of the size of IoT systems becomes a significant concern. In this paper, we review and evaluate the fundamental semantics of existing IoT service composition mechanisms to determine how well they fulfil the scalability requirements of IoT systems. We identify scalability desiderata and, accordingly, our findings show that dataflows, orchestration and choreography do not fully satisfy such desiderata, unlike a novel composition mechanism called DX-MAN.

show abstract

A Component Model for Separation of Control Flow from Computation in Component-Based Systems

Cited by 8 publications

References 12 publications

A formal model of composing components: the TLA+ approach

A formal model of composing components: the TLA+ approach

A component-based approach to verification of embedded control systems using TLA<sup>+</sup>

Evaluating IoT service composition mechanisms for the scalability of IoT systems

Contact Info

Product

Resources

About