This page has only limited features, please log in for full access.

Prof. Dr. Mehmet Aksit
1. Department of Computer Science, Twente University, Enschede, The Netherlands

Basic Info

Basic Info is private.

Research Keywords & Expertise

0 Smart Cities
0 Software Architecture
0 Software Engineering
0 Aspect-oriented programming
0 Digital ecosystems

Honors and Awards

The user has no records in this section


Career Timeline

The user has no records in this section.


Short Biography

The user biography is not available.
Following
Followers
Co Authors
The list of users this user is following is empty.
Following: 0 users

Feed

Book chapter
Published: 01 January 2014 in Transactions on Petri Nets and Other Models of Concurrency XV
Reads 0
Downloads 0

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.

ACS Style

Somayeh Malakuti; Mehmet Aksit. Event-Based Modularization of Reactive Systems. Transactions on Petri Nets and Other Models of Concurrency XV 2014, 367 -407.

AMA Style

Somayeh Malakuti, Mehmet Aksit. Event-Based Modularization of Reactive Systems. Transactions on Petri Nets and Other Models of Concurrency XV. 2014; ():367-407.

Chicago/Turabian Style

Somayeh Malakuti; Mehmet Aksit. 2014. "Event-Based Modularization of Reactive Systems." Transactions on Petri Nets and Other Models of Concurrency XV , no. : 367-407.

Book chapter
Published: 01 January 2014 in Transactions on Petri Nets and Other Models of Concurrency XV
Reads 0
Downloads 0

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.

ACS Style

Somayeh Malakuti; Mehmet Akşit. Event Modules. Transactions on Petri Nets and Other Models of Concurrency XV 2014, 8400, 27 -69.

AMA Style

Somayeh Malakuti, Mehmet Akşit. Event Modules. Transactions on Petri Nets and Other Models of Concurrency XV. 2014; 8400 ():27-69.

Chicago/Turabian Style

Somayeh Malakuti; Mehmet Akşit. 2014. "Event Modules." Transactions on Petri Nets and Other Models of Concurrency XV 8400, no. : 27-69.