Please cite this article in press as: M. Dausend, A. Raschke, Towards a Comprehensive Extension of Abstract State Machines for Aspect-Oriented Specification, Sci. Comput. Program. (2016), http://dx.
AbstractWith the paradigm of aspect-orientation, a developer is able to separate the code of so-called cross-cutting concerns from the rest of the program's logic. This possibility is useful for formal specifications, too. For example, security aspects can be separated from the rest of the specification. Those aspect-oriented specifications often can be more easily reused than extensions that are implemented directly into an existing specification. Another use case is the extension of a specification with new functionality or features. Although this would be possible with refinement too, with aspect-orientation it is not necessary to augment the original specification with "extension points" that can be used for refinement. This paper describes the implementation of the aspect-oriented approach in Abstract State Machines. We introduce an aspect language with its syntax and formal semantics. It allows for specifying pointcuts where an original specification is augmented according to an aspect specification. Besides the general overview of this language extension, some ASM specific features of the realization are depicted in detail. The applicability of aspect-oriented specification in the context of ASM is demonstrated by means of examples, e. g. implementing a fading aspect into the light control system specification of a former ASM case study. Finally, the paper gives a brief overview about the developed tool that supports the writing of aspect-oriented ASMs.
Zusammenfassung
Komplexe interaktive Anwendungen stellen sowohl für die Nutzer als auch für die Entwickler eine große Herausforderung dar, z.B. das Infotainmentsystem moderner Fahrzeuge. Dem Nutzer wird Multimodalität (Sprachbedienung neben der grafisch-haptischen Bedienung) angeboten, um die Ablenkung während des Fahrens zu reduzieren. Da die Kombination der verschiedenen Interaktionsmöglichkeiten die Komplexität der Anwendung deutlich erhöht, ist es notwendig, schon die Entwicklung dieser Systeme möglichst optimal zu unterstützen. Wir stellen einen Ansatz zur Modellierung multimodaler interaktiver Anwendungen in Form einer domänenspezifischen Modellierungssprache vor. UML-Zustandsautomaten werden in erweiterter Form verwendet. Benutzerschnittstellen verschiedener Modalitäten werden zu ausführbaren Modellen kombiniert, so dass eine interaktive Simulation der Anwendung möglich wird, die die multimodale Benutzerschnittstelle einschließt.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.