mi-domain-populate 0.1.6

Creates and populates a TclRAL database for a modeled domain

Blueprint Domain Populator

Create a separate TclRAL domain database for each Domain in your System.

Let's say you have modeled an Elevator System with Elevator Management, Transport, and Signal IO domains.

You use the Blueprint Domain Populator to create three TclRAL databases, each populated with whatever initial instance populations you have defined in a supplied context.

Installation

% pip install mi-domain-populate

This creates an executable command named domaindb

Type domaindb -help to get the complete and most up to date list of supported options.

Usage

This package takes three inputs, a system populated into the metamodel database, a context specifying initial instance populates, and a map from domain to system data types.

Command usage

% domaindb -s mmdb_elevator.ral -c EVMAN_one_bank1.sip -t EVMAN_types.yaml -o

Here -s is the system, -c is the context, and -t specifies the mapping of domain types to available system data types which currently are TclRAL types. If you use the optional -o option, a separate <domain alias>.txt file will be generated for each domain database. For the above command you should see these files generated:

EVMAN.ral and evman.txt

These are both, in fact, text files. But the *.ral file is readable by TclRAL and fairly incomprehensible to a human. The *.txt file, on the other hand, is easy to read and is only intended for human consumption. (That's why the name is lowercase).

To get the above example copied into your current working directory use the -E (example) option.

% domaindb -E

At his point we are only working with (and have only tested) a system with a single domain. That said, a minor extension to the sip file format will make it possible to work with multiple domains. Will update this readme file when it's ready.

System

This is a metamodel TclRAL database (*.ral) file populated with a user's domain model: the Elevator Management domain populated into the Shlaer-Mellor metamodel, for example.

This is the mmdb_elevator.ral file in our example. The naming convention has the database left of the underscore and the content to the right. Thus, the metamodel database (mmdb) is populated with the elevator system.

This *.ral file is produced by the modeldb command if you have the xuml-populate package installed.

Context

Context is expressed as a set of initial instances and states in a scenario instance population *.sip file. The domaindb command doesn't do anything with the initial states -- those are handled in a downstream command yet to be published.

Write the scenario instance population *.sip file yourself using the example EVMAN_one_bank1.sip file as a guide.

Type Mapping

A *.yaml file that maps each domain type to a TclRAL system type. There's one in the supplied example to use as a guide.