Universal Object Language (UOL) and XML
[OMG Document: ad/98-07-07] Version 1.2 /T-UOL-19980707 July 7th, 1998.
From: ftp://ftp.omg.org/pub/docs/ad/98-07-07.pdf
Copyright: Recerca Informàtica and Daimler-Benz Research and Technology
Examples from July 6, 1998 Submission
<!entity % extends " (stereotyped &#124; tagged)+ ">
<!entity % extension " stereotype &#124; constraint &#124; tv ">
<!entity % package " (package &#124; interface &#124;class &#124; relation &#124; stereotype &#124; constraint &#124; tv &#124; usecase &#124; activity &#124; comment &#124; actor &#124; exception &#124; component &#124; node &#124; collaboration) ">
<!entity % idlist " identifier+ ">
<!element act (#PCDATA)>
<!element action (to* , (operate &#124; signal)? ,(call &#124; create &#124; text))>
<!attlist action name ID #REQUIRED synchronous (YES&#124;NO) #IMPLIED expression CDATA #IMPLIED>
<!element actions (entry* , exit*)>
<!element actionstate ((activitystate , transition? , actions?) &#124; state &#124; (statedef , flow) &#124; pseudostate &#124; subactivity)>
<!element activity (constraint? , constrained? , activitystate , transition? , action?)>
<!attlist activity name ID #REQUIRED viewed CDATA #IMPLIED>
<!element activitystate (statedef , actionstate+)>
<!attlist activitystate partitioned CDATA #IMPLIED>
<!element actor (formalgenerics? , (%extends;)? , inherit? , feature)>
<!attlist actor name ID #REQUIRED viewed CDATA #IMPLIED>
<!element adaptation ((rename , as)+ &#124; export+ &#124; redefine+ &#124; select+)>
<!element after (#PCDATA)>
<!element alternative (#PCDATA)>
<!element argument ((in &#124; out &#124; inout) , identifier+ , typemark)*>
<!element as (#PCDATA)>
<!element attribute (constrained? ,(typedef &#124; ((%idlist;)? , typemark)) , (%extends;)?)>
<!attlist attribute name ID #REQUIRED static (NO&#124;YES) #FIXED "NO" changes (addonly&#124;frozen) #IMPLIED>
<!element atts (identifier)+>
<!element BIT (#PCDATA)>
<!element call (operate)>
<!element class (formalgenerics? , (%extension;)? , (%extends;)? , ((inherit , constrained?)? , (feature , constrained?)? , (statemachine+ , constrained?)?)?)>
<!attlist class name ID #REQUIRED deferred (no&#124;yes) #IMPLIED viewed CDATA #IMPLIED>
<!element collaboration (formalgenerics? , (class &#124; identifier &#124; interface &#124; relation)* , action? , message?)>
<!attlist collaboration name ID #REQUIRED viewed CDATA #IMPLIED implements ID #IMPLIED>
<!element comment (#PCDATA)>
<!element component (formalgenerics? , (%extends;)? , inherit? , identifier+ ,constrained?)>
<!attlist component name ID #REQUIRED viewed CDATA #IMPLIED>
<!element composite (statedef , statekind+)>
<!element constant (#PCDATA)>
<!element constrained (#PCDATA)>
<!element constraint (#PCDATA)>
<!attlist constraint name ID #REQUIRED>
<!element create EMPTY>
<!attlist create name ID #REQUIRED>
<!element deferred (identifier)+>
<!element dependency (identifier+ , to)>
<!element diagram (identifier)+>
<!attlist diagram type ID #REQUIRED>
<!element entry (identifier)+>
<!attlist entry name ID #REQUIRED>
<!element exception (formalgenerics? , (%extends;)? , inherit? , feature)>
<!attlist exception name ID #REQUIRED viewed CDATA #IMPLIED>
<!element exit (identifier)+>
<!attlist exit name ID #REQUIRED>
<!element export EMPTY>
<!attlist export name CDATA #REQUIRED>
<!element expresion (#PCDATA)>
<!element extensionin (#PCDATA)>
<!element feature (visibility , ((stereotyped , (method &#124; attribute &#124; operation &#124; tagged)*) &#124; (method &#124; attribute &#124; operation &#124; tagged)+))>
<!element flow (constraint? , constrained?)>
<!attlist flow classname ID #REQUIRED statename CDATA #REQUIRED>
<!element formalgenerics (constraint)?>
<!attlist formalgenerics name ID #REQUIRED>
<!element from (#PCDATA)>
<!element identifier EMPTY>
<!attlist identifier name ID #REQUIRED>
<!element import (visibility? , (identifier+ , as?)? , from)+>
<!element in EMPTY>
<!element inherit (identifier , type*)+>
<!attlist inherit name ID #REQUIRED>
<!element inout EMPTY>
<!element interface (formalgenerics? , (%extension;)? , (%extends;)? , inherit? , ((visibility , operation*)* , constrained?))>
<!attlist interface name ID #REQUIRED viewed CDATA #IMPLIED>
<!element internaltransition (((when &#124; after) , (call &#124; (trigger , (when &#124; after &#124; signal)))?)+ , (%idlist;)?)>
<!element is (visibility? , %package;)+>
<!element like (#PCDATA)>
<!element link (linktype &#124; (dependency+ , text)+)>
<!attlist link with ID #REQUIRED>
<!element linktype EMPTY>
<!attlist linktype roleA ID #REQUIRED roleB ID #REQUIRED cardA CDATA #IMPLIED cardBed CDATA #IMPLIED>
<!element message (identifier)+>
<!element method (argument , typemark? , (pre? , post)? , (%extends;)? , constrained? , (text &#124; identifier) , PCDATA)>
<!attlist method name ID #REQUIRED deferred (YES&#124;NO) #IMPLIED static (YES&#124;NO) #IMPLIED>
<!element model (diagram* , (subsystem &#124; stereotyped &#124; constrained &#124; tagged &#124; %package;)*)>
<!attlist model name ID #REQUIRED>
<!element node (formalgenerics? , (%extends;)? , inherit? , identifier+ , constrained?)>
<!attlist node name ID #REQUIRED viewed CDATA #IMPLIED>
<!element operate (expresion)+>
<!attlist operate class ID #REQUIRED operation ID #REQUIRED>
<!element operation (argument , typemark? , (pre &#124; post) , (%extension;)? , (%extends;)? , constrained? , PCDATA)>
<!attlist operation name ID #REQUIRED static (YES&#124;NO) #IMPLIED deferred (YES&#124;NO) #IMPLIED>
<!element out EMPTY>
<!element package ((%extends;)? , (%idlist;)? , import? , is? , constrained?)>
<!attlist package name ID #REQUIRED viewed ID #IMPLIED>
<!element post (#PCDATA)>
<!element pre (#PCDATA)>
<!element pseudostate (constraint? , constrained? , actions?)>
<!attlist pseudostate type (deephistory&#124;shallowhistory&#124;initial&#124;final&#124;join&#124;fork&#124;branch) #REQUIRED name ID #REQUIRED>
<!element raise (identifier)+>
<!attlist raise name ID #REQUIRED>
<!element redefine EMPTY>
<!attlist redefine name CDATA #REQUIRED>
<!element relation (formalgenerics? , (%extension;)? , (%extends;)? , identifier+ , adaptation , (link &#124; (feature? , constrained?)))>
<!element rename EMPTY>
<!attlist rename name CDATA #REQUIRED>
<!element select EMPTY>
<!attlist select name CDATA #REQUIRED>
<!element signal (to? , raise*)>
<!attlist signal name ID #REQUIRED>
<!element state (constraint? , constrained? , actions?)>
<!attlist state name ID #REQUIRED viewed CDATA #IMPLIED>
<!element statedef (state , internaltransition* , deferred?)>
<!element statekind (statedef &#124; pseudostate &#124; (submachine? , composite , transition* , action))>
<!element statemachine (constraint? , constrained? , composite , transition? , action?)>
<!attlist statemachine name ID #REQUIRED viewed CDATA #IMPLIED>
<!element stereotype (identifier+ , (constraint &#124; tv)+)>
<!attlist stereotype name ID #REQUIRED of ID #REQUIRED>
<!element stereotyped (#PCDATA)>
<!element subactivity (constraint? , constrained? , activitystate , transition+ , action+)>
<!attlist subactivity name ID #REQUIRED viewed CDATA #IMPLIED>
<!element submachine (constraint? , constrained?)>
<!attlist submachine name ID #REQUIRED viewed CDATA #IMPLIED>
<!element subsystem (formalgenerics? , (%extends;)? , inherit? , import? , (visibility , (identifier , operate)?)? , (visibility , %package;)* , constrained?)>
<!attlist subsystem name ID #REQUIRED deferred (YES&#124;NO) #IMPLIED viewed CDATA #IMPLIED>
<!element tagged (identifier , expresion)+>
<!element text (#PCDATA)>
<!element to (identifier)+>
<!element transition ((when &#124; after) , (call &#124; (trigger , (when &#124; after &#124; signal)))? , (%idlist;)?)>
<!attlist transition from ID #REQUIRED to ID #REQUIRED>
<!element trigger (#PCDATA)>
<!element type ((expanded? , (identifier , type* , rename* , export* , undefine* , redefine* , select*)+) &#124; like &#124; BIT)>
<!element typedef (#PCDATA)>
<!element typemark (#PCDATA)>
<!attlist typemark like (NO&#124;YES) #FIXED "NO">
<!element tv (identifier , #PCDATA)+>
<!element uc (formalgenerics? , (%idlist;)? , use* , act* , (visibility? , (operation+ &#124; (atts , typemark , (%extends;) , is))?)? , text? , alternative? , extensionin?)>
<!element ucext (identifier+ , with , identifier+ , #PCDATA)>
<!element ucinst (identifier+ , uctype , (identifier , is)*)>
<!attlist ucinst name ID #REQUIRED>
<!element uctype EMPTY>
<!attlist uctype name ID #REQUIRED>
<!element undefine (#PCDATA)>
<!element uol (model &#124; package)>
<!element use (#PCDATA)>
<!element usecase (uc &#124; ucext &#124; ucinst)>
<!attlist usecase name ID #REQUIRED>
<!element visibility (identifier)+>
<!element when (#PCDATA)>
<!element with (#PCDATA)>
<?xml VERSION="1.0" ?>
<!doctype uol SYSTEM "uol.dtd">
<uol>
<model name="Example0">
<diagram type="StaticDiagram">
<identifier name="MainD"/>
<identifier name="MainE"/>
</diagram>
<diagram type="StateDiagram">
<identifier name="PersonD"/>
</diagram>
</model>
</uol>
<?xml VERSION="1.0" ?>
<!doctype uol SYSTEM "uol.dtd">
<uol>
<model name="aModel">
<package name="pMain">
<visibility>
<identifier name="ANY"/>
</visibility>


<stereotype name="EXPRESS_SCHEMA" of="SCHEMA">
</stereotype>
<stereotype name="aStereoType" of="aClass">
</stereotype>
<stereotype name="typeA" of="aClass">
</stereotype>
<class name="Schema_Class">
<stereotyped>
EXPRESS_SCHEMA
</stereotyped>
<feature>
<visibility>
<identifier name="ANY"/>
</visibility>
<attribute name="a">
<typemark>
integer
</typemark>
</attribute>
<attribute name="b">
<typedef>
integer is 3
</typedef>
</attribute>
<attribute name="c">
<constrained>
{aConstraint}</constrained>
<typedef>
<typemark>
integer</typemark>
 [1..3,6..*] is {2,3,4}</typedef>
<stereotyped>
aStereoType
</stereotyped>
</attribute>
</feature>
</class>
<class name="aClass2">
<feature>
<visibility>
<identifier name="ANY"/>
</visibility>
<stereotyped>
typeA
</stereotyped>
</feature>
</class>
</package>
</model>
</uol>
<?xml VERSION="1.0" ?>
<uol>
<model name="Example3">
<subsystem name="adSubsystem" deferred="yes">
<import>
<visibility>
any
</visibility>
<identifier name="anElement"/>
<as>
thisElement
</as>
<from>
aPackage
</from>
</import>
<import>
<identifier name="anotherElement"/>
<from>
aPackage2
</from>
</import>
<import>
<from>
aPackage3
</from>
</import>
</subsystem>


<interface name="anInterface">
<visibility>
any
</visibility>
<operation name="anOperation" static="yes">
<argument>
<out/>
<identifier name="aReturnType"/>
</argument>
<argument>
<in/>
<identifier name="aParam"/>
<typemark>
aType
</typemark>
</argument>
<pre>
aConstraint
</pre>
<post>
aConstraint2
</post>
<constraint>
{aConstraint3}
</constraint>
 Specification</operation>
</interface>
<class name="Person" viewed="MainD">
<feature>
<visibility>
any
</visibility>
<attribute name="isMarried">
<typemark>
boolean
</typemark>
</attribute>
<attribute name="isUnemployed">
<typemark>
boolean
</typemark>
</attribute>
<attribute name="birthDate">
<typemark>
date
</typemark>
</attribute>
<attribute name="age">
<typemark>
boolean
</typemark>
</attribute>
<attribute name="firstName">
<typemark>
string
</typemark>
</attribute>
<attribute name="lastName">
<typemark>
string
</typemark>
</attribute>
<attribute name="sex">
<typedef>
unique enum={male,female}
</typedef>
</attribute>
<operation name="income" deferred="Yes" type="Integer">
<parameter name="d" type="Date"/>
 Incoming operation</operation>
</feature>
<constraint>
 {self.age>=0}</class>
<relation name="job">
<feature>
<visibility>
Person
</visibility>
<stereotyped>
UMLAssociationEnd
</stereotyped>
<tagged>
<identifier name="AssociationEndName"/>
husband</tagged>
</feature>
<feature>
<visibility>
Company
</visibility>
<stereotyped>
UMLAssociationEnd
</stereotyped>
<tagged>
<identifier name="AssociationEndName"/>
 employer</tagged>
</feature>
<constraint>
{self.employee->size %le=50}
</constraint><link roleA="Person" cardA="[0..*]" roleB="Company" cardb="[0..*]" with="Marriage"/></relation>
<stereotype name="aStereotype" of="aBaseClass">
<identifier name="anIcon.gif"/><tv><identifier name="AssociationEndName"/>
 husband</tv><tv><identifier name="IsNavigable"/>
 true</tv><tv><identifier name="IsOrdered"/>
 false</tv><tv><identifier name="Aggregation"/>
 %quot none %quot</tv><constraint name="aConstraint1">
 text \"This is a constraint\"</constraint><constraint name="aConstraint2">
 aConstrainDef</constraint>
</stereotype>
</model>
</uol>
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://xml.coverpages.org/uolSamp.txt">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://xml.coverpages.org/uolSamp.txt" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>