The development of the object-oriented paradigm has suffered from the lackof any generally accepted formal foundations for its semantic definition. Toaddress this issue, we propose the development of the logic-based s...The development of the object-oriented paradigm has suffered from the lackof any generally accepted formal foundations for its semantic definition. Toaddress this issue, we propose the development of the logic-based semantics ofthe object-oriented paradigm. By combining the logic- with the object-orientedparadigm of computing first, this paper discusses formally the semantics of aquite purely object-oriented logic paradigm in terms of proof theory modeltheory and Aspoint theory from the viewpoint of logic. The operational anddeclarative semantics is given. And then the correspondence between soundnessand completeness has been discussed formally.展开更多
Object-Oriented Simulation (OOS) has been widely developed in recent. years. However most efforts are made in simulation modeling by using Object-Oriented Programming Languages (OOPLs). We have proposed a world view f...Object-Oriented Simulation (OOS) has been widely developed in recent. years. However most efforts are made in simulation modeling by using Object-Oriented Programming Languages (OOPLs). We have proposed a world view for object-oriented simulation based on system theory, object-oriented paradigm and DEVS formalism. The infrastructure, the simulation mechanism, and the basic modeling framework and control framework of the world view are presented. Simulation structures of traditional world views are also analyzed. Future works and research directions are presented.展开更多
A new implementation(SCKE—Stractured Communication Knowledge Entity)has been proposed towards combining the logic-with the object-oriented paradigm of computing.It is intended to explore the advantages in these two p...A new implementation(SCKE—Stractured Communication Knowledge Entity)has been proposed towards combining the logic-with the object-oriented paradigm of computing.It is intended to explore the advantages in these two paradigms in a structured,natural and efficient manner for large-scale know- ledge processing.The SCKE model supports modularity and protection for the structured development of knowledge systems.It also introduces the concepts that are typical for the object-oriented systems in the logic-oriented paradigm,without losing its advantages as a declarative language.Various inheritance hier- archies are supported in the SCKE model.They provide the semantics basis for various knowledge in AI systems.The M-entity/K-entity/Instance inheritance captures the relationship among the control, procedural and factual knowledge in AI systems,And,the super-entity/entity/instance inheritance shows the concepts of data abstraction in the knowledge of a particular domain.In addition,the SCKE model is not simply supported on top of Prolog like other attempts to integrate the object-into the log- ic-oriented paradigm.The SCKE model is a tighltly coupled model of the logic-and the object-oriented paradigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics.展开更多
An IC test software supporting environment-ICTSSE, which supports the migration and simulation of test 'pattern programs on heterogeneous ATEs, is presented. ICTSSE is a subsystem of Test Developmellt System (TeDS...An IC test software supporting environment-ICTSSE, which supports the migration and simulation of test 'pattern programs on heterogeneous ATEs, is presented. ICTSSE is a subsystem of Test Developmellt System (TeDS). It has the capabilities of verifying the IC's stimulus/response vectors and associated timing resources against the target ATE. The general data interchange format,which is the center of the TeDS, is built for test pattern migration.展开更多
It appears that extensibility and reusability of concurrent applications is far from trivial. Often the inheritance anomalies problems will arise. Basing on the composition-filters object model which is proposed by Ak...It appears that extensibility and reusability of concurrent applications is far from trivial. Often the inheritance anomalies problems will arise. Basing on the composition-filters object model which is proposed by Aksit, we introduce the Generic Synchronization Policy (GSP) in the inheritance mechanism, produce a new kind of concurrent object-oriented computational model. After analyzing, we show that this new model can tackle the suffering from the inheritance anomalies.展开更多
文摘The development of the object-oriented paradigm has suffered from the lackof any generally accepted formal foundations for its semantic definition. Toaddress this issue, we propose the development of the logic-based semantics ofthe object-oriented paradigm. By combining the logic- with the object-orientedparadigm of computing first, this paper discusses formally the semantics of aquite purely object-oriented logic paradigm in terms of proof theory modeltheory and Aspoint theory from the viewpoint of logic. The operational anddeclarative semantics is given. And then the correspondence between soundnessand completeness has been discussed formally.
文摘Object-Oriented Simulation (OOS) has been widely developed in recent. years. However most efforts are made in simulation modeling by using Object-Oriented Programming Languages (OOPLs). We have proposed a world view for object-oriented simulation based on system theory, object-oriented paradigm and DEVS formalism. The infrastructure, the simulation mechanism, and the basic modeling framework and control framework of the world view are presented. Simulation structures of traditional world views are also analyzed. Future works and research directions are presented.
文摘A new implementation(SCKE—Stractured Communication Knowledge Entity)has been proposed towards combining the logic-with the object-oriented paradigm of computing.It is intended to explore the advantages in these two paradigms in a structured,natural and efficient manner for large-scale know- ledge processing.The SCKE model supports modularity and protection for the structured development of knowledge systems.It also introduces the concepts that are typical for the object-oriented systems in the logic-oriented paradigm,without losing its advantages as a declarative language.Various inheritance hier- archies are supported in the SCKE model.They provide the semantics basis for various knowledge in AI systems.The M-entity/K-entity/Instance inheritance captures the relationship among the control, procedural and factual knowledge in AI systems,And,the super-entity/entity/instance inheritance shows the concepts of data abstraction in the knowledge of a particular domain.In addition,the SCKE model is not simply supported on top of Prolog like other attempts to integrate the object-into the log- ic-oriented paradigm.The SCKE model is a tighltly coupled model of the logic-and the object-oriented paradigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics.
文摘An IC test software supporting environment-ICTSSE, which supports the migration and simulation of test 'pattern programs on heterogeneous ATEs, is presented. ICTSSE is a subsystem of Test Developmellt System (TeDS). It has the capabilities of verifying the IC's stimulus/response vectors and associated timing resources against the target ATE. The general data interchange format,which is the center of the TeDS, is built for test pattern migration.
文摘It appears that extensibility and reusability of concurrent applications is far from trivial. Often the inheritance anomalies problems will arise. Basing on the composition-filters object model which is proposed by Aksit, we introduce the Generic Synchronization Policy (GSP) in the inheritance mechanism, produce a new kind of concurrent object-oriented computational model. After analyzing, we show that this new model can tackle the suffering from the inheritance anomalies.
