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

Structure/Services [ Rules ]

SUMMARY

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

DESCRIPTION

Copies the name and id form the sysml FlowPort. The service direction depends on the FlowPort direction. As opposed to Ports, Servivces will have a direction logic opposite to the FlowPort direction

DOMAIN

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

SPECIFICATION

        relation Services
        {
            domain SysML fp:FlowPort {
                owner = sysmlb:Block{},
                name = fpn,
                id = id,
                direction = fpdir:FlowDirection,
            }
            domain HiLeS s:Service {
                owner = arch:Architecture{},
                name = fpn,
                id = id,
                direction = sdir:PointDirection,
            }
            where {
                if(fpdir = FlowDirection::in) then
                    sdir = PointDirection::from;
                else
                    if(fpdir = FlowDirection::out) then
                        sdir = PointDirection::to;
                    endif
                endif
            }
        }