./co.edu.uniandes.hiles.m2m.sysml2hiles.topcased/src/co/edu/uniandes/hiles/m2m/sysml2hiles/topcased/epsilon/behavior/InputPinService.etl

Behavior/InputPinService [ Rules ]

[ Top ] [ Behavior ] [ Rules ]

SUMMARY

Transform a SysML InputPin into a HiLeS Service. ($Rev: 443 $)

DESCRIPTION

InputPins of Activities are represented by Services which will be added to the Architecture that contains it.

SEE ALSO

StrcuturalBlockBehavior

DOMAIN

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

SPECIFICATION

        relation InputPinPort
        {
            checkonly domain SysML pin:InputPin {
                action = a:CallOperationAction{},
                name = nn,
                type = nt:Type{},
            }
            enforce domain HiLeS service:Service {
                block = b:Structural,
                name = nn,
                id = nt.id,
                direction = PointDirection::from,
            }
            when {
                StrcuturalBlockBehavior(a.behavior.getParentBlock(), b, pin, pout);
                Activity->allInstances()->exists(a | a.nodes->includes(pin))
            }
 *