Instant consistency checking for the UML

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 381-390

  Egyed, Alexander ^a  

^a Teknowledge Corporation   (United States)

Author keywords

Consistency; Design feedback; Incremental analysis

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA STRUCTURES; FEEDBACK CONTROL; LOGIC PROGRAMMING;

BLACK-BOX ENTITIES; DESIGN FEEDBACK; INCREMENTAL ANALYSIS;

MARKUP LANGUAGES;

EID: 33750347355     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134339     Document Type: Conference Paper

References (20)

1. Balzer, R.: Tolerating Inconsistency, Proceedings of 13th International Conference on Software Engineering (ICSE), May 1991, pp.158-165.
2. Belkhouche, B. and Lemus, C.: Multiple View Analysis and Design, Proceedings of the International Workshop on Viewpoint: Multiple Perspectives in Software Development, October 1996.
3. Cheng, B. H. C., Wang, E. Y., and Bourdeau, R. H.: A Graphical Environment for Formally Developing Object-Oriented Software, Proceedings of IEEE International Conference on Tools with AI, November 1994.
4. Movie Player at http://peace.snu.ac.kr/dhkim/java/MPEG/.
5. Egyed A. and Balzer B.: Integrating COTS Software into Systems through Instrumentation and Reasoning. Journal of Automated Software Engineering (JASE) 13(1), 2006, 41-64.
6. Emmerich, W.: GTSL | An Object-Oriented Language for Specication of Syntax Directed Tools, Proceedings of the 8th International Workshop on Software Speciation and Design, 1996, pp.26-35.
7. Fickas, S., Feather, M., Kramer, J.: Proceedings of the Workshop on Living with Inconsistency. Boston, USA, 1997.
8. Finkelstein A., Gabbay D., Hunter A., Kramer J., and Nuseibeh B.: Inconsistency Handling in Multi-Perspective Specifications, IEEE Transactions on Software Engineering (TSE) 20(8), 1994, 569-578.
9. Habermann A. N. and Notkin D.: Gandalf: Software Development Environments. IEEE Transactions on Software Engineering, 12(12), 1986, 1117.
10. Hunter A. and Nuseibeh B.: Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ACM Transactions on Software Engineering and Methodology 7(4), 1998, 335-367.
11. Kaplan, S. M. and Kaiser, G. E.: Incremental attribute evaluation in distributed language-based environments, Proceedings of the 5th ACM Symposium on Principles of Distributed Computing, Calgary, Canada, 1986, pp.121-130.
12. Mackworth A. K.: Consistency in Networks of Relations. Journal of Artificial Intelligence, 8(1), 1977, 99-118.
13. Nentwich C., Capra L., Emmerich W., and Finkelstein A.: xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT) 2(2), 2002, 151-185.
14. Nuseibeh, B. and Russo, A.: On the Consequences of Acting in the Presence of Inconsistency, Proceedings of the 9th International Workshop on Software Specification & Design, Ise-Shima, Japan, April 1998, pp. 156-158.
15. Robins, J. and others: "ArgoUML," http://argouml.tigris.org/.
16. Roussopoulos N.: An Incremental Access Method for ViewCache: Concept, Algorithms, and Cost Analysis. ACM Transactions on Database Systems 16(3), 1991, 535-563.
17. Taylor, R. N., Selby, R. W., Young, M., Belz, F. C., Clarce, L. A., Wileden, J. C., Osterweil, L., and Wolf, A. L.: Foundations of the Arcadia Environment Architecture, Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, Irvine, CA, 1998.
18. Tsiolakis, A. and Ehrig, H.: Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars, Proceedings of Workshop on Graph Transformation Systems (GRATRA), March 2000, pp.77-86.
19. Unified Modeling Language (UML) at http://www.omg.org/.
20. van Der Straeten, R., Mens, T., Simmonds, J., and Jonckers, V.: Using Description Logic to Maintain Consistency between UML Models, Proceedings of 6th International Conference on the Unified Modeling Language (UML 2003), October 2003.