Automated analysis of natural language properties for UML models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3844 LNCS, Issue , 2006, Pages 48-57

  Konrad, Sascha ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; ERRORS;

AUTOMATED ANALYSIS; BEHAVIORAL PROPERTIES; ERROR PROPAGATION; UML MODEL;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 33745830856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11663430_6     Document Type: Conference Paper

References (28)

1. Lutz, R.R.: Targeting safety-related errors during software requirements analysis. In: SIGSOFT'93 Symposium on the Foundations of Software Engineering. (1993)
2. Object Management Group: Model driven architecture, http://www.omg.org/ mda/ (2005)
3. Berenbach, B.: The evaluation of large, complex UML analysis and design models. In: Proceedings of the 26th International Conference on Software Engineering (ICSE'04), IEEE Computer Society (2004) 232-241
4. Cheng, B.H.C., Stephenson, R., Berenbach, B.: Lessons learned from metrics-based automated analysis of industrial UML models (an experience report). In: Proceedings of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (2005) 324-338
5. Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: Proceedings of the IEEE International Requirements Engineering Conference (RE05), Paris, France (2005)
6. I-logix: Rhapsody (2005) http://www.ilogix.com/rhapsody/rhapsody.cfm.
7. IBM: Rational Rose XDE Developer (2005) http://www-306.ibm.com/software/ awdtools/developer/rosexde/.
8. Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE99), Washington, DC, USA, IEEE Computer Society (1999)
9. Schäfer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science 55(3) (2001)
10. Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering, New York, NY, USA, ACM Press (2000) 742-745
11. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, IEEE Computer Society Press (1999) 411-420
12. McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: Proceedings of the IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada (2001)
13. Object Management Group: UML Specifications, Version 1.4 (2002) http://www.omg.org/cgi-bin/doc?formal/04-07-02.
14. Object Management Group: UML 2.0 Superstructure Specification (2004) http://www.omg.org/cgi-bin/doc?ptc/2004-10-02.
15. Object Management Group: OMG-XML metadata interchange (XMI) specification, v1.1 (2000) http://www.omg.org/cgi-bin/doc?formal/00-11-02.
16. Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts (2004)
17. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proceedings of the International Conference on Software Engineering (ICSE05), St Louis, MO, USA (2005)
18. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc. (1992)
19. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (2) (1986) 244-263
20. Ramakrishna, Y.S., Melliar-Smith, P.M., Moser, L.E., Dillon, L.K., Kutty, G.: Interval logics and their decision procedures: Part I + II. Theoretical Computer Science 166;170(1-2) (1996) 1-47;1-46
21. Ölender, K.M., Osterweil, L.J.: Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering 16(3) (1990) 268-280
22. Campbell, L.A., Cheng, B.H.C., McUmber, W.E., Stirewalt, R.E.K.: Automatically detecting and visualizing errors in UML diagrams. Requirements Engineering Journal 7(4) (2002) 246-287
23. Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In Damm, W., Olderog, E.R.,eds.: 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002). Volume 2469 of Lecture Notes in Computer Science., Oldenburg, Germany, Springer-Verlag (2002) 395-414
24. R. Nelken, N. Francez: Automatic translation of natural-language system specifications into temporal logic. In Rajeev Alur, Thomas A. Henzinger, eds.: Proceedings of the Eighth International Conference on Computer Aided Verification CAV. Volume 1102., New Brunswick, NJ, USA, Springer Verlag (1996) 360-371
25. Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Propel: An approach supporting property elucidation. In: Proceedings of the 24th International Conference on Software Engineering, ACM Press (2002) 11-21
26. Mondragon, O., Gates, A.Q.: Supporting elicitation and specification of software properties through patterns and composite propositions. International Journal on Software Engineering and Knowledge Engineering 14(1) (2004) 21-41
27. Khwaja, A.A., Urban, J.E.: Syntax-directed editing environments: Issues and features. In: SAC '93: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing, ACM Press (1993) 230-237
28. Konrad, S., Campbell, L.A., Cheng, B.H.C.: Automated analysis of timing information in UML diagrams. In: Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering (ASE04), Linz, Austria (2004) 350-353 (Poster summary).