This page has only limited features, please log in for full access.
There is a large number of complex software systems that have reactive behavior. As for any other software system, reactive systems are subject to evolution demands. This paper defines a set requirements that must be fulfilled so that reuse of reactive software systems can be increased. Detailed analysis of a set of representative languages reveals that these requirements are not completely fulfilled by the current programming languages and as such reuse of reactive systems remains a challenge. This paper explains Event Composition Model and its implementation the EventReactor language, which fulfill the requirements. By means of an example, the suitability of the EventReactor language in creating reusable reactive systems is illustrated.
Somayeh Malakuti; Mehmet Aksit. Event-Based Modularization of Reactive Systems. Transactions on Petri Nets and Other Models of Concurrency XV 2014, 367 -407.
AMA StyleSomayeh Malakuti, Mehmet Aksit. Event-Based Modularization of Reactive Systems. Transactions on Petri Nets and Other Models of Concurrency XV. 2014; ():367-407.
Chicago/Turabian StyleSomayeh Malakuti; Mehmet Aksit. 2014. "Event-Based Modularization of Reactive Systems." Transactions on Petri Nets and Other Models of Concurrency XV , no. : 367-407.
Runtime verification (RV) facilitates detecting the failures of software during its execution. Due to the complexity of RV techniques, there is an increasing interest in achieving abstractness, modularity, and compose-ability in their implementations by means of dedicated linguistic mechanisms. This paper defines a design space to evaluate the existing domain-specific languages for implementing RV techniques, and identifies the shortcomings of a representative set of these languages with respect to the design space. This paper advocates the need for a language composition framework, which offers the necessary mechanisms to achieve abstractness, modularity, and compose-ability in the implementation of domain-specific crosscutting concerns such as the concerns of RV techniques. We explain event modules as novel linguistic abstractions for modular implementation of domain-specific crosscutting concerns. This paper discusses the implementation of event modules in the EventReactor language, and illustrates the suitability of event modules to implement RV techniques by means of two complementary examples.
Somayeh Malakuti; Mehmet Akşit. Event Modules. Transactions on Petri Nets and Other Models of Concurrency XV 2014, 8400, 27 -69.
AMA StyleSomayeh Malakuti, Mehmet Akşit. Event Modules. Transactions on Petri Nets and Other Models of Concurrency XV. 2014; 8400 ():27-69.
Chicago/Turabian StyleSomayeh Malakuti; Mehmet Akşit. 2014. "Event Modules." Transactions on Petri Nets and Other Models of Concurrency XV 8400, no. : 27-69.