Using XML to build consistency rules for distributed specifications

10th International Workshop on Software Specification and Design, IWSSD 2000

Volumn , Issue , 2000, Pages 141-148

  Zisman, Andrea ^a   Emmerich, Wolfgang ^b   Finkelstein, Anthony ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Consistency rules; Inconsistency; XML; XPointer

Indexed keywords

WORLD WIDE WEB; XML;

CONSISTENCY MANAGEMENT; CONSISTENCY RULES; INCONSISTENCY; PARTIAL SPECIFICATIONS; XPOINTER;

SPECIFICATIONS;

EID: 70349922903     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWSSD.2000.891135     Document Type: Conference Paper

References (31)

1. V. Apparo, S. Byrne, M. Champion, S. Isaacs, I. Jacobs, A.L. Hors, G. Nicol, J. Robie, R. Sutor, C. Wilson, and L. Wood. Document Object Model (DOM) Level 1 Specification. Recommendation http://www.w3.org/TR/1998/REC-D0M-Level-1-19981001. World Wide Web Consortium.
2. C. Batini, M. Lenzerini, and S.B. Navathe. A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computer Surveys, 18(4), pages 323-364, December 1986.
3. J. Boarder, H. Obbink, M. Schmidt, and A. Volker. Advanced Techniques and Methods of System Production in a Heterogeneous, Extensible, and Rigorous Environment. In N. Madhavji, W. Schafer, and H. Weber, editors, Proc. of the I" Int. Conf. On System Development Environments and Factories, Berlin, Germany, pages 199-206, London. Pitman Publishing, 1989.
4. G. Boudier, F. Gallo, R. Minot, and 1. Thomas. An Overview of PCTE and PCTE+. ACM SIGSOFT Software Engineering Notes, 13(2), pages 248-257. Proc. of the ACM S1GSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Mass, 1989.
5. T. Bray, J. Paoli, and CM. Sperberg-McQueen. Extensible Markup Language. Recommendation http://www.w3.org/TR/1998/REC-xml-19980210. World Wide Web Consortium.
6. M.W. Bright, A.R. Hurson, and S. Pakzard. Automated Resolution of Semantic Heterogeneity in Multidatabases. ACM Transaction on Database Systems, 19(12), pages 212-253, June 1994.
7. J. Clark. XSL Transformations (XSLT) Version 1.0. Recommendation http://www.w3.org.TR/1999/REC-xslt-19991116. World Wide Web Consortium.
8. R. Darimont and A. van Lamsweerde. Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In Proceedings FSE'4 - Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, pages 179-190, October 1996.
9. S. Easterbrook, A. Finkelstein, J. Kramer, and B. Nuseibeh. Coordinating Distributed ViewPoints: the anatonomy of a consistency check. In Concurrent Engineering Research & Applications, CERA Institute, USA 1994.
10. S. Easterbrook and B. Nuseibeh. Using ViewPoints for Inconsistency Management. IEE Software Engineering Journal, November 1995.
11. E.Ellmer, W. Emmerich, A. Finkelstein, D. Smolko, and A. Zisman. Consistency Management of Distributed Documents using XML and Related Technologies. Submitted for publication. 1999.
12. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering, 20(8), pages 569-578, August 1994.
13. A. Finkelstein, G. Spanoudakis, and D. Till. Managing Interference. Joint Proceedings of the SIGSOFT'96 Workshops -Viewpoints'96: An International Workshop on Multiple Perspectives on Software Development, San Francisco, ACM Press, pages 172-174, October 1996.
14. GOODSTEP Team. The GOODSTEP Project: General Object-Oriented Database for Software Engineering Processes. In K. Ohmaki, editor, Proc. of the Asia-Pacific Software Engineering Conference, Tokyo, Japan, pages 410-420. IEEE Computer Society Press, 1994.
15. J. Hammer and D. McLeod. An Approach to Resolving Semantic Heterogeneity in a Federation of Autonomous, Heterogeneous Database Systems. International Journal of Intelligent and Cooperative Information Systems, 2(1), pages 51-83, 1993.
16. E. Maler and S. DeRose (1998). XML Linking Language (XLink). Technical Report http://www.w3.org/TR/1998/WD-xlink-19980303. World Wide Web Consortium.
17. E. Maler and S. DeRose (1998). XML Pointer Language (XPointer). Technical Report http://www.w3.org/TR/l998AVD-xmr-19980303. World Wide Web Consortium.
18. K. Narayanaswamy and N. Goldman. "Lazy" Consistency: A Basis for Cooperative Software Development. In Proc. of Int. Conf. On Computer-Supported Cooperative Work (CSCW'92), Toronto, Ontario, Canada, pages 257-264 - ACM SIGH1 & S1GOIS.
19. B. Nuseibeh. To Be and Not to Be: On Managing Inconsistency in Software Development. In Proc. of 8th IEEE International Workshop on Software Specification & Design (IWSSD-8), pages 164-169, March 1996.
20. OMG (1998). XML Metadata Interchange (XMI) - Proposal to the OMG OA&DTF RFP 3: Stream-based Model Interchange Format (SM1F). Technical Report AD Document AD/98-10-05, Object Management Group.m 492 Old Connecticut Path, Framingham, MA 01701, USA.
21. W. Schafer and H. Weber. European Software Factory Plan - The ESF-Profile. In P. A. Ng and R.T. Yeh, editors, Modern Software Engineering - Foundations and current perspectives, chapter 22, pages 613-637. Van Nostrand Reinhold, New York, 1989.
22. R.W. Schwanke and G.E. Kaiser. Living with Inconsistency in Large Systems. In Proc. of the Int. Workshop on Software Version and Configuration Control, Grassau, Germany, pages 98-118, B.G. Teubner, Stuttgart.
23. E.Sciore, M. Siegel, and A. Rosenthal. Using Semantic Values to Facilitate Interoperability Among Heterogeneous Information Systems. ACM Transactions on Database Systems, 19(2), pages 254-290, June 1994.
24. M. Siegel and S.E. Madnick. A Metadata Approach to Resolving Semantic Conflicts. In proceedings of the l7h International Conference on Very Large DataBases, pages 133-145, Barcelona, Spain, 1991.
25. G. Spanoudakis and A. Finkelstein. Reconciliation: Managing Interference in Software Development. In Proceedings of the ECAI '96 Workshop on Modelling Conlicls in A/, Budapest, Hungary, 1996.
26. G. Spanoudakis and A. Finkelstein. A Semi-automatic Process of Identifying Overlaps and Inconsistencies between Requirements Specifications. In Proceedings of the 5th International Conference on Object-Oriented Information Systems (OOIS 98), pages 405-425, 1998.
27. J. Suzuki and Y. Yamamoto. Making UML models exchangeable over the Internet with XML: The UXF Approach. In Muller, P.-A. and Bezivin, J., editors, Proc. Of Int. Worshop on UML'98, Mulhouse, France, Lecture Notes in Computer Science. Springer.
28. R.N. Taylor, R.W. Selby, M. Young, F.C. Belz, L.A. Clarce, J.C. Wileden, L. Osterweil, and A.L Wolf. Foundations of the Arcadia Environment Architecture. ACM SIGSOFT Software Engineering Notes, 13(5), pages 1-13. Proc. of the 4a ACM SIGSOFT Symposium on Software Development Environments, Irvine, Cal, 1988.
29. A. van Lamsweerde. Divergent Views in Goal-Driven Requirements Engineering. In Proceedings of the ACM SIGSOFT Workshop on Viewpoints in Software Development, San Francisco, pages 252-256. October 1996.
30. A. van Lamsweerde, R. Darimont, and E. Letier. Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transaction on Software Engineering. November 1998.
31. Z Standards panel. Z Notation version 1.2. TR, September, 1995. http://www.comlab.ox.ac.uk/oucl/groups/zstandards.