vidmoten.miuml-jaxb.0.3.1.source-code.atc.xml Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of miuml-jaxb Show documentation
Contains miUML metamodel schema and xuml-tools extensions schema and generates JAXB classes from those schemas.
There is a newer version: 0.6
<?xml version="1.0" encoding="UTF-8" ?>
<Domains xmlns="http://www.miuml.org/metamodel" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	xsi:schemaLocation="http://www.miuml.org/metamodel miuml-metamodel.xsd  http://org.github/xuml-tools/miuml-metamodel-extensions xuml-tools-miuml-metamodel-extensions.xsd"
	xmlns:xt="http://org.github/xuml-tools/miuml-metamodel-extensions">

	<!-- as per https://github.com/miuml/air-traffic-control -->

	<DomainBuildSpecification Name="Base"
		DomainNameIsDefaultSubsystemName="true" DefaultSubsystemName="Subsystem"
		DefaultSubsystemRange="100" DefaultIdName="Id" DefaultIdType="arbitraryId" />

	<IntegerType Name="arbitraryId" Units="None" DefaultValue="1"
		UpperLimit="99999999999" LowerLimit="1" />

	<SymbolicType Name="Employee ID" MaxLength="1" MinLength="64"
		Prefix="" Suffix="" ValidationPattern=".*" DefaultValue="" />
	<SymbolicType Name="Name" MaxLength="1" MinLength="256"
		Prefix="" Suffix="" ValidationPattern=".*" DefaultValue="" />
	<IntegerType Name="Duration" Units="Epoch millis"
		DefaultValue="0" UpperLimit="99999999999" LowerLimit="0" />
	<IntegerType Name="Experience level" Units="level"
		DefaultValue="0" UpperLimit="10" LowerLimit="0" />
	<IntegerType Name="Date" Units="Epoch millis" DefaultValue="0"
		UpperLimit="99999999999" LowerLimit="0" />
	<SymbolicType Name="Czone name" MaxLength="1" MinLength="256"
		Prefix="" Suffix="" ValidationPattern=".*" DefaultValue="" />
	<IntegerType Name="Aircraft quantity" Units="None"
		DefaultValue="0" UpperLimit="99999999999" LowerLimit="0" />
	<IntegerType Name="Station number" Units="None"
		DefaultValue="0" UpperLimit="99999999999" LowerLimit="0" />
	<RealType Name="Aircraft maximum capacity" Precision="10"
		Units="kilograms" LowerLimit="0" UpperLimit="999999999999"
		DefaultValue="0" />

	<ModeledDomain Name="ATC">
		<Subsystem Name="ATC" Floor="1" Ceiling="10">
			<Class Name="Air Traffic Controller">
				<IndependentAttribute Name="ID" Type="Employee ID">
					<Identifier Number="1" />
				</IndependentAttribute>

				<IndependentAttribute Name="Name" Type="Name" />

				<IndependentAttribute Name="Rating" Type="Experience level" />

				<ReferentialAttribute Name="Off Duty Controller">
					<SpecializationReference Attribute="ID" Relationship="1"/>
				</ReferentialAttribute>
				
				<ReferentialAttribute Name="On Duty Controller">
					<SpecializationReference Attribute="ID" Relationship="1"/>
				</ReferentialAttribute>

				<Lifecycle>
					<State Name="Off Duty" />
					<State Name="On Duty" />
					<State Name="Verifying Adequate Break" />
					<State Name="Logging Out" />
					<State Name="Verifying Full Handoff" />
					<State Name="Logging In" />
					<LocalEffectiveSignalingEvent Name="Ready for duty"
						ID="1">
						<EventSignature>
							<StateModelParameter Name="Station ID" Type="Station number" />
						</EventSignature>
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Cannot go on duty"
						ID="2">
						<EventSignature />
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Off duty"
						ID="3">
						<EventSignature />
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Log out"
						ID="4">
						<EventSignature />
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Ready for a break"
						ID="5">
						<EventSignature />
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Must hand off zones"
						ID="6">
						<EventSignature />
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Logged in"
						ID="7">
						<EventSignature />
					</LocalEffectiveSignalingEvent>
					<LocalEffectiveSignalingEvent Name="Log in"
						ID="8">
						<EventSignature>
							<StateModelParameter Name="Station ID" Type="Station number" />
						</EventSignature>
					</LocalEffectiveSignalingEvent>
				</Lifecycle>

			</Class>

			<Class Name="Off Duty Controller">
				<ReferentialAttribute Name="ID">
					<Identifier Number="1" />
					<GeneralizationReference Attribute="ID"
						Relationship="1" />
				</ReferentialAttribute>
				<IndependentAttribute Name="Last shift ended"
					Type="Date" />
			</Class>

			<Class Name="On Duty Controller">
				<ReferentialAttribute Name="ID">
					<Identifier Number="1" />
					<GeneralizationReference Attribute="ID"
						Relationship="1" />
				</ReferentialAttribute>
				<IndependentAttribute Name="Time logged in"
					Type="Date" />
				<ReferentialAttribute Name="Station">
					<ToOneReference Attribute="Number" Relationship="3" />
				</ReferentialAttribute>
			</Class>

			<Class Name="Shift Specification">
				<IndependentAttribute Name="Name" Type="Name">
					<Identifier Number="1" />
				</IndependentAttribute>
				<IndependentAttribute Name="Min break" Type="Duration" />
				<IndependentAttribute Name="Max shift" Type="Duration" />
			</Class>

			<Class Name="Control Zone">
				<IndependentAttribute Name="Name" Type="Czone name">
					<Identifier Number="1" />
				</IndependentAttribute>
				<IndependentAttribute Name="Traffic" Type="Aircraft quantity" />
				<ReferentialAttribute Name="Controller">
					<ToOneReference Attribute="ID" Relationship="2" />
				</ReferentialAttribute>
			</Class>

			<Class Name="Duty Station">
				<IndependentAttribute Name="Number" Type="Station number">
					<Identifier Number="1" />
				</IndependentAttribute>
				<IndependentAttribute Name="Location" Type="Name" />
				<IndependentAttribute Name="Capacity"
					Type="Aircraft maximum capacity" />
			</Class>

			<Generalization Superclass="Air Traffic Controller"
				Rnum="1">
				<SpecializedClass Name="Off Duty Controller" />
				<SpecializedClass Name="On Duty Controller" />
			</Generalization>

			<BinaryAssociation Rnum="2">
				<ActivePerspective OnePerspective="false"
					Conditional="true" ViewedClass="Control Zone" Phrase="is directing traffic within" />
				<PassivePerspective OnePerspective="true"
					Conditional="false" ViewedClass="Off Duty Controller" Phrase="has traffic directed by" />
			</BinaryAssociation>

			<BinaryAssociation Rnum="3">
				<ActivePerspective OnePerspective="true"
					Conditional="false" ViewedClass="Duty Station" Phrase="is logged into" />
				<PassivePerspective OnePerspective="true"
					Conditional="true" ViewedClass="On Duty Controller" Phrase="is being used by" />
			</BinaryAssociation>

		</Subsystem>

	</ModeledDomain>
</Domains>