NDLI: Inferring class level specifications for distributed systems

Content Provider	IEEE Xplore Digital Library
Author	Kumar, S. Khoo, S.-C. Roychoudhury, A. Lo, D.
Copyright Year	2012
Description	Author affiliation: National University of Singapore (Kumar, S.; Khoo, S.-C.; Roychoudhury, A.) \|\| Singapore Management University (Lo, D.)
Abstract	Distributed systems often contain many behaviorally similar processes, which are conveniently grouped into classes. In system modeling, it is common to specify such systems by describing the class level behavior, instead of object level behavior. While there have been techniques that mine specifications of such distributed systems from their execution traces, these methods only mine object-level specifications involving concrete process objects. This leads to specifications which are large, hard to comprehend, and sensitive to simple changes in the system (such as the number of objects). In this paper, we develop a class level specification mining framework for distributed systems. A specification that describes interaction snippets between various processes in a distributed system forms a natural and intuitive way to document their behavior. Our mining method groups together such interactions between behaviorally similar processes, and presents a mined specification involving “symbolic” Message Sequence Charts. Our experiments indicate that our mined symbolic specifications are significantly smaller than mined concrete specifications, while at the same time achieving better precision and recall.
Starting Page	914
Ending Page	924
File Size	669038
Page Count	11
File Format	PDF
ISBN	9781467310666
ISSN	02705257
e-ISBN	9781467310673
e-ISBN	9781467310659
DOI	10.1109/ICSE.2012.6227128
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-06-02
Publisher Place	Switzerland
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Concrete History Abstracts Aggregates Data mining Context Barium Distributed Systems Specification Mining
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Inferring class level specifications for distributed systems

Inferring class level specifications for distributed systems

Towards Succinctness in Mining Scenario-Based Specifications

Specifying abstract data types a behavioral model, an axiomatic representation

Specification mining in concurrent and distributed systems

Specification mining in concurrent and distributed systems

Inferringclass levelspecificationsfor distributedsystems.

Mining Hierarchical Scenario-Based Specifications

Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence

Inferring class level specifications for distributed systems

Similar Documents

Inferring class level specifications for distributed systems

Inferring class level specifications for distributed systems

Towards Succinctness in Mining Scenario-Based Specifications

Specifying abstract data types a behavioral model, an axiomatic representation

Specification mining in concurrent and distributed systems

Specification mining in concurrent and distributed systems

Inferringclass levelspecificationsfor distributedsystems.

Mining Hierarchical Scenario-Based Specifications

Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence

Inferring class level specifications for distributed systems