loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mario L. Bernardi 1 ; Marta Cimitile 2 ; Giuseppe De Ruvo 1 ; Giuseppe A. Di Lucca 1 and Antonella Santone 1

Affiliations: 1 University of Sannio, Italy ; 2 Unitelma Sapienza University, Italy

Keyword(s): Software Engineering, Design Patterns, Model Checking, Formal Methods, Models, Mining.

Related Ontology Subjects/Areas/Topics: Domain-Specific Languages ; MetaModeling ; Models ; Paradigm Trends ; Software Engineering

Abstract: In the last two decades some methods and tools have been proposed to identify the Design Pattern (DP) instances implemented in an existing Object Oriented (OO) software system. This allows to know which OO components are involved in each DP instance. Such a knowledge is useful to better understand the system thus reducing the effort to modify and evolve it. The results obtained by the existing methods and tools can suffer a lack of completeness or precision due to the presence of false positive/negative. Model Checking (MC) algorithms can be used to improve the precision of DP’s instances detected by a tool by automatically refining the results it produces. In this paper a MC based technique is defined and applied to the results of an existing DPs mining tool, called Design Pattern Finder (DPF), to improve the precision by verifying automatically the DPs instances it detects. To verify and assess the feasibility and the effectiveness of the proposed technique, we carried out a case s tudy where it was applied on some open source OO systems. The results showed that the proposed technique allowed to improve the precision of the DPs instances detected by the DPF tool. (More)

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 3.148.108.192

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:
Bernardi, M.; Cimitile, M.; De Ruvo, G.; Di Lucca, G. and Santone, A. (2015). Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. In Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT 2015) - ICSOFT-PT; ISBN 978-989-758-115-1, SciTePress, pages 53-63. DOI: 10.5220/0005520500530063

@conference{icsoft-pt15,
author={Mario L. Bernardi. and Marta Cimitile. and Giuseppe {De Ruvo}. and Giuseppe A. {Di Lucca}. and Antonella Santone.},
title={Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems},
booktitle={Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT 2015) - ICSOFT-PT},
year={2015},
pages={53-63},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005520500530063},
isbn={978-989-758-115-1},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT 2015) - ICSOFT-PT
TI - Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems
SN - 978-989-758-115-1
AU - Bernardi, M.
AU - Cimitile, M.
AU - De Ruvo, G.
AU - Di Lucca, G.
AU - Santone, A.
PY - 2015
SP - 53
EP - 63
DO - 10.5220/0005520500530063
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic