Static consistency checking for distributed specifications

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 115-124

  Nentwich, Christian ^a   Emmerich, Wolfgang ^a   Finkelstein, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; HYPERTEXT SYSTEMS; SPECIFICATIONS; UNIFIED MODELING LANGUAGE; WEB SERVICES;

CONSISTENCY CHECKING; DISTRIBUTED SOFTWARE ENGINEERING; FORMAL SEMANTICS; HYPERLINKS; LIGHT-WEIGHT WEBS; OPEN STANDARDS; SEMI-FORMAL NOTATIONS; STANDARD TECHNOLOGY; WEBS SERVICES; XLINKIT;

SEMANTICS;

EID: 84949042579     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989797     Document Type: Conference Paper

References (30)

1. S. Abiteboul. Querying Semi-Structured Data. In Proceedings ofthe 5th International Conference on Database Theory, pages 1-18, 1997.
2. R. Balzer. Tolerating Inconsistency. In Proceedings of the 13th International Conference on Software Engineering, pages 158-165, Austin, TX USA, May 1991. IEEE Computer Society Press.
3. T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible Markup Language. Recommendation http://www.w3.org/TR/2000/REC-xml-20001006, World Wide Web Consortium, Oct. 2000.
4. P. Buneman, W. Fan, and S. Weinstein. Path Constraints in Semistructured Databases. Journal of Computer and System Sciences, 61(2): 146-193, 2000.
5. S. Ceri and J. Widom. Managing Semantic Heterogeneity with Production Rules and Persistent Queues. In Proceedings of the 19th VLDB Conference, pages 108-119, Dublin, Ireland, 1993.
6. J. Clark and S. DeRose. XML Path Language (XPath) Version 1.0. Recommendation http://www.w3.org/TR/1999/REC-xpath-19991116, World Wide Web Consortium, Nov. 1999.
7. S. DeRose, E. Maler, and D. Orchard. XML Linking Language (XLink) Version 1.0. W3C Recommendation http://www.w3.org/TR/xlink/, World Wide Web Consortium, June 2001.
8. S. Easterbrook and M. Chechik. A Framework for MultiValued Reasoning over Inconsistent Viewpoints. In Proceedings ofthe 23rd International Conference on Software Engineering (ICSE), pages 411-420, Toronto, Canada, May 2001. ACM Press.
9. E. Ellmer, W. Emmerich, A. Finkelstein, D. Smolko, and A. Zisman. Consistency Management of Distributed Documents using XML and Related Technologies. Research Note 99-94, University College London, Dept. of Computer Science, 1999.
10. W. Emmerich. GTSL - An Object-Oriented Language for Specification of Syntax Directed Tools. In Proc. of the 8th Int. Workshop on Software Specification and Design, pages 26-35. IEEE Computer Society Press, 1996.
11. M. Fernandez, D. Florescu, A. Levy, and D. Suciu. Verifying Integrity Constraints on Web Sites. In Proceedings of the 16th International Joint Conference on Articial Intelligence, pages 614-619, 1999.
12. M. Fernandez, D. Florescu, A. Levy, and D. Suciu. Declarative Specification of Web Sites with Strudel. VLDB Journal, 9(1):38-55, 2000.
13. A. Finkelstein. A Foolish Consistency: Technical Challenges in Consistency Management. In Proceedings of the 11th International Conference on Database and Expert Systems Applications (DEXA), pages 1-5, London, UK, September 2000. Springer.
14. A. Finkelstein, D. Gabbay, H. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering, 20(8):569-578, 1994.
15. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: a framework for integrating multiple perspectives in system development. Int. Journal of Software Engineering and Knowledge Engineering, 2(1):21-58, 1992.
16. P. Grefen and J. Widom. Protocols for Integrity Constraint Checking in Federated Databases. Distributed and Parallel Databases, 5(4):327-355, 1997.
17. A. N. Habermann and D. Notkin. Gandalf: Software Development Environments. IEEE Transactions on Software Engineering, 12(12): 1117-1127, 1986.
18. R. Jelliffe. The Schematron Assertion Language 1.5. Technical report, GeoTempo Inc., October 2000.
19. M. Nagl, editor. Building Tightly Integrated Software Development Environments: The IPS EN Approach, volume 1170 of Lecture Notes in Computer Science. Springer Verlag, 1996.
20. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. Research Note RN/00/66, University College London, Dept. of Computer Science, 2000. Submitted for Publication.
21. B. Nuseibeh, S. Easterbrook, and A. Russo. Leveraging Inconsistency in Software Development. IEEE Computer, 33(4):24-29, April 2000.
22. Object Management Group. The Meta Object Facility. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701, USA, 1997.
23. Object Management Group. Unified Modeling Language Specification, March 2000.
24. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701, USA. XML Metadata Interchange (XMI) Specification 1.1, Nov. 2000.
25. T. W. Reps and T. Teitelbaum. The Synthesizer Generator. ACM SIGSOFT Software Engineering Notes, 9(3):42-48, 1984. Proc. of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, PA, USA.
26. W. Schäfer 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, NY, USA, 1989.
27. A. Tsiolakis. Consistency Analysis of UML Class and Sequence Diagrams based on Attributed Typed Graphs and their Transformation. Technical Report 2000/3, Technical University of Berlin, March 2000. ISSN 1436-9915.
28. P. Wadler. A formal semantics of patterns in XSLT. Markup Technologies, December 1999.
29. R. Wilkinson and A. Smeaton. Automatic Link Generation. ACM Computing Surveys, 31(4es), December 1999. Article No. 27.
30. A. Zündorf. PROgrammierte GRaphErsetzungsSysteme - Spezifikation, Implementierung und Anwendung einer integrierten Entwicklungsumgebung. PhD thesis, University of Aachen, 1996.