NDLI: Static consistency checking for distributed specifications

Content Provider	IEEE Xplore Digital Library
Author	Nentwich, C. Emmerich, W. Finkelstein, A.
Copyright Year	2001
Description	Author affiliation: Dept. of Comput. Sci., Univ. Coll. London, UK (Nentwich, C.; Emmerich, W.; Finkelstein, A.)
Abstract	Software engineers building a complex system make use of a number of informal and semi-formal notations. We describe a framework, xlinkit, for managing the consistency of development artifacts expressed in such notations. xlinkit supports distributed software engineering by providing a distribution-transparent language for expressing constraints between specifications. It specifies a semantics for those constraints that permits the generation of hyperlinks between inconsistent elements. We give a formal semantics for link generation, and show how we expressed the rules of the UML foundation/core modules in our language. We outline how we implemented xlinkit as a light-weight web service using open standard technology and present the results of an evaluation against several sizeable UML models provided by industrial partners.
Sponsorship	IEEE Comput. Soc. Tech. Committee on Software Eng. ACM SIGSoft ACM SIGArt
Starting Page	115
Ending Page	124
File Size	1066179
Page Count	10
File Format	PDF
ISBN	076951426X
ISSN	19384300
DOI	10.1109/ASE.2001.989797
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2001-11-26
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	XML Unified modeling language Software engineering Joining processes Engineering management Computer science Educational institutions Web services Bridges Web and internet services
Content Type	Text
Resource Type	Article

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

Using XML to build consistency rules for distributed specifications

Precise service level agreements

Consistency management with repair actions

Consistency Checking for LSC Specifications

Transformation of BPMN to YAWL

Model Driven Extra-Functional Properties for Web Services

Model checking distributed objects design

Linking the Semantic Web with existing sources

Verification of Web Services Compositions: Applying Model Checking to BPEL4WS

Static consistency checking for distributed specifications

Similar Documents

Using XML to build consistency rules for distributed specifications

Precise service level agreements

Consistency management with repair actions

Consistency Checking for LSC Specifications

Transformation of BPMN to YAWL

Model Driven Extra-Functional Properties for Web Services

Model checking distributed objects design

Linking the Semantic Web with existing sources

Verification of Web Services Compositions: Applying Model Checking to BPEL4WS

Static consistency checking for distributed specifications