Name
Abstract | ||
|---|---|---|
Scalability over long traces, as well as comprehensibility and expressivity of results, are major challenges for dynamic analysis approaches to specification mining. In this work we present a novel use of object hierarchies over traces of inter-object method calls, as an abstraction/refinement mechanism that enables user-guided, top-down or bottom-up mining of layered scenario-based specifications, broken down by hierarchies embedded in the system under investigation. We do this using data mining methods that provide statistically significant sound and complete results modulo user-defined thresholds, in the context of Damm and Harel’s live sequence charts (LSC); a visual, modal, scenario-based, inter-object language. Thus, scalability, comprehensibility, and expressivity are all addressed.Our technical contribution includes a formal definition of hierarchical inter-object traces, and algorithms for ‘zoomingout’ and ‘zooming-in’, used to move between abstraction levels on the mined specifications. An evaluation of our approach based on several case studies shows promising results. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/ASE.2009.19 | Auckland |
Keywords | Field | DocType |
data mining,formal specification,system monitoring,abstraction mechanism,bottom-up mining,data mining,dynamic analysis,hierarchical inter-object traces,hierarchical scenario-based specification mining,inter-object language,inter-object method calls,layered scenario-based specifications,live sequence charts,modal language,modulo user-defined thresholds,object hierarchies,refinement mechanism,scenario-based language,top-down mining,user-guided mining,visual language,live sequence charts,specification mining | Data mining,Visual language,Abstraction,Computer science,Modulo,Formal specification,Theoretical computer science,System monitoring,Modal,Semantics,Scalability | Conference |
ISSN | ISBN | Citations |
1938-4300 E-ISBN : 978-0-7695-3891-4 | 978-0-7695-3891-4 | 15 |
PageRank | References | Authors |
0.72 | 25 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| David Lo | 1 | 5346 | 259.67 |
| Shahar Maoz | 2 | 40 | 1.85 |