Difference between revisions of "Modeling Standards"

From SEBoK
Jump to navigation Jump to search
Line 32: Line 32:
 
*Application Protocol for Systems Engineering Data Exchange (ISO 10303-233) (AP-233) (ISO 2005)
 
*Application Protocol for Systems Engineering Data Exchange (ISO 10303-233) (AP-233) (ISO 2005)
 
*Requirements Interchange Format (ReqIF) (OMG 2011c)
 
*Requirements Interchange Format (ReqIF) (OMG 2011c)
*XML Metadata Interchange (XMI) (OMG 2003a)
+
*Extensible Mark-Up Language (XML) Metadata Interchange (XMI) (OMG 2003a)
 
*Resource Description Framework (RDF) (W3C 2004a)
 
*Resource Description Framework (RDF) (W3C 2004a)
  

Revision as of 23:13, 1 September 2012

Different types of models are needed to support the analysis, specification, design, and verification of systems. The evolution of modeling standards enables the broad adoption of Model-Based Systems Engineering (MBSE).

Motivation for Modeling Standards

Modeling standards play an important role in defining agreed-upon system modeling concepts that can be represented for a particular domain of interest, and they enable integration of different types of models across domains of interest. Modeling standards are extremely important to support MBSE, which aims to integrate various system aspects across disciplines, products, and technologies.

Standards for system modeling languages can enable cross-discipline, cross-project, and cross- organization communication. This communication offers the potential to reduce training requirements for practitioners who need to learn about a particular system, and enables the reuse of system artifacts. Standard modeling languages also provide a common foundation for advancing the practice of systems engineering as do other systems engineering standards.

Types of Modeling Standards

Many different standards apply to systems modeling. Modeling standards include standards for modeling languages, data exchange between models, and transformation of one model to another to achieve semantic interoperability. Each type of model can be used to represent different aspects of a system, such as representing the set of system components and their interconnections and interfaces, or representing a system to support performance analysis or reliability analysis.

Following is a partial list of representative modeling standards, including a common acronym for many and a reference where more information can be found.

Modeling Languages for Systems

Descriptive models. These standards apply to general descriptive modeling of systems:

  • Functional Flow Block Diagram (FFBD) (Oliver, Kelliher, and Keegan 1997)
  • Integration Definition for Functional Modeling (IDEF0) (NIST 1993)
  • Object-Process Methodology (OPM) [[1]] [[2]] (Dori 2002; ISO 19450 PAS - Publicly Available Specification in porgress)
  • Systems Modeling Language (SysML) (OMG 2010a)
  • Unified Profile for United States Department of Defence Architecture Framework (DoDAF) and United Kingdom Ministry of Defense Architecture Framework (MODAF) (UPDM) (OMG 2011e)
  • Web ontology language (OWL) (W3C 2004b)

Analytical models and simulations. These standards apply to analytical models and simulations:

  • Distributed Interactive Simulation (DIS) (IEEE 1998)
  • High-Level Architecture (HLA) (IEEE 2010)
  • Modelica (Modelica Association 2010)
  • Semantics of a Foundational Subset for Executable Unified Modeling Language (UML) Models (FUML) (OMG 2011d)

Data Exchange Standards

These standards enable the exchange of information between models:

  • Application Protocol for Systems Engineering Data Exchange (ISO 10303-233) (AP-233) (ISO 2005)
  • Requirements Interchange Format (ReqIF) (OMG 2011c)
  • Extensible Mark-Up Language (XML) Metadata Interchange (XMI) (OMG 2003a)
  • Resource Description Framework (RDF) (W3C 2004a)

Model Transformations

These standards apply to transforming one model to another to support semantic interoperability:

  • Query View Transformations (QVT) (OMG 2011b)
  • SysML-Modelica Transformation (OMG 2010c)
  • SysML-OPM Transformation (Grobshtein and Dori 2011)

General Modeling Standards

These standards provide general frameworks for modeling:

  • Model-driven architecture (MDA®) (OMG 2003b)
  • IEEE 1471-2000 - Recommended Practice for Architectural Description of Software-Intensive Systems (ANSI/IEEE 2000) (ISO/IEC 2007)

Other Domain-Specific Modeling Standards

Software design models

These standards apply to modeling application software and/or embedded software design:

  • Architecture Analysis and Design Language (AADL) (SAE 2009)
  • Modeling and Analysis for Real-Time and Embedded Systems (MARTE) (OMG 2009)
  • Unified Modeling Language (UML) (OMG 2010b)

Hardware design models

These standards apply to modeling hardware design:

  • VHSIC Hardware Description Language (VHDL) (IEEE 2008)

Business process models

These standards apply to modeling business processes:

  • Business Process Modeling Notation (BPMN) (OMG 2011a)

References

Works Cited

ANSI/IEEE. 2000. Recommended Practice for Architectural Description for Software-Intensive Systems. New York, NY: American National Standards Institute (ANSI)/Institute of Electrical and Electronics Engineers (IEEE), ANSI/IEEE 1471-2000.

Grobshtein, Y. and Dori, D. 2011. Generating SysML Views from an OPM Model: Design and Evaluation. Systems Engineering, 14 (3), Sept. 2011. Available at http://esml.iem.technion.ac.il/site/wp-content/uploads/2011/02/GeneratingSysMLViewsFromAnOPMModel.pdf

IEEE. 1998. Distributed Interactive Simulation (DIS). Institute for Electrical and Electronic Engineers. Available at http://standards.ieee.org/develop/project/1278.2.html.

IEEE. 2008. VHSIC hardware description language (VHDL). IEEE Standard 1076-2008. Institute of Electrical and Electronics Engineers. Available at http://standards.ieee.org/findstds/standard/1076-2008.html.

IEEE. 2010. Standard for High Level Architecture, IEEE Standard 1516. Institute for Electrical and Electronic Engineers. Available at http://standards.ieee.org/develop/intl/intlstds.html

ISO. 2005. Application Protocol for Systems Engineering Data Exchange. (ISO 10303-233). International Organization for Standardization. Available at http://www.iso.org/iso/iso_catalogue/catalogue_ics/catalogue_detail_ics.htm?csnumber=55257.

ISO/IEC/IEEE. 2011. Systems and Software Engineering — Architecture Description, International Organization for Standardization/International Electrotechnical Commission/Institute of Electrical and Electronics Engineers, December 1, 2011. ISO/IEC/IEEE 42010:2011. Available at http://www.iso.org/iso/home/store/catalogue_ics/catalogue_detail_ics.htm?csnumber=50508.

Modelica Association. 2010. Modelica® - A Unified Object-Oriented Language for Physical Systems Modeling, Language Specification, Version 3.2. Modelica Association. Available at https://www.modelica.org/documents/ModelicaSpec32.pdf.

NIST. 1993. Integration Definition for Functional Modeling (IDEF0). National Institute for Standards and Technologies. Available at http://www.idef.com/IDEF0.htm.

Oliver, D., Kelliher, T., and Keegan. J. 1997. Engineering Complex Systems with Models and Objects. New York, NY, USA: McGraw Hill. Available at http://www.incose.org/ProductsPubs/DOC/EngComplexSys.pdf.

OMG 2003a. XML Metadata Interchange (XMI), Version 1.1. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/XML/.

OMG. 2003b. Model driven architecture (MDA®), Version 1.0.1. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/mda.

OMG. 2009. Modeling and Analysis for Real-Time and Embedded Systems (MARTE), Version 1.0. Object Management Group. Available at http://www.omg.org/spec/MARTE/1.0/.

OMG. 2010a. OMG Systems Modeling Language (SysML), Version 1.2. Needham, MA, USA: Object Management Group. Available at http://www.sysml.org/docs/specs/OMGSysML-v1.2-10-06-02.pdf.

OMG. 2010b. Unified Modeling Language™ (UML), Version 2.. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/UML/.

OMG. 2010c. SysML-Modelica Transformation Specification, Beta Version. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/SyM/.

OMG. 2011a. Business Process Modeling Notation (BPMN), Version 2.0. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/BPMN/2.0/ .

OMG. 2011b. Query View Transformations (QVT), Version 1.1. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/QVT/1.1/.

OMG. 2011c. Requirements Interchange Format (ReqIF), Version 1.0.1. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/ReqIF/.

OMG. 2011d. Semantics of a Foundational Subset for Executable UML Models (FUML), Version 1.0. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/FUML/1.0/.

OMG. 2011e. Unified Profile for DoDAF and MODAF (UPDM), Version 1.1. Needham, MA, USA: Object Management Group. Available at http://www.omg.org/spec/UPDM/.

SAE. 2009. Architecture Analysis & Design Language (AADL). Warrendale, PA, USA: SAE International. Available at http://standards.sae.org/as5506a/.

W3C. 2004a. Resource Description Framework (RDF), Version 1.0. World Wide Web Consortium. Available at http://www.w3.org/RDF/.

W3C. 2004b. Web ontology language. (OWL). World Wide Web Consortium. Available at http://www.w3.org/2004/OWL.

Primary References

Dori, D. 2002. Object-Process Methodology – A Holistic Systems Paradigm. Berlin, Germany: Heidelberg; New York, NY, USA: Springer Verlag. http://www.amazon.com/Object-Process-Methodology-Dov-Dori/dp/3540654712

Friedenthal, S., A. Moore, and R. Steiner. 2009. "Chapter 1" in A Practical Guide to SysML: The Systems Modeling Language. Needham, MA, USA: OMG Press.

Additional References

Fritzon, P. 2004. Object-oriented modeling and simulation with Modelica 2.1. New York, NY, USA: Wiley Interscience and IEEE Press.

Bibliowicz, A. and Dori, D. A Graph Grammar-Based Formal Validation of Object-Process Diagrams. Software and Systems Modeling, 11, (2) pp. 287-302, 2012. [[3]]

Blekhman, A. and Dori, D. Model-Based Requirements Authoring. INCOSE 2011 – the 6th International conference on System Engineering. March, 2011. [[4]]

Dori, D., Feldman, R., and Sturm, A. From conceptual models to schemata: An object-process-based data warehouse construction method, Information Systems, 33, pp. 567–593, 2008. [[5]]

Grobshtein, Y. and D. Dori. 2011. Generating SysML Views from an OPM Model: Design and Evaluation in Systems Engineering, 14 (3), Sept. 2011. DOI 10.1002/sys.20181. [[6]]

Osorio, C.A., Dori, D., and Sussman, J. COIM: An Object-Process Based Method for Analyzing Architectures of Complex, Interconnected, Large-Scale Socio-Technical Systems. Systems Engineering 14(3), 2011. [[7]]

Paredis, C. J. J., et al. 2010. "An overview of the SysML-modelica transformation specification". Proceedings of the 20th Annual International Council on Systems Engineering (INCOSE) International Symposium, 12-15 July 2010, Chicago, IL.

Reinhartz-Berger, I. and Dori, D. OPM vs. UML—Experimenting with Comprehension and Construction of Web Application Models. Empirical Software Engineering, 10, pp. 57–79, 2005. [[8]]

Weilkiens, T. 2008. Systems Engineering with SysML/UML. Needham, MA, USA: OMG Press.


< Previous Article | Parent Article | Next Article >


SEBoK v. 1.9.1 released 30 September 2018

SEBoK Discussion

Please provide your comments and feedback on the SEBoK below. You will need to log in to DISQUS using an existing account (e.g. Yahoo, Google, Facebook, Twitter, etc.) or create a DISQUS account. Simply type your comment in the text field below and DISQUS will guide you through the login or registration steps. Feedback will be archived and used for future updates to the SEBoK. If you provided a comment that is no longer listed, that comment has been adjudicated. You can view adjudication for comments submitted prior to SEBoK v. 1.0 at SEBoK Review and Adjudication. Later comments are addressed and changes are summarized in the Letter from the Editor and Acknowledgements and Release History.

If you would like to provide edits on this article, recommend new content, or make comments on the SEBoK as a whole, please see the SEBoK Sandbox.

blog comments powered by Disqus