Normative Interaction Specifications for C2: A Comprehensive Type of Rule Models for Use in the Model Driven Architecture Framework
Abstract
Modeling languages such as UML and IDEF1-X provide only partial coverage for the relations and constraints that apply to information within a given domain of interest. In most cases additional textual narratives are required to capture the full set of pertinent business rules. The "Semantics of Business Vocabulary and Business Rules Specification" (SBVR), an OMG adopted specification, offers an alternative to traditional information modeling with vastly more powerful capabilities and the potential for use within the context of the Model Driven Architecture (MDA) framework. This paper presents our recent work done within the Multilateral Interoperability Programme (MIP) where an initial formalization of the model usage and data integrity rules for the Joint Consultation Command and Control Information Exchange Model (JC3IEDM) using the Object Constraint Language (OCL) has been completed. We discuss next the possibility of extending the OCL formalization to FOL-type of rules following the SBVR specifications, and hypothesize how this in turn could be the basis for an all-inclusive NIS, a normative specification of all the relevant rules that control how information interacts within an enterprise. We conclude the paper with a brief discussion on the potential uses of NIS in the context of MDA, as well as the possibility of applying automated theorem proving methods to enhance the quality of the rule models.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 21, 2008
- Accession Number
- ADA503003
Entities
People
- Francisco Loaiza
- Steve Wartik
Organizations
- Institute for Defense Analyses