Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan; J Vain; M Koskinen

doi:10.5220/0005105101590164

Combining Aspect-Orientation and UPPAAL Timed Automata

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the 9th International Conference on Software Paradigm Trends
Toimittajat	A Holzinger, J Cardoso, J Cordeiro, M Sinderen, S Mellor
Kustantaja	SCITEPRESS Science And Technology Publications
Sivut	159–164
DOI - pysyväislinkit	https://doi.org/10.5220/0005105101590164
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-08-29; 2014-08-31 - Vienna Kesto: 29 elokuuta 2014 → 31 elokuuta 2014

Konferenssi

Konferenssi	conference; 2014-08-29; 2014-08-31
Ajanjakso	29/08/14 → 31/08/14

Keywords

Aspect-Oriented Modeling
UPPAAL Timed Automata

Pääsy asiakirjaan

10.5220/0005105101590164

1 Päättynyt

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I. & Siavashi, F.
01/01/12 → 31/12/15
Projekti: Research

Viittausmuodot

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

@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 = "null ; Conference date: 29-08-2014 Through 31-08-2014",

}

Truscan, D, Vain, J & Koskinen, M 2014, Combining Aspect-Orientation and UPPAAL Timed Automata. julkaisussa A Holzinger, J Cardoso, J Cordeiro, M Sinderen & S Mellor (toim), Proceedings of the 9th International Conference on Software Paradigm Trends. SCITEPRESS Science And Technology Publications, Sivut 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. toim. / A Holzinger; J Cardoso; J Cordeiro; M Sinderen; S Mellor. SCITEPRESS Science And Technology Publications, 2014. s. 159–164.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 - Konferensbidrag

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

Y2 - 29 August 2014 through 31 August 2014

ER -

Combining Aspect-Orientation and UPPAAL Timed Automata

Abstrakti

Konferenssi

Keywords

Pääsy asiakirjaan

Projektit

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

Viittausmuodot