2020-T-ASE/transformations
2020-05-01 22:42:25 +02:00
..
README.MD Added a README stub to the transformations folder. 2020-05-01 22:42:25 +02:00

Transformations

The following rules have been applied in order to create PDDL files from IEC 62264 production system models.

Metamodel Concepts

Metamodel concepts of IEC 62264 are being converted to a set of PDDL type specifications and predicates. Relevant elements are those that appear within a given IEC 62264 model. Unused elements are not translated in order to reduce file size and increase performance and readability.

  • IEC 62264 elements (e.g., Equipment, Equipment Class) are being converted to types.
  • IEC 62264 relations (e.g., Equipment can be classified by [0..*] Equipment Classes) are being converted to predicates.

For the above mentioned examples, the IEC 62264 concepts are being translated from

classDiagram
	Equipment --> "0..*" Equipment Class : classifiedBy >

to

(:types EquipmentClass Equipment)
(:predicates
	(EquipmentClassed ?E - Equipment ?C - EquipmentClass)
)