Package org.bigraphs.framework.simulation.equivalence.adapter

Class BighuggiesBisimulationStringAdapter<AST extends AbstractTransitionSystem<?,?>>

java.lang.Object
org.bigraphs.framework.simulation.equivalence.adapter.BighuggiesBisimulationStringAdapter<AST>
public class BighuggiesBisimulationStringAdapter<AST extends AbstractTransitionSystem<?,?>> extends Object
An adapter for AbstractTransitionSystem objects in Bigraph Framework for the external Java library "bighuggies:bisimulation" (shaded in the Simulation Module dependency).

"bighuggies:bisimulation" computes bisimilarity for two LTSs. This functionality is made available to objects of type AbstractTransitionSystem in Bigraph Framework via this adapter class.

An AST is converted to a String representation of a Process that is parsed by "bighuggies" to create a Process. So this is less efficient than the BighuggiesBisimulationProcessAdapter.

Author:
Dominik Grzelak
See Also:

  • Constructor Details

    • BighuggiesBisimulationStringAdapter

      public BighuggiesBisimulationStringAdapter(AST transitionSystem)

  • Method Details

    • asInputStream

      public ByteArrayInputStream asInputStream()
      Converts an AbstractTransitionSystem to a ByteArrayInputStream. This method is intended to translate the adapted AbstractTransitionSystem into a process specification suitable for use with the "bighuggies:bisimulation" library.
      Returns:
      a ByteArrayInputStream containing the Process specification derived from the AbstractTransitionSystem.

    • asString

      public String asString()
      Converts an AbstractTransitionSystem into a String representation. This method provides a String that represents the transition system in a format suitable for use with the "bighuggies:bisimulation" library.
      Returns:
      a String representation of the AbstractTransitionSystem intended for parsing by the "bighuggies" library to create a Process object.