Index

A

action language constant context function call if non-constant context operators atom, [1] priority, [1] type

atom type, [1] automaton, [1]

B

back-end bip2bip

broadcast

C

C++ const context external code external data type serialization component interface compound priorities type compound type, [1]

connector, [1] exported port hierarchical interaction synchron top-level trigger type connector type, [1] const context C++ constant context action language

E

engine execution interaction transition execution sequence

external code C++ external data type C++ external type

F

front-end

function call action language

G

guard, [1], [2]

I

if action language interaction enabled execution guard

interface ivy

L

labeled transition system

LTS

M

marking maximal progress, [1] meta-model

middle-end model semantics state

N

non-determinism, [1]

O

operators action language

P

package, [1] parser antlr Petri net, [1], [2] 1-safe marking non-determinism place transition place

port, [1], [2] enabled, [1], [2] exported internal merged export synchron trigger type port type priorities, [1] priority, [1] ``*`` atom, [1] compound cycle dynamic maximal progress, [1] rule, [1]

R

rendez-vous

S

semantics serialization C++

state syntax compound type connector type package

T

transition enabled execution guard initial internal invisible maximal visible transitive closure

type atom compound connector variable

V

variable, [1] exported type type; external type; native

visible state