NDLI: Detecting component changes at run time with behavior models

Content Provider	Springer Nature Link
Author	Sangiorgio, Mario Mocci, Andrea
Copyright Year	2012
Abstract	Modern software systems are composed of several services which may be developed and maintained by third parties and thus they can change independently and without notice during the system’s runtime execution. In such systems, changes may possibly be a threat to system functional correctness, and thus to its reliability. Hence, it is important to detect them as soon as they happen to enable proper reaction. Change detection can be done by monitoring system execution and comparing the observed execution traces against models of the services composing the application. Unfortunately, formal specifications for services are not usually provided and developers have to infer them. In this paper we propose a methodology which exactly addresses these issues by using software behavior models to monitor component execution and detect changes. In particular, we describe a technique to infer behavior model specifications with a dynamic black box approach, keep them up-to-date with run time observations and detect behavior changes. Finally, we present a case study to validate the effectiveness of the approach in component change detection for a component that implements a complex, real communication protocol.
Ending Page	221
Page Count	31
Starting Page	191
File Format	PDF
ISSN	0010485X
e-ISSN	14365057
Journal	Computing
Issue Number	3
Volume Number	95
Language	English
Publisher	Springer Vienna
Publisher Date	2012-09-13
Publisher Place	Vienna
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Change detection Dynamic analysis Specification inference Runtime validation Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Behavior models Software Engineering Computer Application in Administrative Data Processing Computer Science Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Computer Communication Networks Monitoring
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computational Theory and Mathematics Computational Mathematics Numerical Analysis Computer Science Applications 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

Development of global specification for dynamically adaptive software

Comparing redundancy models for high availability middleware

Monitoring and recovery for web service applications

Enforcing spatio-temporal access control in mobile applications

A design methodology for verified web-service mediators

Automating the reuse of domain knowledge to improve the modelling outcome from interactions between developers and clients

A formal model for output multimodal HCI : An Event-B formalization

A sharing-based approach to supporting adaptation in service compositions

Architecting dynamic cyber-physical spaces

Detecting component changes at run time with behavior models

Similar Documents

Development of global specification for dynamically adaptive software

Comparing redundancy models for high availability middleware

Monitoring and recovery for web service applications

Enforcing spatio-temporal access control in mobile applications

A design methodology for verified web-service mediators

Automating the reuse of domain knowledge to improve the modelling outcome from interactions between developers and clients

A formal model for output multimodal HCI : An Event-B formalization

A sharing-based approach to supporting adaptation in service compositions

Architecting dynamic cyber-physical spaces

Detecting component changes at run time with behavior models