Flexible consistency checking

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Flexible consistency checking

Full text

Pdf (1.94 MB)

Source

ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 12 , Issue 1 (January 2003) table of contents

Pages: 28 - 63

Year of Publication: 2003

ISSN:1049-331X

Authors

Christian Nentwich	University College London---United Kingdom
Wolfgang Emmerich	University College London---United Kingdom
Anthony Finkelstein	University College London---United Kingdom
Ernst Ellmer	Zühlke Engineering GmbH---Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 16, Downloads (12 Months): 102, Citation Count: 11

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/839268.839271 What is a DOI?

ABSTRACT

The problem of managing the consistency of heterogeneous, distributed software engineering documents is central to the development of large and complex systems. We show how this problem can be addressed using xlinkit, a lightweight framework for consistency checking that leverages standard Internet technologies. xlinkit provides flexibility, strong diagnostics, and support for distribution and document heterogeneity. We use xlinkit in a comprehensive case study that demonstrates how design, implementation and deployment information of an Enterprise JavaBeans system can be checked for consistency, and rechecked incrementally when changes are made.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Kenneth M. Anderson , Richard N. Taylor , E. James Whitehead, Jr., Chimera: hypermedia for heterogeneous software development enviroments, ACM Transactions on Information Systems (TOIS), v.18 n.3, p.211-245, July 2000 [doi>10.1145/352595.352596]
	2	Apache Software Foundation. 1999. Ant. http://jakarta.apache.org/ant.
	3	Apparao, V., Byrne, S., Champion, M., Isaacs, S., Jacobs, I., Hors, A. L., Nicol, G., Robie, J., Sutor, R., Wilson, C., and Wood, L. 1998. Document Object Model (DOM) Level 1 Specification. W3C Recommendation http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001, World Wide Web Consortium. Oct.
	4	Robert Balzer, Tolerating inconsistency, Proceedings of the 13th international conference on Software engineering, p.158-165, May 13-17, 1991, Austin, Texas, United States
	5	Boarder, J., Obbink, H., Schmidt, M., and Völker, A. 1989. Advanced techniques and methods of system production in a heterogeneous, extensible, and rigorous environment. In Proceedings of the 1st International Conference on System Development Environments and Factories, N. Madhavji, W. Schäfer, and H. Weber, Eds. Pitman Publishing, London, UK, 199--206.
	6	P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.14-24, November 28-30, 1988, Boston, Massachusetts, United States
	7	Gerard Boudier , Ferdinando Gallo , Regis Minot , Ian Thomas, An overview of PCTE and PCTE+, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.248-257, November 28-30, 1988, Boston, Massachusetts, United States
	8	Bray, T., Paoli, J., Sperberg-McQueen, C. M., and Maler, E. 2000. Extensible Markup Language. Recommendation http://www.w3.org/TR/2000/REC-xml-20001006, World Wide Web Consortium. Oct.
	9	Clark, J. and DeRose, S. 1999. XML Path Language (XPath) Version 1.0. Recommendation http://www.w3.org/TR/1999/REC-xpath-19991116, World Wide Web Consortium. Nov.
	10	Hugh C. Davis, Referential integrity of links in open hypermedia systems, Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems, p.207-216, June 20-24, 1998, Pittsburgh, Pennsylvania, United States [doi>10.1145/276627.276650]
	11	DeMichiel, L. G., Yalcinalp, L. U., and Krishnan, S. 2001. Enterprise JavaBeans Specification v2.0. Tech. rep., Sun Microsystems. Aug.
	12	DeRose, S., Maler, E., and Orchard, D. 2001. XML Linking Language (XLink) Version 1.0. W3C Recommendation http://www.w3.org/TR/xlink/, World Wide Web Consortium. June.
	13	Easterbrook, S., Finkelstein, A., Kramer, J., and Nuseibeh, B. 1994. Coordinating distributed viewpoints: The anatomy of a consistency check. Int. J. Concur. Eng.: Res. Appl. 2, 3, 209--222.
	14	Ellmer, E., Emmerich, W., Finkelstein, A., Smolko, D., and Zisman, A. 1999. Consistency management of distributed documents using XML and related technologies. Research Note 99-94. Dept. of Computer Science, University College, London, UK.
	15	Wolfgang Emmerich, Tool Specification with GTSL, Proceedings of the 8th International Workshop on Software Specification and Design, p.26, March 22-23, 1996
	16	Ernst, J. 1998. CDIF---XML-based Transfer Format. Engineering Dept., Electronic Industries Association, http://www.cdif.org.
	17	Fallside, D. C. 2001. XML Schema Part 0: Primer. Recommendation http://www.w3.org/TR/ 2001/REC-xmlschema-0-20010502/, World Wide Web Consortium. May.
	18	Anthony Finkelstein, A Foolish Consistency: Technical Challenges in Consistency Management, Proceedings of the 11th International Conference on Database and Expert Systems Applications, p.1-5, September 04-08, 2000
	19	A. C. W. Finkelstein , D. Gabbay , A. Hunter , J. Kramer , B. Nuseibeh, Inconsistency Handling in Multiperspective Specifications, IEEE Transactions on Software Engineering, v.20 n.8, p.569-578, August 1994 [doi>10.1109/32.310667]
	20	Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., and Goedicke, M. 1992. Viewpoints: A framework for integrating multiple perspectives in system development. Int. J. Softw. Eng. Knowl. Eng. 2, 1, 21--58.
	21	David Garlan , Zhenyu Wang, Acme-Based Software Architecture Interchange, Proceedings of the Third International Conference on Coordination Languages and Models, p.340-354, April 26-28, 1999
	22	Greenfield, J. 2001. UML/EJB Mapping Specification 1.0. Tech. Rep. JSR-000026, Java Community Process. May.
	23	A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986
	24	Megginson, D. 1998. Simple API for XML. http://www.saxproject.org.
	25	Manfred Nagl, Building tightly integrated software development environments: the IPSEN approach, Springer-Verlag New York, Inc., New York, NY, 1996
	26	Christian Nentwich , Licia Capra , Wolfgang Emmerich , Anthony Finkelstein, xlinkit: a consistency checking and smart link generation service, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.151-185, May 2002 [doi>10.1145/514183.514186]
	27	Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein, Static Consistency Checking for Distributed Specifications, Proceedings of the 16th IEEE international conference on Automated software engineering, p.115, November 26-29, 2001
	28	Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein , Andrea Zisman, BOX: browsing objects in XML, Software—Practice & Experience, v.30 n.15, p.1661-1676, Dec. 2000 [doi>10.1002/1097-024X(200012)30:15<1661::AID-SPE353>3.0.CO;2-O]
	29	Bashar Nuseibeh , Steve Easterbrook , Alessandra Russo, Leveraging Inconsistency in Software Development, Computer, v.33 n.4, p.24-29, April 2000 [doi>10.1109/2.839317]
	30	Object Management Group. 2000a. The Meta Object Facility 1.3. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
	31	Object Management Group. 2000b. UML Profile for CORBA Specification. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
	32	Object Management Group. 2000c. Unified Modeling Language Specification. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
	33	Object Management Group. 2000d. XML Metadata Interchange (XMI) Specification 1.1. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
	34	Object Management Group. 2001. The Common Object Request Broker: Architecture and Specification Revision 2.5. 492 Old Connecticut Path, Framingham, MA 01701.
	35	Open Group. 2000. Architecture description markup language (ADML) Version 1. Tech. Rep. I901, Reading, UK.
	36	Thomas Reps , Tim Teitelbaum, The synthesizer generator, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.42-48, April 1984
	37	Wilhelm Schäfer , Herbert Weber, European Software Factory Plan—the ESF profile, Modern software engineering, foundations and current perspectives, Van Nostrand Reinhold Co., New York, NY, 1989
	38	Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.1-13, November 28-30, 1988, Boston, Massachusetts, United States
	39	Baltasar Trancón Y Widemann , Markus Lepper , Jacob Wieland, Automatic Construction of XML-Based Tools Seen as Meta-Programming, Automated Software Engineering, v.10 n.1, p.23-38, January 2003 [doi>10.1023/A:1021864801049]

CITED BY 11

	Matthias Tichy , Daniela Schilling , Holger Giese, Design of self-managing dependable systems with UML and fault tolerance patterns, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.105-109, October 31-November 01, 2004, Newport Beach, California
	Shiva Nejati, Formal support for merging and negotiation, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Sebastian Rönnau , Jan Scheffczyk , Uwe M. Borghoff, Towards XML version control of office documents, Proceedings of the 2005 ACM symposium on Document engineering, November 02-04, 2005, Bristol, United Kingdom
	Chang Xu , S. C. Cheung , W. K. Chan, Incremental consistency checking for pervasive context, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Dimitrios S. Kolovos , Richard F. Paige , Fiona A.C. Polack, Model comparison: a foundation for model composition and model transformation testing, Proceedings of the 2006 international workshop on Global integrated model management, May 22-22, 2006, Shanghai, China
	Betty H. C. Cheng , Joanne M. Atlee, Research Directions in Requirements Engineering, 2007 Future of Software Engineering, p.285-303, May 23-25, 2007
	Chang Xu , S. C. Cheung , W. K. Chan, Goal-Directed Context Validation for Adaptive Ubiquitous Systems, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.17, May 20-26, 2007
	Daniel Conte de Leon , Jim Alves-Foss, Hidden Implementation Dependencies in High Assurance and Critical Computing Systems, IEEE Transactions on Software Engineering, v.32 n.10, p.790-811, October 2006
	Mehrdad Sabetzadeh , Shiva Nejati , Steve Easterbrook , Marsha Chećhik, Global consistency checking of distributed models with TReMer+, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Esther Guerra , Juan de Lara , Alessio Malizia , Paloma Díaz, Supporting user-oriented analysis for multi-view domain-specific visual languages, Information and Software Technology, v.51 n.4, p.769-784, April, 2009
	Marsha Chechik , Winnie Lai , Shiva Nejati , Jordi Cabot , Zinovy Diskin , Steve Easterbrook , Mehrdad Sabetzadeh , Rick Salay, Relationship-based change propagation: A case study, Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering, p.7-12, May 17-18, 2009