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.

Download


Paper 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