Package org.bigraphs.framework.core.impl.signature

Class BindingSignature

java.lang.Object

org.bigraphs.framework.core.AbstractEcoreSignature<BindingControl<? extends NamedType,? extends FiniteOrdinal>>

org.bigraphs.framework.core.impl.signature.BindingSignature

All Implemented Interfaces:

EcoreBigraphExt, EcoreSignature, Signature<BindingControl<? extends NamedType,? extends FiniteOrdinal>>

public class BindingSignature
extends AbstractEcoreSignature<BindingControl<? extends NamedType,? extends FiniteOrdinal>>

Note: This class is not yet implemented!

Points can be bound in binding bigraphs and are represented by this signature type.

According to Milner, a binding implies that for a node it has arity 0 and it is passive.

Can only be used within binding bigraphs.

A binding signature K is a set of controls. For each K ∈ K it provides a pair of finite ordinals: the binding arity arb(K) = h and the free arity arf(k) = k. We write ar(K) = arb(K) + arf (k).

Author:

Dominik Grzelak

Field Summary

Fields inherited from class org.bigraphs.framework.core.AbstractEcoreSignature

controls, instanceModel, sigPackage

Fields inherited from interface org.bigraphs.framework.core.EcoreSignature

VALIDATORS

Constructor Summary

Constructors

Constructor	Description
BindingSignature(Set<BindingControl<? extends NamedType,? extends FiniteOrdinal>> controls)

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.ecore.EObject	getInstanceModel()	Return the respective signature Ecore-based instance model.
org.eclipse.emf.ecore.EPackage	getMetaModel()	Return the respective signature Ecore-based metamodel.
boolean	isBindingControl(BindingControl<? extends NamedType,? extends FiniteOrdinal> control)

Methods inherited from class org.bigraphs.framework.core.AbstractEcoreSignature

equals, extendBControlEClass, extendBKindSortCompositeEClass, extendBKindSortLeafEClass, getControls, hashCode, recreateControls, recreateSorts, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.bigraphs.framework.core.Signature

getArity, getArity, getControl, getControl, getControlByName

Constructor Details

BindingSignature

public BindingSignature(Set<BindingControl<? extends NamedType,? extends FiniteOrdinal>> controls)

Method Details

isBindingControl

public boolean isBindingControl(BindingControl<? extends NamedType,? extends FiniteOrdinal> control)

getMetaModel

public org.eclipse.emf.ecore.EPackage getMetaModel()

Description copied from interface: EcoreSignature

Return the respective signature Ecore-based metamodel.

Specified by:

getMetaModel in interface EcoreBigraphExt

Specified by:

getMetaModel in interface EcoreSignature

Specified by:

getMetaModel in class AbstractEcoreSignature<BindingControl<? extends NamedType,? extends FiniteOrdinal>>

Returns:

the metamodel of the base signature specification

See Also:

• de.tudresden.inf.st.bigraphs.models.signatureBaseModel.SignatureBaseModelPackage

getInstanceModel

public org.eclipse.emf.ecore.EObject getInstanceModel()

Description copied from interface: EcoreSignature

Return the respective signature Ecore-based instance model.

Specified by:

getInstanceModel in interface EcoreBigraphExt

Specified by:

getInstanceModel in interface EcoreSignature

Specified by:

getInstanceModel in class AbstractEcoreSignature<BindingControl<? extends NamedType,? extends FiniteOrdinal>>

Returns:

the signature instance model