Combining Aspect-orientation and UPPAAL Timed Automata

Dragos Truscan; Jüri Vain; Martin Koskinen

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Combining Aspect-orientation and UPPAAL Timed Automata

Topics: Advice/Pointcut Specification; Aspects Interference and Composition; Model Composition; Modularity with Aspects

In Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 0ICSOFT, 159-164, 2014 , Vienna, Austria

Authors: Dragos Truscan ¹ ; Jüri Vain ² and Martin Koskinen ¹

Affiliations: ¹ Åbo Akademi University, Finland ; ² 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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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