[8780cbec] | 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> |
---|