NDLI: A design methodology for verified web-service mediators

Content Provider	Springer Nature Link
Author	Cao, Jing Nymeyer, Albert
Copyright Year	2012
Abstract	A new web service can be built by combining existing web services and coordinating their actions by a ‘mediator’. This work presents a formal design methodology based on model checking that generates all the mediator designs that meet requirements specified by a user. The methodology allows the user to explore the designs in search of the mediator that offers the best theoretical performance. Markov models of various measures of performance are considered. Each measure may result in a different ranking of the mediator designs (from best to worst for example). From these rankings the user can select the design that at least theoretically best fits the purpose. The novelty of this work is the use of model checking and Markov analysis in a single formal framework to generate, explore, and select from a set of provably-correct mediators—while still in the design stage of development.
Ending Page	610
Page Count	44
Starting Page	567
File Format	PDF
ISSN	0010485X
e-ISSN	14365057
Journal	Computing
Issue Number	7
Volume Number	95
Language	English
Publisher	Springer Vienna
Publisher Date	2012-11-23
Publisher Place	Vienna
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Monte Carlo methods Software Engineering Computer Application in Administrative Data Processing Computer Science Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Computer-aided design Computer Communication Networks
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

Enforcing spatio-temporal access control in mobile applications

Detecting component changes at run time with behavior models

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

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

An adaptable distributed trust management framework for large-scale secure service-based systems

A sharing-based approach to supporting adaptation in service compositions

A design methodology for verified web-service mediators

Similar Documents

Development of global specification for dynamically adaptive software

Enforcing spatio-temporal access control in mobile applications

Detecting component changes at run time with behavior models

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

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

An adaptable distributed trust management framework for large-scale secure service-based systems

A sharing-based approach to supporting adaptation in service compositions

A design methodology for verified web-service mediators