NDLI: Development of global specification for dynamically adaptive software

Content Provider	Springer Nature Link
Author	Ma, Dianfu Shen, Hualei Zhao, Yongwang Li, Zhuqing
Copyright Year	2013
Abstract	As software systems are becoming increasingly complex, they need to dynamically and continually adapt their behavior to changing conditions in the long-term running. There will be large numbers of adaptations in these systems when evolving and the adaptations may be unknowable until system operation. To specify these adaptations, this paper proposes the mode-supported Linear Temporal Logic (mLTL) that is an effective way to describe global specifications of adaptive software. The global specifications are defined for adaptive software as requirements from the perspective of global adapting process. The model checking problem of mLTL is also resolved using Linear Temporal Logic (LTL) and Labelled Transition System Analyser (LTSA). Finally, we provide a prototype implementation for modelling and analyzing adaptive programs, and experimental evaluation shows feasibility and scalability of our approach.
Ending Page	816
Page Count	32
Starting Page	785
File Format	PDF
ISSN	0010485X
e-ISSN	14365057
Journal	Computing
Issue Number	9
Volume Number	95
Language	English
Publisher	Springer Vienna
Publisher Date	2013-02-01
Publisher Place	Vienna
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Software Engineering Formal specification Computer Application in Administrative Data Processing Computer Science Artificial Intelligence (incl. Robotics) Verification Information Systems Applications (incl. Internet) Computer Communication Networks Autonomic computing Dynamic adaptation
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

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

Enforcing spatio-temporal access control in mobile applications

A design methodology for verified web-service mediators

Detecting component changes at run time with behavior models

Architecting dynamic cyber-physical spaces

A sharing-based approach to supporting adaptation in service compositions

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

Comparing redundancy models for high availability middleware

Monitoring and recovery for web service applications

Development of global specification for dynamically adaptive software

Similar Documents

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

Enforcing spatio-temporal access control in mobile applications

A design methodology for verified web-service mediators

Detecting component changes at run time with behavior models

Architecting dynamic cyber-physical spaces

A sharing-based approach to supporting adaptation in service compositions

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

Comparing redundancy models for high availability middleware

Monitoring and recovery for web service applications

Development of global specification for dynamically adaptive software