Skip to main content
SpringerLink
Log in

Automated Analysis of Natural Language Properties for UML Models

  • Conference paper
Satellite Events at the MoDELS 2005 Conference (MODELS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3844))

Abstract

It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exacerbates this problem by propagating these errors automatically to design and code. This paper describes a round trip engineering process that supports the specification of a UML model using CASE tools, the analysis of specified natural language properties, and the subsequent model refinement to eliminate errors uncovered during the analysis. This process has been implemented in Spider, a tool suite that enables developers to specify and analyze a UML model with respect to behavioral properties specified in terms of natural language.

This work has been supported in part by NSF grants EIA-0000433, EIA-0130724, CDA-9700732, CCR-9901017, Department of the Navy, Office of Naval Research under Grant No. N00014-01-1-0744, Eaton Corporation, Siemens Corporate Research, and in cooperation with Siemens Automotive, Detroit Diesel Corporation, and General Dynamics Land Systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Lutz, R.R.: Targeting safety-related errors during software requirements analysis. SIGSOFT 1993 Symposium on the Foundations of Software Engineering (1993)

    Google Scholar 

  2. Object Management Group: Model driven architecture (2005), http://www.omg.org/mda/

  3. Berenbach, B.: The evaluation of large, complex UML analysis and design models. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pp. 232–241. IEEE Computer Society, Los Alamitos (2004)

    Chapter  Google Scholar 

  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, pp. 324–338 (2005)

    Google Scholar 

  5. Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: Proceedings of the IEEE International Requirements Engineering Conference (RE 2005), Paris, France (2005)

    Google Scholar 

  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 (ASE 1999), Washington, DC, USA. IEEE Computer Society, Los Alamitos (1999)

    Google Scholar 

  9. Schäfer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science, vol. 55(3) (2001)

    Google Scholar 

  10. Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 742–745. ACM Press, New York (2000)

    Google Scholar 

  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, pp. 411–420. IEEE Computer Society Press, Los Alamitos (1999)

    Chapter  Google Scholar 

  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 (ICSE 2001), Toronto, Canada (2001)

    Google Scholar 

  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 (2004)

    Google Scholar 

  17. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol. 4309. Springer, Heidelberg (2006)

    Google Scholar 

  18. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)

    Google Scholar 

  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), 244–263 (1986)

    Google Scholar 

  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), 1–47,1–46 (1996)

    Google Scholar 

  21. Olender, K.M., Osterweil, L.J.: Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering 16(3), 268–280 (1990)

    Article  Google Scholar 

  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), 246–287 (2002)

    Article  Google Scholar 

  23. Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395–414. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  24. Nelken, R., Francez, N.: Automatic translation of natural-language system specifications into temporal logic. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 360–371. Springer, Heidelberg (1996)

    Google Scholar 

  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, pp. 11–21. ACM Press, New York (2002)

    Google Scholar 

  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), 21–41 (2004)

    Article  Google Scholar 

  27. Khwaja, A.A., Urban, J.E.: Syntax-directed editing environments: Issues and features. In: SAC 1993: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing, pp. 230–237. ACM Press, New York (1993)

    Chapter  Google Scholar 

  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 (ASE 2004), Linz, Austria, pp. 350–353 (2004) (Poster summary)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, 3115 Engineering Building, East Lansing, Michigan, 48824, USA

    Sascha Konrad & Betty H. C. Cheng

Authors
  1. Sascha Konrad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Betty H. C. Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Département Informatique, Université de Pau et des Pays de l’Adour, Av. de l’Université, B.P. 1155, 64013, Pau, France

    Jean-Michel Bruel

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Konrad, S., Cheng, B.H.C. (2006). Automated Analysis of Natural Language Properties for UML Models. In: Bruel, JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663430_6

Download citation

  • DOI: https://doi.org/10.1007/11663430_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31780-7

  • Online ISBN: 978-3-540-31781-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation