Specification for Object-Oriented Software and Derivation of Programs

点击翻译按钮获取中文摘要

The research aims to establish methods for design high reliable object oriented software, those for describing the systems, and those for deriving efficient program codes.First, we focused on Petri-nets and its extended models. We have proposed a method deriving workflow from a given Petri-net model extended with clocks as a color of a token. The method also provides a flexible schedule management system for the derived work-flow.We have also proposed a synthesis method for scenario based GUI specification. The scenario is based on timed automata model.Next, we have proposed a method to derive program codes for personal appliances automatically from Petri-net based specification, which efficiently works on a resource limited personal appliance. Its execution scheme sends needed codes from a server by on-demand-scheme.Last, we have proposed a method to develop real-time distributed systems form UML/OCL specification. It is based on component-based design and to exploit the hierarchical design, it can efficiently verify timeliness QoS. The proposed method also automatically derives control codes in Java form the specification.