FACE Prolog Model

The FACE parser (faceparser.sbp) is a set of post-processing rules for the xmi parser (xmlrev). It takes XML prolog predicates as input and produces a list of FACE prolog predicates as output. These rules have been automatically generated by EMOF2LMP, another LMP tool that processes EMOF metamodels.

Current version of the FACE parser complies with FACE 3.0. FACE is a trademark of the Open Group.

This page describes the FACE prolog API that can be used to create processing tools with LMP or LAMP

FACE 3.0 predicates

isFaceArchitectureModel(ParentId,InstId,XmiId,Name,Description).

isFaceDatamodelDataModel(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelConceptualDataModel(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalDataModel(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelPlatformDataModel(ParentId,InstId,XmiId,Name,Description).

isFaceDatamodelConceptualAssociation(ParentId,InstId,XmiId,Name,Description,Specializes,Basisentity).
isFaceDatamodelConceptualBasisEntity(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelConceptualCharacteristicPathNode(ParentId,InstId,XmiId,Projectedcharacteristic).
isFaceDatamodelConceptualCompositeQuery(ParentId,InstId,XmiId,Name,Description,Name,Description,Isunion).
isFaceDatamodelConceptualComposition(ParentId,InstId,XmiId,Rolename,Lowerbound,Upperbound,Specializes,Description,Type).
isFaceDatamodelConceptualDomain(ParentId,InstId,XmiId,Name,Description,Basisentity).
isFaceDatamodelConceptualEntity(ParentId,InstId,XmiId,Name,Description,Specializes,Basisentity).
isFaceDatamodelConceptualObservable(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelConceptualParticipant(ParentId,InstId,XmiId,Rolename,Lowerbound,Upperbound,Specializes,Description,Type,Sourcelowerbound,Sourceupperbound).
isFaceDatamodelConceptualParticipantPathNode(ParentId,InstId,XmiId,Projectedparticipant).
isFaceDatamodelConceptualQuery(ParentId,InstId,XmiId,Name,Description,Specification).
isFaceDatamodelConceptualQueryComposition(ParentId,InstId,XmiId,Rolename,Type).

isFaceDatamodelLogicalAffineConversion(ParentId,InstId,XmiId,Name,Description,Destination,Source,Conversionfactor,Offset).
isFaceDatamodelLogicalAssociation(ParentId,InstId,XmiId,Name,Description,Realizes,Specializes).
isFaceDatamodelLogicalBoolean(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalCharacter(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalCharacteristicPathNode(ParentId,InstId,XmiId,Projectedcharacteristic).
isFaceDatamodelLogicalCompositeQuery(ParentId,InstId,XmiId,Name,Description,Name,Description,Realizes,Isunion).
isFaceDatamodelLogicalComposition(ParentId,InstId,XmiId,Rolename,Lowerbound,Upperbound,Specializes,Description,Type,Realizes).
isFaceDatamodelLogicalConstraint(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalConversion(ParentId,InstId,XmiId,Name,Description,Destination,Source).
isFaceDatamodelLogicalCoordinateSystem(ParentId,InstId,XmiId,Name,Description,Axis,Axisrelationshipdescription,Angleequation,Distanceequation).
isFaceDatamodelLogicalCoordinateSystemAxis(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalEntity(ParentId,InstId,XmiId,Name,Description,Realizes,Specializes).
isFaceDatamodelLogicalEnumerated(ParentId,InstId,XmiId,Name,Description,Standardreference).
isFaceDatamodelLogicalEnumerationConstraint(ParentId,InstId,XmiId,Name,Description,Allowedvalue).
isFaceDatamodelLogicalEnumerationLabel(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalFixedLengthStringConstraint(ParentId,InstId,XmiId,Name,Description,Length).
isFaceDatamodelLogicalInteger(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalIntegerRangeConstraint(ParentId,InstId,XmiId,Name,Description,Lowerbound,Upperbound).
isFaceDatamodelLogicalLandmark(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalMeasurement(ParentId,InstId,XmiId,Name,Description,Measurementaxis,Measurementsystem,Realizes).
isFaceDatamodelLogicalMeasurementAttribute(ParentId,InstId,XmiId,Type,Rolename).
isFaceDatamodelLogicalMeasurementAxis(ParentId,InstId,XmiId,Name,Description,Valuetypeunit,Measurementsystemaxis,Realizes).
isFaceDatamodelLogicalMeasurementConstraint(ParentId,InstId,XmiId,Constrainttext).
isFaceDatamodelLogicalMeasurementConversion(ParentId,InstId,XmiId,Name,Description,Equation,Conversionlossdescription,Source,Target).
isFaceDatamodelLogicalMeasurementSystem(ParentId,InstId,XmiId,Name,Description,Measurementsystemaxis,Coordinatesystem,Externalstandardreference,Orientation).
isFaceDatamodelLogicalMeasurementSystemAxis(ParentId,InstId,XmiId,Name,Description,Axis,Defaultvaluetypeunit).
isFaceDatamodelLogicalMeasurementSystemConversion(ParentId,InstId,XmiId,Name,Description,Source,Target,Equation,Conversionlossdescription).
isFaceDatamodelLogicalNatural(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalNonNegativeReal(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalParticipant(ParentId,InstId,XmiId,Rolename,Lowerbound,Upperbound,Specializes,Description,Type,Realizes,Sourcelowerbound,Sourceupperbound).
isFaceDatamodelLogicalParticipantPathNode(ParentId,InstId,XmiId,Projectedparticipant).
isFaceDatamodelLogicalQuery(ParentId,InstId,XmiId,Name,Description,Realizes,Specification).
isFaceDatamodelLogicalQueryComposition(ParentId,InstId,XmiId,Realizes,Rolename,Type).
isFaceDatamodelLogicalReal(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalRealRangeConstraint(ParentId,InstId,XmiId,Name,Description,Lowerbound,Upperbound,Lowerboundinclusive,Upperboundinclusive).
isFaceDatamodelLogicalReferencePoint(ParentId,InstId,XmiId,Name,Description,Landmark).
isFaceDatamodelLogicalReferencePointPart(ParentId,InstId,XmiId,Axis,Value,Valuetypeunit).
isFaceDatamodelLogicalRegularExpressionConstraint(ParentId,InstId,XmiId,Name,Description,Expression).
isFaceDatamodelLogicalStandardMeasurementSystem(ParentId,InstId,XmiId,Name,Description,Referencestandard).
isFaceDatamodelLogicalString(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalUnit(ParentId,InstId,XmiId,Name,Description).
isFaceDatamodelLogicalValueTypeUnit(ParentId,InstId,XmiId,Name,Description,Unit,Valuetype).

isFaceDatamodelPlatformAssociation(ParentId,InstId,XmiId,Name,Description,Realizes,Specializes).
isFaceDatamodelPlatformBoolean(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformBoundedString(ParentId,InstId,XmiId,Name,Description,Realizes,Maxlength).
isFaceDatamodelPlatformChar(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformCharArray(ParentId,InstId,XmiId,Name,Description,Realizes,Length).
isFaceDatamodelPlatformCharacteristicPathNode(ParentId,InstId,XmiId,Projectedcharacteristic).
isFaceDatamodelPlatformCompositeTemplate(ParentId,InstId,XmiId,Name,Description,Name,Description,Realizes,Isunion).
isFaceDatamodelPlatformComposition(ParentId,InstId,XmiId,Rolename,Upperbound,Lowerbound,Specializes,Description,Type,Realizes,Precision).
isFaceDatamodelPlatformDouble(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformEntity(ParentId,InstId,XmiId,Name,Description,Realizes,Specializes).
isFaceDatamodelPlatformEnumeration(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformFixed(ParentId,InstId,XmiId,Name,Description,Realizes,Digits,Scale).
isFaceDatamodelPlatformFloat(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformIDLArray(ParentId,InstId,XmiId,Name,Description,Realizes,Size).
isFaceDatamodelPlatformIDLComposition(ParentId,InstId,XmiId,Type,Rolename,Precision,Realizes).
isFaceDatamodelPlatformIDLSequence(ParentId,InstId,XmiId,Name,Description,Realizes,Maxsize).
isFaceDatamodelPlatformIDLStruct(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformLong(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformLongDouble(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformLongLong(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformOctet(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformParticipant(ParentId,InstId,XmiId,Rolename,Upperbound,Lowerbound,Specializes,Description,Type,Realizes,Sourcelowerbound,Sourceupperbound).
isFaceDatamodelPlatformParticipantPathNode(ParentId,InstId,XmiId,Projectedparticipant).
isFaceDatamodelPlatformQuery(ParentId,InstId,XmiId,Name,Description,Realizes,Specification).
isFaceDatamodelPlatformShort(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformString(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformTemplate(ParentId,InstId,XmiId,Name,Description,Specification,Boundquery,Effectivequery).
isFaceDatamodelPlatformTemplateComposition(ParentId,InstId,XmiId,Rolename,Realizes,Type).
isFaceDatamodelPlatformULong(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformULongLong(ParentId,InstId,XmiId,Name,Description,Realizes).
isFaceDatamodelPlatformUShort(ParentId,InstId,XmiId,Name,Description,Realizes).

isFaceUopAbstractConnection(ParentId,InstId,XmiId,Name,Description,Conceptualview,Logicalview).
isFaceUopAbstractUoP(ParentId,InstId,XmiId,Name,Description).
isFaceUopComponentFramework(ParentId,InstId,XmiId,Name,Description,Version).
isFaceUopConnection(ParentId,InstId,XmiId,Name,Description,Realizes,Period,Synchronizationstyle).
isFaceUopLanguageRunTime(ParentId,InstId,XmiId,Name,Description,Version).
isFaceUopLifeCycleManagementPort(ParentId,InstId,XmiId,Messageexchangetype,Lcmmessagetype).
isFaceUopPlatformSpecificComponent(ParentId,InstId,XmiId,Name,Description,Supportingcomponent,Realizes,Transportapilanguage,Designassurancelevel,Partitiontype,Designassurancestandard,Faceprofile).
isFaceUopPortableComponent(ParentId,InstId,XmiId,Name,Description,Supportingcomponent,Realizes,Transportapilanguage,Designassurancelevel,Partitiontype,Designassurancestandard,Faceprofile).
isFaceUopQueuingConnection(ParentId,InstId,XmiId,Name,Description,Realizes,Period,Synchronizationstyle,Messagetype,Messageexchangetype,Depth).
isFaceUopRAMMemoryRequirements(ParentId,InstId,XmiId,Heapstackmin,Heapstackmax,Heapstacktypical,Textmax,Rodatamax,Datamax,Bssmax).
isFaceUopSingleInstanceMessageConnection(ParentId,InstId,XmiId,Name,Description,Realizes,Period,Synchronizationstyle,Messagetype,Messageexchangetype).
isFaceUopThread(ParentId,InstId,XmiId,Period,Timecapacity,Relativepriority,Relativecoreaffinity,Threadtype).
isFaceUopUoPModel(ParentId,InstId,XmiId,Name,Description).

isFaceIntegrationIntegrationContext(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationIntegrationModel(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationTSNodeConnection(ParentId,InstId,XmiId,Source,Destination).
isFaceIntegrationTSNodeInputPort(ParentId,InstId,XmiId,View).
isFaceIntegrationTSNodeOutputPort(ParentId,InstId,XmiId,View).
isFaceIntegrationTransportChannel(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationUoPInputEndPoint(ParentId,InstId,XmiId,Connection).
isFaceIntegrationUoPInstance(ParentId,InstId,XmiId,Name,Description,Realizes,Configurationuri).
isFaceIntegrationUoPOutputEndPoint(ParentId,InstId,XmiId,Connection).
isFaceIntegrationViewAggregation(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationViewFilter(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationViewSink(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationViewSource(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationViewTransformation(ParentId,InstId,XmiId,Name,Description).
isFaceIntegrationViewTransporter(ParentId,InstId,XmiId,Name,Description,Channel).

isFaceTraceabilityConnectionTraceabilitySet(ParentId,InstId,XmiId,Name,Description,Connection,Abstractconnection).
isFaceTraceabilityTraceabilityModel(ParentId,InstId,XmiId,Name,Description).
isFaceTraceabilityTraceabilityPoint(ParentId,InstId,XmiId,Rationale,Reference).
isFaceTraceabilityUoPTraceabilitySet(ParentId,InstId,XmiId,Name,Description,Uop,Abstractuop).