Skip to main content
SpringerLink
Log in

An Ontological Pivot Model to Interoperate Heterogeneous User Requirements

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7610))

Abstract

With the globalisation, the development of advanced applications and complex systems requires the implication of a large number of designers that may come from different fields, departments, research laboratories, etc. Usually, they are free to use their favourite vocabularies and formalisms to express the requirements related to their assigned parts of a given project. Various formalisms exist to express user requirements: informal (interviews), semi-formal (UML use case, goal oriented, etc.) and formal (B-Method, etc.). The concepts and properties used by these formalisms may belong to different alphabets. This situation makes the interoperability between user requirement formalism models difficult. In this paper, we propose a conceptual ontology-driven approach to facilitate this interoperability and to reduce the heterogeneities between formalisms. We first present the concepts related to conceptual ontologies and their connection with the user requirement formalisms. Secondly, a pivot model allowing the integration of different semi-formal models is described, through a case study. Finally, an implementation based on model driven approach (MDA) is given.

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. Golfarelli, M., Rizzi, S.: Data Warehouse Design: Modern Principles and Methodologies. McGraw Hill (2009)

    Google Scholar 

  2. Sugumaran, V., Storey, V.C.: The role of domain ontologies in database design: An ontology management and conceptual modeling environment. ACM Transactions on Database Systems (ACM-TODS) 31(3), 1064–1094 (2006)

    Article  Google Scholar 

  3. Khouri, S., Bellatreche, L.: DWOBS: Data Warehouse Design from Ontology-Based Sources. In: Yu, J.X., Kim, M.H., Unland, R. (eds.) DASFAA 2011, Part II. LNCS, vol. 6588, pp. 438–441. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  4. Goh, C.H., Bressan, S., Madnick, S., Siegel, M.: Context interchange: new features and formalisms for the intelligent integration of information. ACM Trans. Inf. Syst. 17, 270–293 (1999)

    Article  Google Scholar 

  5. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, RE 2010, pp. 249–263. IEEE Computer Society (2001)

    Google Scholar 

  6. Rochfeld, A.: Merise, an information system design and development methodology, tutorial. In: Proceedings of the Fifth International Conference on Entity-Relationship (ER), pp. 489–528 (1986)

    Google Scholar 

  7. De Sousa, T., Almeida Jr., Viana, S., Pavón, J.: Automatic analysis of requirements consistency with the b method. ACM SIGSOFT Software Engineering Notes 35(2), 1–4 (2010)

    Article  Google Scholar 

  8. Bellatreche, L., Xuan, D.N., Pierra, G., Dehainsala, H.: Contribution of ontology-based data modeling to automatic integration of electronic catalogues within engineering databases. Computers in Industry Journal Elsevier 57(8-9), 711–724 (2006)

    Article  Google Scholar 

  9. Pierra, G.: Context representation in domain ontologies and its use for semantic integration of data. Journal of Data Semantics (JODS), 173–210 (2008)

    Google Scholar 

  10. López, O., Laguna, M.A., Peñalvo, F.J.G.: A metamodel for requirements reuse. In: VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD), pp. 427–428 (2002)

    Google Scholar 

  11. Kaiya, H., Saeki, M.: Ontology based requirements analysis: Lightweight semantic processing approach. In: Proceedings of the Fifth International Conference on Quality Software, pp. 223–230. IEEE Computer Society (2005)

    Google Scholar 

  12. Dzung, D.V., Ohnishi, A.: Ontology-based reasoning in requirements elicitation. In: IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 263–272 (2009)

    Google Scholar 

  13. Saeki, M., Hayashi, S., Kaiya, H.: A tool for attributed goal-oriented requirements analysis. In: 24th IEEE/ACM International Conference on Automated Software Engineering, pp. 674–676 (2009)

    Google Scholar 

  14. Körner, J.S., Torben, B.: Natural language specification improvement with ontologies. Int. J. Semantic Computing 3(4), 445–470 (2009)

    Article  Google Scholar 

  15. Gruber, T.: A translation approach to portable ontology specification. Knowledge Acquisition 5(2), 199–220 (1993)

    Article  Google Scholar 

  16. Guarino, N., Poli, R.: Formal ontology in conceptual analysis and knowledge representation. Special Issue of the International Journal of Human and Computer Studies 43(5-6), 625–640 (1995)

    Article  Google Scholar 

  17. Connolly, D., Guha, R.: Rdf vocabulary description language 1.0: Rdf schema. w3c (2002), http://www.w3.org/TR/rdf-schema/

  18. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.: Owl web ontology language reference. w3c (2004), http://www.w3.org/TR/owl-ref/

  19. Guo, Y., Pan, Z., Heflin, J.: Lubm: A benchmark for owl knowledge base systems. Journal of Web Semantics, 158–182 (2005)

    Google Scholar 

  20. Jacobson, I., Bittner, K., Spence, I.: Use Case Modeling. Addison Wesley Professional (2002) ISBN 0-201-70913-9

    Google Scholar 

  21. Victor, R., Gianluigi, C.R.H.D.: The goal question metric approach. computer science technical report series cs-tr-2956. Computer Science Technical Report Series CS-TR-2956 (1992)

    Google Scholar 

  22. Bonifati, A., Cattaneo, F., Ceri, S., Fuggetta, A., Paraboschi, S.: Designing data marts for data warehouses. ACM Transactions on Software Engineering and Methodology 10(4), 452–483 (2001)

    Article  Google Scholar 

  23. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1–30 (1997)

    Article  Google Scholar 

  24. Rochfeld, A., Tardieu, H.: Merise: An information system design and development methodology. Information and Management, 143–159 (1983)

    Google Scholar 

  25. Nissen, H.W., Jeusfeld, M.A., Jarke, M., Zemanek, G., Huber, H.: Managing multiple requirements perspectives with metamodels. IEEE Software 13(2), 37–48 (1996)

    Article  Google Scholar 

  26. Glinz, M.: On non-functional requirements. In: 15th IEEE International Requirements Engineering Conference, RE 2007, pp. 21–26 (2007)

    Google Scholar 

  27. Goknil, A., Kurtev, I., Berg, K., Veldhuis, J.W.: Semantics of trace relations in requirements models for consistency checking and inferencing. Softw. Syst. Model. 10, 31–54 (2011)

    Article  Google Scholar 

  28. Kleppe, A.G., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIAS - ISAE-ENSMA - Futuroscope, France

    Ilyès Boukhari, Ladjel Bellatreche & Stéphane Jean

Authors
  1. Ilyès Boukhari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ladjel Bellatreche
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stéphane Jean
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Potsdam, August-Bebel-Straße 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Fakultät für Informatik, Technische Universität Dortmund, Otto-Hahn-Straße 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Boukhari, I., Bellatreche, L., Jean, S. (2012). An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34032-1_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34031-4

  • Online ISBN: 978-3-642-34032-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation