Skip to main content
SpringerLink
Log in

Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models

  • Conference paper
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs (Monterey Workshop 2007)

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

Included in the following conference series:

Abstract

Software change resulting from new requirements, environmental modifications, and error detection creates numerous challenges for the maintenance of software products. While many software evolution strategies focus on code-to-modeling language analysis, few address software evolution at higher abstraction levels. Most lack the flexibility to incorporate multiple modeling languages. Not many consider the integration and reuse of domain knowledge with design knowledge. We address these challenges by combining ontologies and model weaving to assist in software evolution of abstract artifacts. Our goals are to: recover high-level artifacts such as requirements and design models defined using a variety of software modeling languages; simplify modification of those models; reuse software design and domain knowledge contained within models; and integrate those models with enhancements via a novel combination of ontological and model weaving concepts. Additional benefits to design recovery and software evolution include detecting high-level dependencies and identifying differences between evolved software and initial specifications.

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.

References

  1. Luqi, Kordon, F.: Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 15–24. Springer, Heidelberg (2008)

    Google Scholar 

  2. Maselli, J.: FAA Turns to Smart Cards to Increase Airport Security. InformationWeek (2002), http://www.informationweek.com/news/software/showArticle.jhtml?articleID=6501097

  3. DeGuzman, M.-L.: Airport Thumbs Up on ID System. ComputerWorld Canada (2007), http://www.computerworldcanada-digital.com/computerworldcanada/20070302/?pg=18

  4. O’Brien, C.: Irish Software to Detect Airline Threats. ElectricNews.Net Ltd (2006), http://www.electricnews.net/news.html?code=9821209

  5. Ryder, A.: Analyze-IQ: Machine Learning Software. National University of Ireland, Galway (2008), http://www.nuigalway.ie/nanoscale/analyze_iq.html

  6. NSF: New Technologies Could Make Airport Screening More Effective and Less Cumbersome. NSF Press Release 06-154 (2006), http://128.150.4.107/news/news_summ.jsp?cntn_id=108133&org=NSF

  7. Chikofsky, E., Cross, J.: Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software 7, 13–17 (1990)

    Article  Google Scholar 

  8. Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., Jazayeri, M.: Challenges in Software Evolution. In: 8th International Workshop on Principles of Software Evolution, CA, pp. 13–22. IEEE Computer Society, Los Alamitos (2005)

    Google Scholar 

  9. Berrisford, G.: Why IT Veterans are Sceptical about MDA. In: 2nd European Workshop on Model Driven Architecture, pp. 125–135, University of Kent, Canterbury, (2004)

    Google Scholar 

  10. Ranganathan, A., Al-Muhtadi, J., Campbell, R.: Reasoning about Uncertain Contexts in Pervasive Computing Environments. Pervasive Computing 3, 62–70 (2004)

    Article  Google Scholar 

  11. Cox, L., Delugach, H.: Dependency Analysis Using Conceptual Graphs. In: 9th International Conference on Conceptual Structures, pp. 117–130, University Laval, Quebec, (2001), http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-41/Cox.pdf

  12. Canfora, G., Di Penta, M.: New Frontiers of Reverse Engineering. In: 29th International Conference on Software Engineering, Washington, DC, pp. 326–341. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  13. Mens, T., Van Der Straeten, R.: On the Use of Formal Techniques to Support Model Evolution. In: 1ères Journées sur l’Ingénierie Dirigée par les Modèles, pp. 115–124. Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Muller, Xavier Blanc (2005)

    Google Scholar 

  14. Jarczyk, A., Loeffler, P., Shipman, I.F.: Design Rationale for Software Engineering: A Survey. In: 25th Annual IEEE Computer Society Hawaii Conference on System Sciences, pp. 577–586. IEEE, Los Alamitos (1992)

    Google Scholar 

  15. Gruber, T.: A Translation Approach to Portable Ontology Specifications. In: Knowledge Acquisition, vol. 5, pp. 199–220. Academic Press, London (1993)

    Google Scholar 

  16. Borst, W.: Construction of Engineering Ontologies. Ph.D. Dissertation, University of Twente, Enschede (1997)

    Google Scholar 

  17. Kappel, G., Kargl, H., Kramler, G., Schauerhuber, A., Seidl, M., Strommer, M., Wimmer, M.: Matching Metamodels with Semantic Systems – An Experience Report. In: Workshop Model Management und Metadaten-Verwaltung, pp. 38–52. Verlag Mainz (2007)

    Google Scholar 

  18. Woody, P.: What are the differences between a vocabulary, a taxonomy, a thesaurus, an ontology, and a meta-model?, Metamodel.com (2003), http://www.metamodel.com/article.php?story=20030115211223271

  19. Ye, J., Coyle, L., Dobson, S., Nixon, P.: Ontology-based models in pervasive computing systems. In: The Knowledge Engineering Review, vol. 22, pp. 315–347. Cambridge University Press, Cambridge (2007)

    Google Scholar 

  20. Lutz, C., Baader, F., Franconi, E., Lembo, D., Möller, R., Rosati, R., Sattler, U., Suntisrivaraporn, B., Tessaris, S.: Reasoning Support for Ontology Design. In: Coence Grau, B., Hitzler, P., Shankey, C., Wallace, E. (eds.) 2nd International Workshop OWL: Experiences and Directions (2006)

    Google Scholar 

  21. Gaitanou, P.: Ontology Semantics and Applications. In: 2nd International Conference on Metadata and Semantics Research. MTSR Organizing Committee, Corfu (2007)

    Google Scholar 

  22. Chen, H., Finin, T., Joshi, A.: An Intelligent Broker for Context-Aware Systems. In: Ubicomp 2003, pp. 183–194,Ubicomp, (2003)

    Google Scholar 

  23. Chen, H., Perich, F., Finin, T., Joshi, A.: SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications. In: International Conference on Mobile and Ubiquitous Systems: Networking and Services, pp. 258–267. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  24. Hoss, A., Carver, D.: Ontological Approach to Improving Design Quality. In: IEEE Aerospace Conference. IEEE, Los Alamitos (2006)

    Google Scholar 

  25. Niles, I., Pease, A.: Toward a standard upper ontology. In: 2nd International Conference on Formal Ontology in Information Systems. ACM Press, New York (2001)

    Google Scholar 

  26. Mascardi, V., Cordì, V., Rosso, P.: Comparison of Upper Ontologies. In: Baldoni, M., Boccalatte, A., De Paoli, F., Martelli, M., Mascardi, V. (eds.) Conf. on Agenti e industria: Applicazioni tecnologiche degli agenti software, pp. 55–64 (2007)

    Google Scholar 

  27. Miller, G.: WordNet: A Lexical Database for English. Communications of the ACM 38, 39–41 (1995)

    Article  Google Scholar 

  28. Semy, S., Pulvermacher, M., Obrst, L.: Toward the Use of an Upper Ontology for U.S. Government and U.S. Military Domains: An Evaluation, MITR Corporation (2004), http://www.mitre.org/work/tech_papers/tech_papers_05/04_1175/04_1175.pdf

  29. Haller, A., Gontarczyk, J., Kotinurmi, P.: Towards a complete SCM Ontology – The Case of ontologising RosettaNet. In: 23rd Annual ACM Symposium on Applied Computing, pp. 1467–1473. ACM, New York (2008)

    Google Scholar 

  30. Soldatova, L., King, R.: An Ontology of Scientific Experiments. Journal of the Royal Society Interface 3, 795–803 (2006)

    Article  Google Scholar 

  31. Latif, K., Tjoa, A.: Combining Context Ontology and Landmarks for Personal Information Management. In: IEEE International Conference on Computing & Informatics. IEEE, Los Alamitos (2006)

    Google Scholar 

  32. Weeds, J., Keller, B., Weir, D., Wakeman, I., Rimmer, J., Owen, T.: Natural Language Expression of User Policies in Pervasive Computing Environments. In: OntoLex 2004, LREC Workshop on Ontologies and Lexical Resources in Distributed Environments. ACM, New York (2004)

    Google Scholar 

  33. Farrar, S., Langendoen, T.: A Linguistic Ontology for the Semantic Web. GLOT International 7, 97–100 (2003)

    Google Scholar 

  34. Object Management Group: Model Driven Architecture, V1.0.1, OMG (2003), http://www.omg.org/docs/omg/03-06-01.pdf

  35. Del Fabro, M., Jouault, F.: Model Transformation and Weaving in the AMMA Platform. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 71–77. Springer, Heidelberg (2006)

    Google Scholar 

  36. Del Fabro, M., Bezivin, J., Valduriez, P.: Weaving Models with the Eclipse AMW Plugin. Eclipse Modeling Symposium, Eclipse Summit Europe 2006, Esslingen (2006), http://www.eclipsecon.org/summiteurope2006/presentations/ESE2006-EclipseModelingSymposium2_WeavingModels.pdf

  37. Smolik, P.: MAMBO Metamodeling Environment. Ph.D. dissertation. Brno University of Technology, Brno (2006), http://www.mambomde.info/MamboMDE.pdf

  38. Noy, N.F., Kunnatur, S., Klein, M., Musen, M.A.: Tracking changes during ontology evolution. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 259–273. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  39. Noy, N.: Ontology Management with the Prompt Pplugin. In: 7th International Protégé Conference. Stanford Center for Biomedical Informatics Research, CA (2004), http://protege.stanford.edu/conference/2004/abstracts/Noy.pdf

  40. Witte, R., Zhang, Y., Rilling, J.: Empowering software maintainers with semantic web technologies. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 37–52. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  41. Anquetil, N., de Oliveira, K., Dias, M.: Software Maintenance Ontology. In: Ontologies for Software Engineering and Software Technology, pp. 153–173. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  42. Groher, I., Voelter, M.: XWeave: Models and Aspects in Concert. In: 10th International Workshop on Aspect-oriented Modeling, pp. 35–40. ACM Press, New York (2007)

    Chapter  Google Scholar 

  43. The Eclipse Foundation: Eclipse Modeling Framework (2008), http://www.eclipse.org/modeling/emf/

  44. W3C: Web Ontology Language, OWL (2004), http://www.w3.org/2004/OWL/

  45. Lee, S.-W., Muthurajan, D., Gandhi, R., Yavagal, D., Ahn, G.-J.: Building Decision Support Problem Domain Ontology from Natural Language Requirements for Software Assurance. International Journal of Software Engineering and Knowledge Engineering 16, 851–884 (2006)

    Article  Google Scholar 

  46. McNally, R.K., Lee, S.-W., Yavagal, D., Xiang, W.-N.: Learning the critical infrastructure interdependencies through an ontology-based information system. Environment and Planning B: Planning and Design 34, 1103–1124 (2007)

    Article  Google Scholar 

  47. Happel, H., Korthaus, A., Seedorf, S., Tomczyk, P.: KOntoR: An Ontology-enabled Approach to Software Reuse. In: 18th International Conference on Software Engineering and Knowledge Engineering, pp. 329–344, Knowledge Systems Institute, IL, (2006)

    Google Scholar 

  48. Gomes, P., Leitão, A.P.: A tool for management and reuse of software design knowledge. In: Staab, S., Svátek, V. (eds.) EKAW 2006. LNCS, vol. 4248, pp. 381–388. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  49. de Bruijn, J.: Using Ontologies: Enabling Knowledge Sharing and Reuse on the Semantic Web. Technical Report DERI-2003-10-29, DERI – Digital Enterprise Research Institute (2003)

    Google Scholar 

  50. Open Source Initiative (OSI): Creative Commons Attribution 2.5 (2008), http://www.opensource.org/

  51. Fuhrman, C.: Exploiting Open-source Projects to Study Software Design. Informatics in Education 6, 53–66 (2007)

    Google Scholar 

  52. Buchta, J., Petrenko, M., Poshyvanyk, D., Vaclav, R.: Teaching Evolution of Open-Source Projects in Software Engineering Courses. In: 22nd IEEE International Conference on Software Maintenance 2006, pp. 136–144. IEEE Computer Society, Los Alamitos (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Louisiana State University, Baton Rouge, LA 70803, USA

    Allyson M. Hoss & Doris L. Carver

Authors
  1. Allyson M. Hoss
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Doris L. Carver
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Heidelberg, Im Neuenheimer Feld 326, 61920, Heidelberg, Germany

    Barbara Paech

  2. Department of Computer Science, Naval Postgraduate School, 1411 Cunningham Road, CA 93943, Monterey, USA

    Craig Martell

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoss, A.M., Carver, D.L. (2008). Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models. In: Paech, B., Martell, C. (eds) Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs. Monterey Workshop 2007. Lecture Notes in Computer Science, vol 5320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89778-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89778-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89777-4

  • Online ISBN: 978-3-540-89778-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation