部品の物理的特性も考慮した視覚的な仕様記述環境EVE

抄録

This paper presents a visual specification environment EVE and its underlying executable specification language P-Eunice. Their primary application field is control systems for, e.g., plants.
P-Eunice supports component-based building of specifications. Either logical aspects or physical aspects, or both, can be described formally for each component in P-Eunice. Connection between components is validated in regards to both logical and physical aspects at the time of connection. In conventional approaches to specifications of control systems, physical aspects of entities (e.g., pipes, valves, motors, etc.) that appear in specifications have rarely been taken into consideration.
EVE allows non-professional users to build specifications interactively and intuitively by user-friendly graphical, point-and-click interface. Professional users are also provided full access to the underlying P-Eunice language.