A formal specification approach for holonic control systems: the ADACOR case.
Paulo LeitãoArmando W. ColomboFrancisco J. RestivoPublished in: Int. J. Manuf. Technol. Manag. (2006)
Keyphrases
- formal specification
- control system
- specification languages
- model checking
- specification language
- object oriented design
- process algebra
- formal methods
- multi agent systems
- data abstraction
- multi agent
- control architecture
- concurrent systems
- reverse engineering
- software components
- model checker
- communication networks
- source code
- real time
- holonic manufacturing systems