| <?xml version="1.0" encoding="UTF-8"?> |
| <!-- |
| * Copyright (c) 2007,2008 Tata Consultancy Services and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v2.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v20.html |
| * |
| * Contributors: |
| * TCS - initial implementation for ModelMorf |
| * E.D.Willink - alignment with evolved specification |
| --> |
| <emof:Package xmi:version="2.0" |
| xmlns:xmi="http://www.omg.org/XMI" xmlns:emof="http://schema.omg.org/spec/MOF/2.0/emof.xml" xmi:id="hstmMM_p" |
| name="hstmMM_p" uri="hstmMM_p"> |
| <ownedType xmi:type="emof:Class" xmi:id="hstmMM_p.State" name="State"> |
| <ownedAttribute xmi:id="hstmMM_p.State.containsState" name="containsState" upper="*" |
| type="hstmMM_p.State" opposite="hstmMM_p.State.containedInState"/> |
| <ownedAttribute xmi:id="hstmMM_p.State.containedInState" name="containedInState" |
| type="hstmMM_p.State" opposite="hstmMM_p.State.containsState"/> |
| <ownedAttribute xmi:id="hstmMM_p.State.outTrans" name="outTrans" upper="*" type="hstmMM_p.Trans" |
| opposite="hstmMM_p.Trans.fromState"/> |
| <ownedAttribute xmi:id="hstmMM_p.State.inTrans" name="inTrans" upper="*" type="hstmMM_p.Trans" |
| opposite="hstmMM_p.Trans.toState"/> |
| <ownedAttribute xmi:id="hstmMM_p.State.name" name="name"> |
| <type xmi:type="emof:PrimitiveType" href="http://schema.omg.org/spec/MOF/2.0/emof.xml#String"/> |
| </ownedAttribute> |
| </ownedType> |
| <ownedType xmi:type="emof:Class" xmi:id="hstmMM_p.Trans" name="Trans"> |
| <ownedAttribute xmi:id="hstmMM_p.Trans.fromState" name="fromState" lower="1" type="hstmMM_p.State" |
| opposite="hstmMM_p.State.outTrans"/> |
| <ownedAttribute xmi:id="hstmMM_p.Trans.toState" name="toState" lower="1" type="hstmMM_p.State" |
| opposite="hstmMM_p.State.inTrans"/> |
| <ownedAttribute xmi:id="hstmMM_p.Trans.name" name="name"> |
| <type xmi:type="emof:PrimitiveType" href="http://schema.omg.org/spec/MOF/2.0/emof.xml#String"/> |
| </ownedAttribute> |
| </ownedType> |
| <ownedType xmi:type="emof:Class" xmi:id="hstmMM_p.dummy" name="dummy"> |
| <ownedAttribute xmi:id="hstmMM_p.dummy.contains_state" name="contains_state" upper="*" |
| type="hstmMM_p.State" isComposite="true"/> |
| <ownedAttribute xmi:id="hstmMM_p.dummy.conatains_trans" name="conatains_trans" |
| upper="*" type="hstmMM_p.Trans" isComposite="true"/> |
| <ownedAttribute xmi:id="hstmMM_p.dummy.name" name="name"> |
| <type xmi:type="emof:PrimitiveType" href="http://schema.omg.org/spec/MOF/2.0/emof.xml#String"/> |
| </ownedAttribute> |
| </ownedType> |
| </emof:Package> |
