Monitoring model specifications in program code patterns (bibtex)
by Balz, Moritz, Striewe, Michael and Goedicke, Michael
Abstract:
Numerous approaches exist that derive executable systems from well.defined specifications. However, model specifications are not available in program code of such derived sstems, which impedes to embed model specifiications into well-defined progam code patterns to bridge this semantic gap.We now present an elaboration of our approach to monitor such systems at run time with respect to the underlying abstract models. For this purpose, different techniquesare considered that allow to access the modeling information without relying on additional metadata. Based on this, we present a tool that monitors the execution of state machines.
Reference:
Monitoring model specifications in program code patterns (Balz, Moritz, Striewe, Michael and Goedicke, Michael), In CEUR Workshop Proceedings, volume 641, 2010.
Bibtex Entry:
@inproceedings{Balz2010,
abstract = {Numerous approaches exist that derive executable systems from well.defined specifications. However, model specifications are not available in program code of such derived sstems, which impedes to embed model specifiications into well-defined progam code patterns to bridge this semantic gap.We now present an elaboration of our approach to monitor such systems at run time with respect to the underlying abstract models. For this purpose, different techniquesare considered that allow to access the modeling information without relying on additional metadata. Based on this, we present a tool that monitors the execution of state machines.},
address = {Oslo, Norway},
author = {Balz, Moritz and Striewe, Michael and Goedicke, Michael},
booktitle = {CEUR Workshop Proceedings},
issn = {16130073},
keywords = {advert_pw},
mendeley-tags = {advert_pw},
pages = {60--71},
title = {{Monitoring model specifications in program code patterns}},
volume = {641},
year = {2010}
}
Powered by bibtexbrowser