loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ioana Şora and Doru-Thom Popovici

Affiliation: Politehnica University of Timişoara and Institute e-Austria (IeAT) Timişoara, Romania

Keyword(s): Reverse Engineering, Behavioral Model, EFSM, Distributed Computing, Service Computing.

Related Ontology Subjects/Areas/Topics: Applications ; Business and Software Modeling Languages ; Cross-Feeding between Data and Software Engineering ; Formal Methods ; Meta Programming Systems and Meta-Modeling ; Model-Driven Engineering ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 174.129.190.10

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ş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 - ENASE; ISBN 978-989-8565-62-4; ISSN 2184-4895, SciTePress, pages 226-231. DOI: 10.5220/0004562002260231

@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 - ENASE},
year={2013},
pages={226-231},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004562002260231},
isbn={978-989-8565-62-4},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Extracting Behavioral Models from Service Implementations
SN - 978-989-8565-62-4
IS - 2184-4895
AU - Şora, I.
AU - Popovici, D.
PY - 2013
SP - 226
EP - 231
DO - 10.5220/0004562002260231
PB - SciTePress