Specification for Object-Oriented Software and Derivation of Programs

本研究旨在建立高可靠的面向对象软件的设计方法、系统的描述方法和高效的程序代码生成方法。我们提出了一种从给定的以时钟为记号颜色的扩展的Petri网模型派生工作流的方法。该方法为派生的工作流提供了灵活的调度管理系统，并提出了一种基于场景的图形用户界面规范的综合方法。该场景基于时间自动机模型，提出了一种基于Petri网的规范自动生成个人家电程序代码的方法，该方法能够有效地处理资源受限的个人家电。它的执行方案以按需方式从服务器端发送所需的代码。最后，我们提出了一种基于UML/OCL规范的实时分布式系统的开发方法。它基于组件设计，采用层次化设计，能够有效地验证时效性和服务质量。该方法还可以从规范中自动派生出Java语言的控制代码。

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.