Research On Framewrok Model Of Distributed Concurrent Software Based On Steel Quality Process Control

In order to manage quality information better in steel manufacturing process, distributed real-time software is aimed at providing a fundamentally support of real-time and concurrent quality process behavior by the exchange of data flow to remarry time, concurrency and controlled complexity. Software focuses on developing functionality processing and timing constraints of complex multi-node on a distributed platform that has real time, interactive, and concurrent quality data flows. Quality process control system in steel industry, by the track and control of quality data, must be distributed, real time, and concurrent. It is inevitable to need the support of software design methodology. Key to distributed real-time software is research in framework model based on real-time interaction specification.Traditional object-oriented software model focuses on the transfer of control flow through method call and state transition, and the tight timing and concurrent correspondence between system modeling and software design is often lost. Effective framework modeling must be based on actor-oriented design that is interacted by the exchange of data flow to remarry time, concurrency and controlled complexity. With the support of Nature Sceince Foundation in Yunnan Province, P.R.C, the main effort of this dissertation here, aimed at quality process control domain in steel industry, is to separate timing attributes from functional properties, based on actor-oriented model rather on object-oriented model, and introduce actor-oriented.framework model to promote distributed real-time software design and development.Key to actor design is research in concurrent models and real time scheduling among actors. It is a feasible technology of adapting to real time model. Introducing this mechanism to the framework model of distributed real-time software and specifically applying it to each essential technology, can well specify and realize all kinds of behavior characteristics required by the software, especially give more cocncern of separation on functional logic and timing constraint characteristics in distributed real-time software, finally making realization of a flexible and adaptable distributed real-time software framework model. The research of framewok model in distributed real-time software based on steel quality process control mainly revolves three points:real-time framework, actor model and composition specification. And the research includes four parts:the establishment of actor-oriented framework model, the design of actor semantics, the analysis of actor composition specification and the verification of application in steel industry. Some contributions are shown as follows. Firstly, actor-oriented software framework model mainly studies a kind of actor interaction mechanism adaptable for distributed real-time application in steel quality process control domain. It can separate the interactive logic among actors, and support real-time and concurrent quality process. The framework merges advantages of ideas of component and connector, regards actors as an encapsulation of parameterized actions, and imporves the reusability of actor to a great extent. Independent monitor mechanism can control the interactive behaviors among actors and support the track of concurrent signal flow. Software framework can support real-time behavior flexibly by configuring port behavior priority. The model separates interactive attributes from functionality properties, and enhance the flexibility and adaptability of the framework.Secondly, actor semantics design mainly studies actor semantics model based on predicate logic. The model can specify static properties and dynamic behaviors of actors. Encapsulation of actor's functional logic is a particular kind of abstraction that emphasizes specification and requirement of quality process. Port behavior correlation ensures the dynamic characteristics of actors. Composite actor can be contained by another composite actors, so the hierarchy can be arbitrarily nested. Our actor model not only specifies properties of quality process parameters, but also supports port behavior modeling to remarry time and concurrency.Thirdly, one fundamental problem of actor composition specification analysis is how to decompose a coarse-grained composite actor at higher level into more manageable fine-grained subactors at lower level from a view of specification. It is divided into three parts:properties specification, port specification and behavior specification, which are used to semantic analysis and hierarchy deduction when implementing actor composition. Meanwhile it supports the actor evolution from semantic level, and reduces the instability of actor composition.Lastly, based on the work above, a framework model of actor-oriented distributed real-time software in Kunming Iron&Steel Co.Ltd.(KISC) quality process control, which effectively supports quality process control of complex steel manufacturing, is designed at the end of the dissertation. The resulting control software based on framework model is configurable, liable to compose on a different platform. Practice of control software proves that actor-based software modeling methodology, which is explored in this dissertation, can bring about the gains of productivity of steel industry quality process control.The key aspects of our work are as follows:At first, we establish actor-oriented software framework model which is adaptable in the dynamic environment, liable to compose and reuse. Software framework can manipulate concurrent processing and real time scheduling among actors, denote interactive logic flexibly, and support quality process to remarry time and concurrency. In addition, framework model can be customized, liable to optimize, plug and upgrade, independent from the platform.Moreover, we design formal actor semantic model which focuses on static properties and dynamic behavior of real-time actor modeling. Port behavior correlation defines communication among actors, ensures real-time interactive behavior, and adapts universal timing and concurrent model. Finally, we analyze actor composition specification at a theoretical level which emphasizes on deducing properties specification, ports specification and behavior specification of composite actor. Actor composition specification reduces the complexity of timing and concurrent quality process modeling from a view of semantics.