Flexible consistency checking

ACM Transactions on Software Engineering and Methodology

Volumn 12, Issue 1, 2003, Pages 28-63

  Nentwich, Christian ^a   Emmerich, Wolfgang ^a   Finkelstein, Anthony ^a   Ellmer, Ernst ^b,c  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b Zühlke Engineering GmbH   (Germany)

^c Zühlke Engineering GmbH   (Germany)

Author keywords

CASE tools; Consistency management; Constraint checking; Multiple perspectives

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; INTERNET; LARGE SCALE SYSTEMS; PROBLEM SOLVING; XML;

CONSISTENCY MANAGEMENT; CONSTRAINT CHECKING; MULTIPLE PERSPECTIVES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 2442459936     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/839268.839271     Document Type: Review

References (43)

1. ANDERSON, K. M., TAYLOR, R. N., AND WHITEHEAD, E. J. 2000. Chimera: hypermedia for heterogeneous software development environments. ACM Trans. Inf. Syst. 18, 3 (July), 211-245.
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. 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.
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. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. DEMICHIEL, L. G., YALCINALP, L. U., AND KRISHNAN, S. 2001. Enterprise JavaBeans Specification v2.0. Tech. rep., Sun Microsystems. Aug.
14. 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.
15. EASTERBROOK, S., PINKELSTEIN, A., KRAMER, J., AND NUSSEIBEH, B. 1994. Coordinating distributed viewpoints: The anatomy of a consistency check. Int. J. Concur. Eng.: Res. Appl. 2, 3, 209-222.
16. 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.
17. 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.
18. ERNST, J. 1998. CDIF - XML-based Transfer Format. Engineering Dept., Electronic Industries Association, http://www.cdif.org.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. GREENFIELD, J. 2001. UML/EJB Mapping Specification 1.0. Tech. Rep. JSR-000026, Java Community Process. May.
25. HABERMANN, A. N. AND NOTKIN, D. 1986. Gandalf: Software development environments. IEEE Trans. Softw. Eng. 12, 12, 1117-1127.
26. MEGGINSON, D. 1998. Simple API for XML. http://www.saxproject.org.
27. NAGL, M., Ed. 1996. Building Tightly Integrated Software Development Environments: The IPSEN Approach. Lecture Notes in Computer Science, vol. 1170. Springer Verlag, Heidelberg.
28. 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.
29. 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.
30. NENTWICH, C., EMMERICH, W., FINKELSTEIN, A., AND ZISMAN, A. 2000. BOX: Browsing Objects in XML. Softw. Pract. Exp. 30, 15, 1661-1676.
31. NUSEIBEH, B., EASTERBROOK, S., AND Russo, A. 2000. Leveraging inconsistency in software development. IEEE Comput. 33, 4 (Apr.), 24-29.
32. OBJECT MANAGEMENT GROUP. 2000a. The Meta Object Facility 1.3. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
33. OBJECT MANAGEMENT GROUP. 2000b. UML Profile for CORBA Specification. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
34. OBJECT MANAGEMENT GROUP. 2000c. Unified Modeling Language Specification. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
35. OBJECT MANAGEMENT GROUP. 2000d. XML Metadata Interchange (XMI) Specification 1.1. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701.
36. OBJECT MANAGEMENT GROUP. 2001. The Common Object Request Broker: Architecture and Specification Revision 2.5. 492 Old Connecticut Path, Framingham, MA 01701.
37. OPEN GROUP. 2000. Architecture description markup language (ADML) Version 1. Tech. Rep. I901, Reading, UK.
38. 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.)
39. 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.)
40. 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.
41. 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.)
42. 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.)
43. 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.