| <?xml version="1.0" encoding="UTF-8" ?> |
| <!DOCTYPE FBType SYSTEM "http://www.holobloc.com/xml/LibraryElement.dtd"> |
| <FBType Comment="binary selection" Name="F_SEL"> |
| <Identification Description="Copyright (c) 2012 TU Wien ACIN This program and the accompanying materials are made available under the terms of the Eclipse Public License 2.0 which is available at https://www.eclipse.org/legal/epl-2.0/ SPDX-License-Identifier: EPL-2.0" Classification="standard selection function" Standard="61131-3"/> |
| <VersionInfo Author="Monika Wenger" Date="2012-03-25" Organization="TU Wien ACIN" Version="1.0"/> |
| <InterfaceList> |
| <EventInputs> |
| <Event Comment="Service Request" Name="REQ" Type="Event"> |
| <With Var="G"/> |
| <With Var="IN1"/> |
| <With Var="IN0"/> |
| </Event> |
| </EventInputs> |
| <EventOutputs> |
| <Event Comment="Confirmation of Requested Service" Name="CNF" Type="Event"> |
| <With Var="OUT"/> |
| </Event> |
| </EventOutputs> |
| <InputVars> |
| <VarDeclaration Comment="Selelctor" InitialValue="" Name="G" Type="BOOL"/> |
| <VarDeclaration Comment="Selectable input variable" InitialValue="" Name="IN0" Type="ANY"/> |
| <VarDeclaration Comment="Selectable input variable" InitialValue="" Name="IN1" Type="ANY"/> |
| </InputVars> |
| <OutputVars> |
| <VarDeclaration Comment="Selected input" InitialValue="" Name="OUT" Type="ANY"/> |
| </OutputVars> |
| </InterfaceList> |
| <Service Comment="selection (binary selection)" LeftInterface="APPLICATION" RightInterface="RESOURCE"> |
| <ServiceSequence Name="normal_establishment"> |
| <ServiceTransaction> |
| <InputPrimitive Event="INIT+" Interface="APPLICATION" Parameters="PARAMS"/> |
| <OutputPrimitive Event="INITO+" Interface="APPLICATION" Parameters="PARAMS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="unsuccessful_establishment"> |
| <ServiceTransaction> |
| <InputPrimitive Event="INIT+" Interface="APPLICATION" Parameters="PARAMS"/> |
| <OutputPrimitive Event="INITO-" Interface="APPLICATION" Parameters="STATUS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="request_confirm"> |
| <ServiceTransaction> |
| <InputPrimitive Event="REQ+" Interface="APPLICATION" Parameters="SD"/> |
| <OutputPrimitive Event="CNF+" Interface="APPLICATION" Parameters="RD"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="request_inhibited"> |
| <ServiceTransaction> |
| <InputPrimitive Event="REQ-" Interface="APPLICATION" Parameters="SD"/> |
| <OutputPrimitive Event="CNF-" Interface="APPLICATION" Parameters="STATUS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="request_error"> |
| <ServiceTransaction> |
| <InputPrimitive Event="REQ+" Interface="APPLICATION" Parameters="SD"/> |
| <OutputPrimitive Event="CNF-" Interface="APPLICATION" Parameters="STATUS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="indication_response"> |
| <ServiceTransaction> |
| <InputPrimitive Event="indicate" Interface="RESOURCE" Parameters="RD"/> |
| <OutputPrimitive Event="IND+" Interface="APPLICATION" Parameters="RD"/> |
| </ServiceTransaction> |
| <ServiceTransaction> |
| <InputPrimitive Event="RSP" Interface="APPLICATION" Parameters="QI,SD"/> |
| <OutputPrimitive Event="response" Interface="RESOURCE" Parameters="QI,SD"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="indication_inhibited"> |
| <ServiceTransaction> |
| <InputPrimitive Event="indicate" Interface="RESOURCE" Parameters="RD,QI=FALSE"/> |
| <OutputPrimitive Event="inhibited" Interface="RESOURCE"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="error_indication"> |
| <ServiceTransaction> |
| <InputPrimitive Event="error" Interface="RESOURCE" Parameters="STATUS"/> |
| <OutputPrimitive Event="IND-" Interface="APPLICATION" Parameters="STATUS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="application_initiated_termination"> |
| <ServiceTransaction> |
| <InputPrimitive Event="INIT-" Interface="APPLICATION"/> |
| <OutputPrimitive Event="INITO-" Interface="APPLICATION" Parameters="STATUS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| <ServiceSequence Name="resource_initiated_termination"> |
| <ServiceTransaction> |
| <OutputPrimitive Event="INITO-" Interface="APPLICATION" Parameters="STATUS"/> |
| </ServiceTransaction> |
| </ServiceSequence> |
| </Service> |
| </FBType> |