Christian Nentwich
Wolfgang Emmerich
Anthony Finkelsteiin
Skip Abstract Section
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.
- Anderson, K. M., Taylor, R. N., and Whitehead, E. J. 2000. Chimera: hypermedia for heterogeneous software development enviroments. ACM Trans. Inf. Syst. 18, 3 (July), 211--245.]] Google Scholar
Digital Library
- Apache Software Foundation. 1999. Ant. http://jakarta.apache.org/ant.]]Google Scholar
- 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.]]Google Scholar
- Balzer, R. 1991. Tolerating inconsistency. In Proceedings of the 13th International Conference on Software Engineering (Austin, Tex.). IEEE Computer Society Press, Los Alamitos, Calif., 158--165.]] Google Scholar
- 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.]]Google Scholar
- Borras, P., Clément, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., and Pascual, V. 1988. CENTAUR: The system. ACM SIGSOFT Software Engineering Notes 13, 5, 14--24. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Boston, Mass.). ACM, New York.]] Google ScholarDigital Library
- Boudier, G., Gallo, F., Minot, R., and Thomas, I. 1989. An overview of PCTE and PCTE+. ACM SIGSOFT Software Engineering Notes 13, 2, 248--257. Proceedings of the ACM SIGSOFT/ SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Boston, Mass.). ACM, New York.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]]Google Scholar
- Davis, H. C. 1998. Referential integrity of links in open hypermedia systems. In Proceedings of the 9th ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space-Structure in Hypermedia Systems (Pittsburgh, Pa.). ACM, New York, 207--216.]] Google Scholar
- DeMichiel, L. G., Yalcinalp, L. U., and Krishnan, S. 2001. Enterprise JavaBeans Specification v2.0. Tech. rep., Sun Microsystems. Aug.]]Google Scholar
- 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.]]Google Scholar
- 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.]]Google ScholarCross Ref
- 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.]]Google Scholar
- Emmerich, W. 1996. GTSL---An object-oriented language for specification of syntax directed Tools. In Proceedings of the 8th International Workshop on Software Specification and Design. IEEE Computer Society Press, Los Alamitos, Calif. 26--35.]] Google Scholar
- Ernst, J. 1998. CDIF---XML-based Transfer Format. Engineering Dept., Electronic Industries Association, http://www.cdif.org.]]Google Scholar
- 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.]]Google Scholar
- Finkelstein, A. 2000. A foolish consistency: Technical challenges in consistency management. In Proceedings of the 11th International Conference on Database and Expert Systems Applications (DEXA) (London, UK). Springer, New York, 1--5.]] Google ScholarCross Ref
- Finkelstein, A., Gabbay, D., Hunter, H., Kramer, J., and Nuseibeh, B. 1994. Inconsistency handling in multi-perspective specifications. IEEE Trans. Softw. Eng. 20, 8, 569--578.]] Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- Garlan, D. and Wang, Z. 1999. ACME-Based Software Architecture Interchange. In Coordination Languages and Models, 3rd International Conference (COORDINATION '99), (Amsterdam, The Netherlands), P. Ciancarini and A. Wolf, Eds. Lecture Notes in Computer Science, vol. 1594. Springer, Heidelberg, 340--354.]] Google Scholar
- Greenfield, J. 2001. UML/EJB Mapping Specification 1.0. Tech. Rep. JSR-000026, Java Community Process. May.]]Google Scholar
- Habermann, A. N. and Notkin, D. 1986. Gandalf: Software development environments. IEEE Trans. Softw. Eng. 12, 12, 1117--1127.]] Google ScholarDigital Library
- Megginson, D. 1998. Simple API for XML. http://www.saxproject.org.]]Google Scholar
- Nagl, M., Ed. 1996. Building Tightly Integrated Software Development Environments: The IPSEN Approach. Lecture Notes in Computer Science, vol. 1170. Springer Verlag, Heidelberg.]] Google Scholar
- Nentwich, C., Capra, L., Emmerich, W., and Finkelstein, A. 2002. XLINKIT: A consistency checking and smart link generation service. ACM Trans. Internet Tech. 2, 2 (May), 151--185.]] Google ScholarDigital Library
- Nentwich, C., Emmerich, W., and Finkelstein, A. 2001. Static consistency checking for distributed specifications. In Proceedings of the 16th International Conference on Automated Software Engineering (ASE) (Coronado Island, Calif.). IEEE Computer Science Press, Los Alamitos, Calif., 115--124.]] Google Scholar
- Nentwich, C., Emmerich, W., Finkelstein, A., and Zisman, A. 2000. BOX: Browsing Objects in XML. Softw. Pract. Exp. 30, 15, 1661--1676.]] Google ScholarDigital Library
- Nuseibeh, B., Easterbrook, S., and Russo, A. 2000. Leveraging inconsistency in software development. IEEE Comput. 33, 4 (Apr.), 24--29.]] Google ScholarDigital Library
- Object Management Group. 2000a. The Meta Object Facility 1.3. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.]]Google Scholar
- Object Management Group. 2000b. UML Profile for CORBA Specification. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.]]Google Scholar
- Object Management Group. 2000c. Unified Modeling Language Specification. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.]]Google Scholar
- Object Management Group. 2000d. XML Metadata Interchange (XMI) Specification 1.1. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.]]Google Scholar
- Object Management Group. 2001. The Common Object Request Broker: Architecture and Specification Revision 2.5. 492 Old Connecticut Path, Framingham, MA 01701.]]Google Scholar
- Open Group. 2000. Architecture description markup language (ADML) Version 1. Tech. Rep. I901, Reading, UK.]]Google Scholar
- Reps, T. W. and Teitelbaum, T. 1984. The synthesizer generator. ACM SIGSOFT Software Engineering Notes 9, 3, 42--48. (Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pa.). ACM, New York.)]] Google ScholarDigital Library
- Schäfer, W. and Weber, H. 1989. European software factory plan---The ESF-Profile. In Modern Software Engineering---Foundations and Current Perspectives, P. A. Ng and R. T. Yeh, Eds. Van Nostrand Reinhold, New York, Chap. 22, 613--637.]] Google Scholar
- Taylor, R. N., Selby, R. W., Young, M., Belz, F. C., Clarce, L. A., Wileden, J. C., Osterweil, L., and Wolf, A. L. 1988. Foundations of the arcadia environment architecture. In ACM SIGSOFT Software Engineering Notes 13, 5, 1--13. (Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments (Irvine, Calif.). ACM, New York.)]] Google ScholarDigital Library
- Trancon Y Widemann, B., Lepper, M., Wieland, J., and Pepper, P. 2002. Automatic construction of XML-based tools seen as meta-programming. Auto. Softw. Eng. J. 10, 1, 23--38.]] Google Scholar
Index Terms
- Flexible consistency checking
Recommendations
Metamodel-based model conformance and multiview consistency checking
Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A ...
xlinkit: a consistency checking and smart link generation service
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed Web content. It leverages standard Internet technologies, notably XML, XPath, and XLink. xlinkit can be used as part of a ...
Incremental-concurrent fusion checking for efficient context consistency
AbstractSmart applications can adapt their behaviors based on their understanding to environments (a.k.a. contexts). This capability can, however, incur unexpected misbehavior or even crash, when application contexts are inaccurate or conflicting with ...
Highlights- INFuse shows high checking efficiency by the incremental-concurrent fusion.
- Task arrangements in fusion guarantee INFuse’s checking quality with proofs.
- Theoretical complexity analyses support INFuse’s efficiency superiority.
Comments