Skip to main content
SpringerLink
Log in

Ontological Metamodeling and Analysis Using openCAESAR

  • Living reference work entry
  • First Online:
Handbook of Model-Based Systems Engineering

  • 87 Accesses

Abstract

All modeling depends on having some vocabulary in which a model can be expressed. For the purpose of this chapter, we will define metamodeling as the modeling of vocabularies that can then be used to build useful models. This chapter will explain how standards developed for the semantic web can be used to produce precise vocabularies (ontologies) that can then be used as the foundation, on which to build precise descriptive models.

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. “A Guide to the Systems Engineering Body of Knowledge (SEBoK).” [Online]. Available: https://www.sebokwiki.org/wiki/Guide_to_the_Systems_Engineering_Body_of_Knowledge_(SEBoK).

  2. W. Wymore, Mathematical Theory of Systems Engineering: The Elements. Malabar, FL: Krieger Pub Co, 1977.

    Google Scholar 

  3. “Eclipse Modeling Framework (EMF).” [Online]. Available: https://www.eclipse.org/modeling/emf/.

  4. “Siemens Teamcenter.” [Online]. Available: https://www.plm.automation.siemens.com/global/en/products/teamcenter/.

  5. “Dassault Systemes Catia.” [Online]. Available: https://www.3ds.com/products-services/catia/.

  6. N. Kahani, M. Bagherzadeh, J. R. Cordy, and E. Al., “Survey and classification of model transformation tools,” Softw. Syst. Model., vol. 18, pp. 2361–2397, 2019.

    Article  Google Scholar 

  7. R. Eramo, A. Pierantonio, J. R. Romero, and A. Vallecillo, “Change Management in Multi-Viewpoint System Using ASP,” in 12th Enterprise Distributed Object Computing Conference Workshops, 2008, pp. 433–440.

    Google Scholar 

  8. P. Stünkel, O. Bargen, A. Rutle, and Y. Lamo, “GraphQL Federation: A Model-Based Approach.,” J. Object Technol., vol. 19, p. 18:1, Jan. 2020.

    Google Scholar 

  9. T. Hedberg, Jr., J. Lubell, L. Fischer, L. Maggiano, and A. Barnard Feeney, “Testing the Digital Thread in Support of Model-Based Manufacturing and Inspection,” J. Comput. Inf. Sci. Eng., vol. 16, no. 2, Mar. 2016.

    Google Scholar 

  10. “Web Ontology Language with Description Logic.” [Online]. Available: https://www.w3.org/TR/owl2-syntax/.

  11. “Unified Modeling Language (UML).” [Online]. Available: https://www.uml.org/what-is-uml.htm.

  12. “Systems Modeling Language (SysML).” [Online]. Available: https://www.omg.org/technology/readingroom/System-Modeling-Language.htm.

  13. “Functional UML (FUML).” [Online]. Available: https://www.omg.org/spec/FUML.

  14. “The CoQ Proof Assistant.” [Online]. Available: https://coq.inria.fr/.

  15. “Lean Prover.” [Online]. Available: https://leanprover-community.github.io/index.html.

  16. V. S. Alagar and K. Periyasamy, “Vienna Development Method,” 2011, pp. 405–459.

    Google Scholar 

  17. “ISO/IEC 13568:2002.” [Online]. Available: https://www.iso.org/standard/21573.html.

  18. “Wikipedia: Soundness.” [Online]. Available: https://en.wikipedia.org/wiki/Soundness.

  19. “The Distributed Ontology, Modeling and Specification Language – DOL.” [Online]. Available: http://wiki.dol-omg.org/index.php/DOL. [Accessed: 02-Dec-2021].

  20. C. Atkinson and T. Kuhne, “Model-driven development: a metamodeling foundation,” IEEE Softw., vol. 20, no. 5, pp. 36–41, 2003.

    Article  Google Scholar 

  21. I. Ivanov, J. Bézivin, and M. Aksit, “Technological Spaces: An Initial Appraisal .” pp. 1–6, Oct-2002.

    Google Scholar 

  22. O. M. Group, “Meta-Object Facility, version 2.5.1.” [Online]. Available: https://www.omg.org/spec/MOF/2.5.1/PDF. [Accessed: 12-Feb-2021].

  23. “A Semantic Web Rule Language Combining OWL and RuleML (SWRL).” [Online]. Available: https://www.w3.org/Submission/SWRL/.

  24. “OWL2 Computational Properties.” [Online]. Available: https://www.w3.org/TR/owl2-profiles/#Computational_Properties.

  25. “Catia Cameo System Modeler.” [Online]. Available: https://www.nomagic.com/products/cameo-systems-modeler%0D%0A%0D%0A.

  26. “Object Constraint Language (OCL).” [Online]. Available: https://www.omg.org/spec/OCL/2.4/PDF.

  27. “Simulink and Modelica Transformation Plugin.” [Online]. Available: https://docs.nomagic.com/display/SMTP190SP2/19.0+LTR+SP2+Version+News. [Accessed: 02-Dec-2021].

  28. B. Henderson-Sellers, O. Eriksson, C. Gonzalez-Perez, P. J. Ågerfalk, and G. Walkerden, “Software modelling languages ,” A wish list . Institute of Electrical and Electronics Engineers (IEEE) , Piscataway, NJ , pp. 72-77 BT-Proceedings-7th International Works, 2015.

    Google Scholar 

  29. “Syndeia.” [Online]. Available: http://intercax.com/products/syndeia/.

  30. “Generic Modeling Environment.” [Online]. Available: https://www.isis.vanderbilt.edu/projects/GME.

  31. T. L. and Á. L. Maróti, M., T. Kecskés, Róbert Kereskényi, Brian Broll, P. Völgyesi, L. Jurácz, “Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure,” in MPM@MoDELS, 2014.

    Google Scholar 

  32. C. Bock and C. Galey, “Integrating four-dimensional ontology and systems requirements modelling,” J. Eng. Des., vol. 30, no. 10–12, pp. 477–522, Dec. 2019.

    Article  Google Scholar 

  33. P. Burek, N. Scherf, and H. Herre, “Ontology patterns for the representation of quality changes of cells in time,” J. Biomed. Semantics, vol. 10, no. 1, p. 16, 2019.

    Article  Google Scholar 

  34. “Onto UML.” [Online]. Available: https://ontouml.org/.

  35. G. Guizzardi, “On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Me-ta)Models,” in Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS’2006, 2006, pp. 18–39.

    Google Scholar 

  36. M. M. and A. G. Barcelos, P., Victor Amorim dos Santos, Freddy Brasileiro Silva, “An Automated Transformation from OntoUML to OWL and SWRL,” in ONTOBRAS (2013), 2013.

    Google Scholar 

  37. “Semantic Application Design Language.” [Online]. Available: https://github.com/SemanticApplicationDesignLanguage/sadl.

  38. “Web Ontology Language.” [Online]. Available: https://www.w3.org/OWL/.

  39. The Description Logic Handbook: Theory, Implementation and Applications, 2nd ed. Cambridge: Cambridge University Press, 2007.

    Google Scholar 

  40. B. C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler, “OWL 2: The next step for OWL,” J. Web Semant., vol. 6, no. 4, pp. 309–322, 2008.

    Article  Google Scholar 

  41. “SPARQL Query Language for RDF.” [Online]. Available: https://www.w3.org/TR/rdf-sparql-query/.

  42. “Protege OWL Editor.” [Online]. Available: https://protege.stanford.edu/.

  43. E. Sirin, B. Parsia, B. Grau, … A. K.-W. S. science, and U. 2007, “Pellet: A practical owl-dl reasoner,” J. Web Semant., vol. 5, no. 2, 2007.

    Google Scholar 

  44. “XText.” [Online]. Available: https://www.eclipse.org/Xtext/. [Accessed: 12-Feb-2021].

  45. “Sirius UI Framework for Eclipse.” [Online]. Available: https://www.eclipse.org/sirius/overview.html.

  46. “Language Server Protocol.” [Online]. Available: https://microsoft.github.io/language-server-protocol/. [Accessed: 21-Feb-2021].

  47. “Theia Cloud & Desktop IDE Platform.” [Online]. Available: https://theia-ide.org/. [Accessed: 12-Feb-2021].

  48. “Bikeshed specification generator.” [Online]. Available: https://tabatkins.github.io/bikeshed/.

  49. “Shapes Constraint Language (SHACL).” [Online]. Available: https://www.w3.org/TR/shacl/.

  50. “Apache Jena Fuseki.” [Online]. Available: https://jena.apache.org/documentation/fuseki2/.

  51. “Systems Modeling Language (SysML v2) Support for Digital Engineering”, [Online], Available: https://incose.onlinelibrary.wiley.com/doi/abs/10.1002/inst.12367

Download references

Acknowledgment

Some of the work described here was performed at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration.

Author information

Authors and Affiliations

  1. Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA

    D. A. Wagner, M. Chodas, M. Elaasar, J. S. Jenkins & N. Rouquette

Authors
  1. D. A. Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Chodas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Elaasar
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. S. Jenkins
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. N. Rouquette
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. A. Wagner .

Editor information

Editors and Affiliations

  1. University of Southern California, Los Angeles, CA, USA

    Azad M. Madni

  2. Lockheed Martin (United States), Bethesda, MD, USA

    Norman Augustine

  3. University of Southern California, Los Angelies, CA, USA

    Michael Sievers

Section Editor information

  1. University of Southern California, Los Angeles, CA, USA

    Dan A. Erwin

  2. Virginia Tech, Blacksburg, VA, USA

    Alejandro Salado

  3. University of Southern California, Los Angeles, CA, USA

    Michael W. Sievers

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Wagner, D.A., Chodas, M., Elaasar, M., Jenkins, J.S., Rouquette, N. (2022). Ontological Metamodeling and Analysis Using openCAESAR. In: Madni, A.M., Augustine, N., Sievers, M. (eds) Handbook of Model-Based Systems Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-27486-3_78-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-27486-3_78-1

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-27486-3

  • Online ISBN: 978-3-030-27486-3

  • eBook Packages: Springer Reference Intelligent Technologies and RoboticsReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation