This paper proposes a collaborative design model based on operation semantics in a distributed computer-aided design (CAD) environment. The goal is to reduce time consumption in data format conversion and the requirem...This paper proposes a collaborative design model based on operation semantics in a distributed computer-aided design (CAD) environment. The goal is to reduce time consumption in data format conversion and the requirement of network bandwidth so as to improve the cooperative ability and the synchronization efficiency. Firstly, real-time collaborative design is reviewed and three kinds of real-time collaborative design models are discussed. Secondly, the concept of operation semantics is defined and the framework of an operation semantics model is presented. The operation semantics carries the original design data and actual operation process to express design intent and operation activity in conventional CAD systems. Finally, according to the operation semantics model, a CAD operation primitive is defined which can be retrieved from and mapped to the local CAD system operation commands; a distributed CAD collaborative architecture based on the model is presented, and an example is given to verify the model.展开更多
SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate dat...SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).展开更多
Discrete event system(DES)models promote system engineering,including system design,verification,and assessment.The advancement in manufacturing technology has endowed us to fabricate complex industrial systems.Conseq...Discrete event system(DES)models promote system engineering,including system design,verification,and assessment.The advancement in manufacturing technology has endowed us to fabricate complex industrial systems.Consequently,the adoption of advanced modeling methodologies adept at handling complexity and scalability is imperative.Moreover,industrial systems are no longer quiescent,thus the intelligent operations of the systems should be dynamically specified in the model.In this paper,the composition of the subsystem behaviors is studied to generate the complexity and scalability of the global system model,and a Boolean semantic specifying algorithm is proposed for generating dynamic intelligent operations in the model.In traditional modeling approaches,the change or addition of specifications always necessitates the complete resubmission of the system model,a resource-consuming and error-prone process.Compared with traditional approaches,our approach has three remarkable advantages:(i)an established Boolean semantic can be fitful for all kinds of systems;(ii)there is no need to resubmit the system model whenever there is a change or addition of the operations;(iii)multiple specifying tasks can be easily achieved by continuously adding a new semantic.Thus,this general modeling approach has wide potential for future complex and intelligent industrial systems.展开更多
In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial func...In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial functions by introducing undefined values in a traditional approach,we shall define a priority derivation tree for every term,and by respecting the rule“attacking the subterm of the highest priority first”we define transition relations,computation sequences etc.directly based on a standard interpretation which includes no undefined value in its domain.Finally,we prove that our new approach generates the same operational semantics as the traditional one.It is also pointed out that we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semantics of recursive programs cannot be built based on predicate logic.展开更多
The distributed hierarchical control based on multi-agent system(MAS) is the main control method of micro-grids.By allowing more flexible interactions between computing components and their physical environments,cyber...The distributed hierarchical control based on multi-agent system(MAS) is the main control method of micro-grids.By allowing more flexible interactions between computing components and their physical environments,cyber physical system(CPS) presents a new approach for the distributed hierarchical engineering system,with micro-grids included.The object of this paper is to integrate the CPS concept with MAS technology and propose a new control framework for micro-grids.With the analysis of the operating mode and control method of micro-grids,the cyber physical control concepts of ontologybased semantic agent are discussed.Then an MAS-based architecture of cyber physical micro-grid system and an intelligent electronic device(IED) function structure are proposed.Finally,in order to operate and test the cyber physical micro-grid concept,an integrated simulation model is presented.展开更多
APIs of CAD system could be encapsulated to construct web services so as to provide standard access interfaces for web-based cooperative design. However, lack of semantic supporting make integration of heterogeneous m...APIs of CAD system could be encapsulated to construct web services so as to provide standard access interfaces for web-based cooperative design. However, lack of semantic supporting make integration of heterogeneous modelling system limited to operational level. On the purpose of carrying out cooperative design in a flexible cloud environment, an intelligent and effective support mechanism is needed for mass and complex interaction in cooperative work. Therefore, Ontology-based Geometry Modeling Services Environment （OGMSE） is provided to realize a knowledge-level geometry modeling so as to supported semantic 3D model management and intelligent operation support. First, CAD APIs are encapsulated into web service for web invocation. Then, ontology contained structural semantic and operational semantic is built for management of models and modeling process. Lastly, conception-driven modeling mechanism is built to invocate service according to interaction requirement, thus to realize conception-level cooperative design. Based on an open geometry engine, a prototype system has been developed. The result shows that the approach provides a reference direction for large-scale application on the network.展开更多
At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using operational semantic. The formalized descr...At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using operational semantic. The formalized description of process instances and activity instances leads to very clear structure of the workflow engine, has easy cooperation of the heterogeneous workflow engines and guides the realization of the workflow engine function. Meanwhile, the software of work flow engine has been completed by means of the formalized description.展开更多
文摘This paper proposes a collaborative design model based on operation semantics in a distributed computer-aided design (CAD) environment. The goal is to reduce time consumption in data format conversion and the requirement of network bandwidth so as to improve the cooperative ability and the synchronization efficiency. Firstly, real-time collaborative design is reviewed and three kinds of real-time collaborative design models are discussed. Secondly, the concept of operation semantics is defined and the framework of an operation semantics model is presented. The operation semantics carries the original design data and actual operation process to express design intent and operation activity in conventional CAD systems. Finally, according to the operation semantics model, a CAD operation primitive is defined which can be retrieved from and mapped to the local CAD system operation commands; a distributed CAD collaborative architecture based on the model is presented, and an example is given to verify the model.
文摘SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).
基金supported by the National Natural Science Foundation of China(U21B2074,52105070).
文摘Discrete event system(DES)models promote system engineering,including system design,verification,and assessment.The advancement in manufacturing technology has endowed us to fabricate complex industrial systems.Consequently,the adoption of advanced modeling methodologies adept at handling complexity and scalability is imperative.Moreover,industrial systems are no longer quiescent,thus the intelligent operations of the systems should be dynamically specified in the model.In this paper,the composition of the subsystem behaviors is studied to generate the complexity and scalability of the global system model,and a Boolean semantic specifying algorithm is proposed for generating dynamic intelligent operations in the model.In traditional modeling approaches,the change or addition of specifications always necessitates the complete resubmission of the system model,a resource-consuming and error-prone process.Compared with traditional approaches,our approach has three remarkable advantages:(i)an established Boolean semantic can be fitful for all kinds of systems;(ii)there is no need to resubmit the system model whenever there is a change or addition of the operations;(iii)multiple specifying tasks can be easily achieved by continuously adding a new semantic.Thus,this general modeling approach has wide potential for future complex and intelligent industrial systems.
文摘In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial functions by introducing undefined values in a traditional approach,we shall define a priority derivation tree for every term,and by respecting the rule“attacking the subterm of the highest priority first”we define transition relations,computation sequences etc.directly based on a standard interpretation which includes no undefined value in its domain.Finally,we prove that our new approach generates the same operational semantics as the traditional one.It is also pointed out that we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semantics of recursive programs cannot be built based on predicate logic.
基金National Natural Science Foundation of China(No.51477097)the State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources,China(No.LAPS13009)National High-Technology Research and Development Program of China(863 Program)(No.2013BAA01B04)
文摘The distributed hierarchical control based on multi-agent system(MAS) is the main control method of micro-grids.By allowing more flexible interactions between computing components and their physical environments,cyber physical system(CPS) presents a new approach for the distributed hierarchical engineering system,with micro-grids included.The object of this paper is to integrate the CPS concept with MAS technology and propose a new control framework for micro-grids.With the analysis of the operating mode and control method of micro-grids,the cyber physical control concepts of ontologybased semantic agent are discussed.Then an MAS-based architecture of cyber physical micro-grid system and an intelligent electronic device(IED) function structure are proposed.Finally,in order to operate and test the cyber physical micro-grid concept,an integrated simulation model is presented.
基金Supported by Shanghai Science and Technology Projects (09DZ1121500)
文摘APIs of CAD system could be encapsulated to construct web services so as to provide standard access interfaces for web-based cooperative design. However, lack of semantic supporting make integration of heterogeneous modelling system limited to operational level. On the purpose of carrying out cooperative design in a flexible cloud environment, an intelligent and effective support mechanism is needed for mass and complex interaction in cooperative work. Therefore, Ontology-based Geometry Modeling Services Environment （OGMSE） is provided to realize a knowledge-level geometry modeling so as to supported semantic 3D model management and intelligent operation support. First, CAD APIs are encapsulated into web service for web invocation. Then, ontology contained structural semantic and operational semantic is built for management of models and modeling process. Lastly, conception-driven modeling mechanism is built to invocate service according to interaction requirement, thus to realize conception-level cooperative design. Based on an open geometry engine, a prototype system has been developed. The result shows that the approach provides a reference direction for large-scale application on the network.
基金This workis supported by the Jilin Province Science and Technology Development Plan Project (20050527) .
文摘At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using operational semantic. The formalized description of process instances and activity instances leads to very clear structure of the workflow engine, has easy cooperation of the heterogeneous workflow engines and guides the realization of the workflow engine function. Meanwhile, the software of work flow engine has been completed by means of the formalized description.
