A Formal Perspective on IEC 61499 Execution Control Chart Semantics.
Per LindgrenMarcus LindnerDavid PereiraLuís Miguel PinhoPublished in: TrustCom/BigDataSE/ISPA (3) (2015)
Keyphrases
- control charts
- statistical process control
- formal language
- machine processable
- operational semantics
- highly expressive
- control flow
- abnormal patterns
- specification languages
- model theoretic
- control system
- process control
- formal semantics
- active rules
- logic programming
- formal specification
- active databases
- dynamic aspects
- semantic information
- distributed systems
- formal model
- conceptual model
- dynamic environments
- semantic web
- communicative acts