./co.edu.uniandes.hiles.m2m.sysml2hiles.topcased/src/co/edu/uniandes/hiles/m2m/sysml2hiles/topcased/epsilon/structure/Ports.etl

Structure/Ports [ Rules ]

[ Top ] [ Structure ] [ Rules ]

SUMMARY

Transform a SysML:FlowPort to a HiLeS:Port. ($Rev: 134 $)

DESCRIPTION

Copies the name and id form the sysml FlowPort. The port direction depends on the FlowPort direction.

DOMAIN

SysML - http://www.topcased.org/2.0/sysML
HiLeS - https://hiles.uniandes.edu.co/1.0/HiLeS

SPECIFICATION

        relation Ports
        {
            checkonly domain SysML fp:FlowPort {
                owner = sysmlb:Block{},
                name = fpn,
                id = id,
                direction = fpdir:FlowDirection,
            }
            enforce domain HiLeS p:Port {
                owner = hilesb:Block{},
                name = fpn,
                id = id,
                direction = pdir:PointDirection,
            }
            when {
                StructuralBlock(sysmlb, hilesb);
            }
            where {
                if(fpdir = FlowDirection::in) then
                    pdir = PointDirection::input;
                else
                    if(fpdir = FlowDirection::out) then
                        pdir = PointDirection::output;
                endif
            endif
            }
        }