Normative Interaction Specifications for C2: A Comprehensive Type of Rule Models for Use in the Model Driven Architecture Framework
Conference paper with briefing charts
INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
Pagination or Media Count:
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.
- Computer Programming and Software