source: fedd/abac-src/rtml/examples/DriverLicense/DriverLicense.xml @ 705233b

version-1.30
Last change on this file since 705233b was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 2.2 KB
Line 
1<?xml version="1.0" encoding="UTF-8"?>
2<!-- edited with XML Spy v4.3 U (http://www.xmlspy.com) by ABC (XYZ University) -->
3<DomainSpecification xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="C:\rtml\DomainSpec.xsd" uri="C:\rtml\DomainSpec.xsd">
4        <EnumTypeDeclaration name="USStatesType">
5                <EnumValue>CA</EnumValue>
6                <EnumValue>DC</EnumValue>
7                <EnumValue>NY</EnumValue>
8                <EnumValue>UT</EnumValue>
9        </EnumTypeDeclaration>
10        <EnumTypeDeclaration name="ColorType">
11                <EnumValue>BLK</EnumValue>
12                <EnumValue>BRN</EnumValue>
13        </EnumTypeDeclaration>
14        <EnumTypeDeclaration name="SexType">
15                <EnumValue>F</EnumValue>
16                <EnumValue>M</EnumValue>
17        </EnumTypeDeclaration>
18        <StringTypeDeclaration name="IDType"/>
19        <!-- The following uses StringType as type name, this is cheating.  We may want to add the notion of anonymous types.  These types would then be anonymous String Types.  -->
20        <RecordTypeDeclaration name="NameType">
21                <FieldDeclaration name="FirstName" typeName="StringType"/>
22                <FieldDeclaration name="MiddleName" typeName="StringType"/>
23                <FieldDeclaration name="LastName" typeName="StringType"/>
24        </RecordTypeDeclaration>
25        <RecordTypeDeclaration name="AddressType">
26                <FieldDeclaration name="Street" typeName="StringType"/>
27                <FieldDeclaration name="Apt" typeName="StringType"/>
28                <FieldDeclaration name="City" typeName="StringType"/>
29                <FieldDeclaration name="State" typeName="USStateType"/>
30                <FieldDeclaration name="Zip" typeName="StringType"/>
31        </RecordTypeDeclaration>
32        <RoleNameDeclaration name="DriverLicense">
33                <ParameterDeclarations>
34                        <Parameter name="State" typeName="USStateType"/>
35                        <Parameter name="ID" typeName="IDType"/>
36                        <Parameter name="Name" typeName="NameType"/>
37                        <Parameter name="Address" typeName="AddressType"/>
38                        <Parameter name="Sex" typeName="SexType"/>
39                        <Parameter name="Hair" typeName="ColorType"/>
40                        <Parameter name="Eyes" typeName="ColorType"/>
41                        <Parameter name="Height" typeName="HeightType"/>
42                        <Parameter name="Weight" typeName="WeightType"/>
43                        <Parameter name="RSTR" typeName="StringType"/>
44                        <Parameter name="DOB" typeName="DateType"/>
45                </ParameterDeclarations>
46        </RoleNameDeclaration>
47</DomainSpecification>
Note: See TracBrowser for help on using the repository browser.