Integrating protocol contracts with program code – A leightweight approach for applied behaviour models that respect their execution context (bibtex)
by Konersmann, Marco and Goedicke, Michael
Abstract:
In the domain of information systems, behaviour is typically described without a formal foundation. These systems could benefit from the use of formal behaviour modeling. However, the perceived costs for integrating a formal behaviour modeling approach seems to be higher than the expected benefits. A framework for formal behaviour modeling and execution could help bringing the benefits of formal modeling to this domain when it imposes a low barrier for integrating the approach. To achieve this, we present our approach for designing and executing behaviour models which are encoded with well-defined source code structures. In our approach the model is statically represented in the program code. Therefore the model does not exist as a first class citizen, but is extracted from the code at design time and run time. These models can be integrated within a context of arbitrary other program code, that does not follow the semantics of the model type. They therefore impose only a small barrier for their use.
Reference:
Integrating protocol contracts with program code – A leightweight approach for applied behaviour models that respect their execution context (Konersmann, Marco and Goedicke, Michael), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science mathplus Business Media, volume 6368, 2015.
Bibtex Entry:
@incollection{Konersmann2015,
abstract = {In the domain of information systems, behaviour is typically described without a formal foundation. These systems could benefit from the use of formal behaviour modeling. However, the perceived costs for integrating a formal behaviour modeling approach seems to be higher than the expected benefits. A framework for formal behaviour modeling and execution could help bringing the benefits of formal modeling to this domain when it imposes a low barrier for integrating the approach. To achieve this, we present our approach for designing and executing behaviour models which are encoded with well-defined source code structures. In our approach the model is statically represented in the program code. Therefore the model does not exist as a first class citizen, but is extracted from the code at design time and run time. These models can be integrated within a context of arbitrary other program code, that does not follow the semantics of the model type. They therefore impose only a small barrier for their use.},
author = {Konersmann, Marco and Goedicke, Michael},
booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
doi = {10.1007/978-3-319-21912-7_8},
isbn = {9783319219110},
issn = {16113349},
keywords = {,advert},
mendeley-tags = {advert},
pages = {197--219},
publisher = {Springer Science mathplus Business Media},
title = {{Integrating protocol contracts with program code – A leightweight approach for applied behaviour models that respect their execution context}},
url = {http://dx.doi.org/10.1007/978-3-319-21912-7_8},
volume = {6368},
year = {2015}
}
Powered by bibtexbrowser