loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Dragos Truscan 1 ; Jüri Vain 2 and Martin Koskinen 1

Affiliations: 1 Åbo Akademi University, Finland ; 2 Tallinn University of Technology, Estonia

Keyword(s): Aspect-oriented Modeling, UPPAAL Timed Automata.

Related Ontology Subjects/Areas/Topics: Advice/Pointcut Specification ; Aspects ; Aspects Interference and Composition ; Model Composition ; Models ; Modularity with Aspects ; Paradigm Trends ; Software Engineering

Abstract: We discuss an approach to combine aspect-oriented concepts with UPPAAL timed automata (UPTA) with the focus on providing a systematic constructive approach and automation tool support for model weaving. Our approach allows for decoupling the design of different aspects of the system and suggests the use of explicit composition patterns to weave the aspects together. We exemplify with an auto-off lamp example.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.165.248.212

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Truscan, D.; Vain, J. and Koskinen, M. (2014). Combining Aspect-orientation and UPPAAL Timed Automata. In Proceedings of the 9th International Conference on Software Paradigm Trends (ICSOFT 2014) - ICSOFT-PT; ISBN 978-989-758-037-6, SciTePress, pages 159-164. DOI: 10.5220/0005105101590164

@conference{icsoft-pt14,
author={Dragos Truscan. and Jüri Vain. and Martin Koskinen.},
title={Combining Aspect-orientation and UPPAAL Timed Automata},
booktitle={Proceedings of the 9th International Conference on Software Paradigm Trends (ICSOFT 2014) - ICSOFT-PT},
year={2014},
pages={159-164},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005105101590164},
isbn={978-989-758-037-6},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Software Paradigm Trends (ICSOFT 2014) - ICSOFT-PT
TI - Combining Aspect-orientation and UPPAAL Timed Automata
SN - 978-989-758-037-6
AU - Truscan, D.
AU - Vain, J.
AU - Koskinen, M.
PY - 2014
SP - 159
EP - 164
DO - 10.5220/0005105101590164
PB - SciTePress