Introduction

The HATA Project at the University of Applied Sciences Emden/Leer aims at providing a framework for the systematical integration of formal methods into the specification and verification of automation projects and cyber-physical systems in the context of „smart factories“.

As a result of the „Industrie 4.0“ high-tech initiative of the German Government the interoperability of existing systems, especially regarding the compositionality of existing systems, has come into the focus of research, which is also indicated by the rising use of the two keywords orchestration and choreography in current automation projects.

The initial target of the HATA project is to develop a programming language that uses aspects from process algebras (most notably ACP) and to use this language for the specification and verification of implementations to be installed at the „digital factory“ of the I2AR-Institute.

The name HATA itself is a backronym and also means „kite“ in Japanese.
This fact is reflected in the project logo.