dido:public:ra:xapend:xapend.b_stds:tech:omg:dol
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
dido:public:ra:xapend:xapend.b_stds:tech:omg:dol [2022/04/21 22:04] nick created |
dido:public:ra:xapend:xapend.b_stds:tech:omg:dol [2022/04/22 12:26] (current) nick |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== OMG: Distributed Ontology, Model, and Specification Language (dol) ===== | + | ===== OMG: Distributed Ontology, Model, and Specification Language (DOL) ===== |
| [[dido:public:ra:xapend:xapend.b_stds:tech:omg:start| return to the OMG Standards ]] | [[dido:public:ra:xapend:xapend.b_stds:tech:omg:start| return to the OMG Standards ]] | ||
| <table> | <table> | ||
| - | <caption>Data sheet for Distributed Ontology, Model, and Specification Language (dol)</caption> | + | <caption>Data sheet for Distributed Ontology, Model, and Specification Language (DOL)</caption> |
| | Title | Distributed Ontology, Model, and Specification Language | | | Title | Distributed Ontology, Model, and Specification Language | | ||
| | Acronym | DOL | | | Acronym | DOL | | ||
| | Version | 1.0 | | | Version | 1.0 | | ||
| - | | OMG Document Number | ptc/2016-02-37 | | + | | OMG Document Number | formal/18-09-0 | |
| - | | Release Date | February 2016 | | + | | Release Date | March 2018 | |
| - | | About Specification | [[https://www.omg.org/spec/DOL/1.0/Beta1/About-DOL/]] | | + | | About Specification | [[https://www.omg.org/spec/DOL/]] | |
| | Document | [[https://www.omg.org/spec/DOL/1.0/Beta1/PDF]]| | | Document | [[https://www.omg.org/spec/DOL/1.0/Beta1/PDF]]| | ||
| </table> | </table> | ||
| Line 20: | Line 20: | ||
| === Background Information === | === Background Information === | ||
| - | Logical languages are used in several fields of computing for the development of formal, machine-processable texts that carry a formal semantics. Among those fields are 1) Ontologies formalizing domain knowledge, 2) (formal) Models of systems, and 3) the formal Specification of systems. Ontologies, MDE models and specifications will (for the purpose of this document) | + | : //Logical languages are used in several fields of computing for the development of formal, machine-processable texts that carry a formal semantics. Among those fields are 1) Ontologies formalizing domain knowledge, 2) (formal) Models of systems, and 3) the formal Specification of systems. Ontologies, MDE models and specifications will (for the purpose of this document) |
| - | henceforth be abbreviated as OMS. | + | henceforth be abbreviated as OMS.// |
| : // An OMS provides formal descriptions, which range in scope from domain knowledge and activities (ontologies, MDE models) to properties and behaviors of hardware and software systems (MDE models, specifications). These formal descriptions can be used for the analysis and verification of domain models, system models, and systems themselves, using rigorous and effective reasoning tools. As systems increase in complexity, it becomes concomitantly less practical to provide a monolithic logical cover for all. Instead, various MDE models are developed to represent different viewpoints or perspectives on a domain or system. Hence, interoperability becomes a crucial issue, in particular, formal interoperability, i.e. interoperability that is based on the formal semantics of the different viewpoints. Interoperability is both about the ability to interface different domains and systems and the ability to use several OMS in a common application scenario. Further, interoperability is about coherence and consistency, ensuring at an early stage of the development that a coherent system can be reached.// | : // An OMS provides formal descriptions, which range in scope from domain knowledge and activities (ontologies, MDE models) to properties and behaviors of hardware and software systems (MDE models, specifications). These formal descriptions can be used for the analysis and verification of domain models, system models, and systems themselves, using rigorous and effective reasoning tools. As systems increase in complexity, it becomes concomitantly less practical to provide a monolithic logical cover for all. Instead, various MDE models are developed to represent different viewpoints or perspectives on a domain or system. Hence, interoperability becomes a crucial issue, in particular, formal interoperability, i.e. interoperability that is based on the formal semantics of the different viewpoints. Interoperability is both about the ability to interface different domains and systems and the ability to use several OMS in a common application scenario. Further, interoperability is about coherence and consistency, ensuring at an early stage of the development that a coherent system can be reached.// | ||
dido/public/ra/xapend/xapend.b_stds/tech/omg/dol.1650593076.txt.gz · Last modified: 2022/04/21 22:04 by nick
