Extracting Behavioral Models from Service Implementations
Ioana Şora, Doru-Thom Popovici
2013
Abstract
Formal behavioral models of software services are used as input by analysis tools which check their properties on hand of the given models. However, there is a gap between the real systems which have to be validated and their abstract models. This work proposes to bridge this gap by tools which extract behavioral models from software services implementations. The method proposed here aims at ensuring a general solution, applicable to several service technologies. The core of this solution consists of transforming the control flow graph of a communicating system into its corresponding behavioral model represented as an EFSM (Extended Finite State Machine). The extracted EFSM model can be automatically translated into an entity description in a formal security specification language for distributed systems. This will enable the use of formal analysis tools for real service implementations.
DownloadPaper Citation
in Harvard Style
Şora I. and Popovici D. (2013). Extracting Behavioral Models from Service Implementations . In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-62-4, pages 226-231. DOI: 10.5220/0004562002260231
in Bibtex Style
@conference{enase13,
author={Ioana Şora and Doru-Thom Popovici},
title={Extracting Behavioral Models from Service Implementations},
booktitle={Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2013},
pages={226-231},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004562002260231},
isbn={978-989-8565-62-4},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Extracting Behavioral Models from Service Implementations
SN - 978-989-8565-62-4
AU - Şora I.
AU - Popovici D.
PY - 2013
SP - 226
EP - 231
DO - 10.5220/0004562002260231