Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan; J Vain; M Koskinen

doi:10.5220/0005105101590164

Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan
, J Vain
, M Koskinen

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

2 Citeringar (Scopus)

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of the 9th International Conference on Software Paradigm Trends
Redaktörer	A Holzinger, J Cardoso, J Cordeiro, M Sinderen, S Mellor
Förlag	SCITEPRESS Science And Technology Publications
Sidor	159–164
DOI	https://doi.org/10.5220/0005105101590164
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-08-29; 2014-08-31 - Vienna Varaktighet: 29 aug. 2014 → 31 aug. 2014

Konferens

Konferens	conference; 2014-08-29; 2014-08-31
Period	29/08/14 → 31/08/14

Nyckelord

Aspect-Oriented Modeling
UPPAAL Timed Automata

Åtkomst av dokument

10.5220/0005105101590164

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Ansvarig forskare), Ahmad, T. (CoI), Iqbal, J. (Ansvarig forskare), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekt: Företag/Business Finland

Citera det här

@inproceedings{de01df0985bc468480347115883b841b,

title = "Combining Aspect-Orientation and UPPAAL Timed Automata",

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.",

keywords = "Aspect-Oriented Modeling, UPPAAL Timed Automata, Aspect-Oriented Modeling, UPPAAL Timed Automata, Aspect-Oriented Modeling, UPPAAL Timed Automata",

author = "Dragos Truscan and J Vain and M Koskinen",

year = "2014",

doi = "10.5220/0005105101590164",

language = "Odefinierat/ok{\"a}nt",

pages = "159–164",

editor = "A Holzinger and J Cardoso and J Cordeiro and M Sinderen and S Mellor",

booktitle = "Proceedings of the 9th International Conference on Software Paradigm Trends",

publisher = "SCITEPRESS Science And Technology Publications",

note = "conference; 2014-08-29; 2014-08-31 ; Conference date: 29-08-2014 Through 31-08-2014",

}

Truscan, D, Vain, J & Koskinen, M 2014, Combining Aspect-Orientation and UPPAAL Timed Automata. i A Holzinger, J Cardoso, J Cordeiro, M Sinderen & S Mellor (red), Proceedings of the 9th International Conference on Software Paradigm Trends. SCITEPRESS Science And Technology Publications, s. 159–164, conference; 2014-08-29; 2014-08-31, 29/08/14. https://doi.org/10.5220/0005105101590164

Combining Aspect-Orientation and UPPAAL Timed Automata. / Truscan, Dragos; Vain, J; Koskinen, M.
Proceedings of the 9th International Conference on Software Paradigm Trends. red. / A Holzinger; J Cardoso; J Cordeiro; M Sinderen; S Mellor. SCITEPRESS Science And Technology Publications, 2014. s. 159–164.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

T1 - Combining Aspect-Orientation and UPPAAL Timed Automata

AU - Truscan, Dragos

AU - Vain, J

AU - Koskinen, M

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Aspect-Oriented Modeling

KW - UPPAAL Timed Automata

KW - Aspect-Oriented Modeling

KW - UPPAAL Timed Automata

KW - Aspect-Oriented Modeling

KW - UPPAAL Timed Automata

U2 - 10.5220/0005105101590164

DO - 10.5220/0005105101590164

M3 - Publicerad konferensartikel

SP - 159

EP - 164

BT - Proceedings of the 9th International Conference on Software Paradigm Trends

A2 - Holzinger, A

A2 - Cardoso, J

A2 - Cordeiro, J

A2 - Sinderen, M

A2 - Mellor, S

PB - SCITEPRESS Science And Technology Publications

T2 - conference; 2014-08-29; 2014-08-31

Y2 - 29 August 2014 through 31 August 2014

ER -

Combining Aspect-Orientation and UPPAAL Timed Automata

Sammanfattning

Konferens

Nyckelord

Åtkomst av dokument

Projekt

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Citera det här