Behavioral Types for Space-aware Systems

Abstract—Behavioral types for space-aware systems are proposed as a means to facilitate the development, commissioning, maintenance, and refactoring of systems with cyber-physical characteristics. In this paper, we particularly introduce the formal definition of behavioral types that are associated with system components in order to specify their expected behavior. As application domain, we concentrate on systems from industrial automation that encompass recurring behavior.

• Type: Journal
• Year: 2015
• Where: MODELS
• Authors: Jan Olaf Blech, Peter Herrmann
• Keywords: MODELS 2015, Natural Language Processing