scholarly journals Model Based Distributed Testing of Object Oriented Programs

2015 ◽  
Vol 46 ◽  
pp. 859-866 ◽  
Author(s):  
K.S. Vipin Kumar ◽  
Sheena Mathew
2016 ◽  
Vol 12 (02) ◽  
pp. 25
Author(s):  
Xinhua Chen ◽  
Ya-ni Sun

This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method. This paper improve the object-oriented Petri net modeling method, and study the modeling and operation steps in details. Finally this paper build a computer network TCP/IP protocol model based on the object oriented Petri net. The model prove to be a good simulation to the computer network and the improved modeling method is also a valid method for further object oriented Petri net modeling.


2011 ◽  
Vol 383-390 ◽  
pp. 2484-2491
Author(s):  
Jun Fan

In the long evolution of the earth formation often form a complex geological structure, modeling for these complex geological entities (such as thinning-out, bifurcation, reverse, etc.) still require in-depth 3D modeling study. Because of discontinuity, complexity and uncertainty of distribution of 3D geo-objects, some models only are suitable for regular, continuous and relatively simple spatial objects, and some are suitable for discontinue, complex and uncertain geo-objects, but some improvements on these models, such as, updating of model, maintenance of topological and seamless integration between models, are still to be made. OO-Solid model, put forward by writer in 2002, is an object- oriented topological model based on sections. The OO-Solid Model is an object-oriented 3D topologic data model based on component for geology modeling with fully considering the topological relations between geological objects and its geometric primitives, Comparatively, it accords with the actual requirements of three-dimensional geological modeling . The key issue of 3D geology modeling is the 3D data model. Some data models are suitable for discontinue, complex and uncertain geo-objects, but the OO-Solid model is an object-oriented 3D topologic data model based on component for geology modeling with fully considering the topological relations between geological objects and its geometric primitives. OO-Solid model and data structure are designed. At last, 3D complex geological entities modeling based on OO-Solid are studied in this paper. These study is important and one of the core techniques for the 3DGM.


2019 ◽  
Vol 123 (1268) ◽  
pp. 1561-1601 ◽  
Author(s):  
G. P. Krupa

ABSTRACTOne of the challenges of modern engineering design is the amount of data that designers must keep track while performing system analysis and synthesis. This task is particularly important in the design process of complex systems such as novel aerospace systems where Modeling and Simulation play an essential role. The Agile philosophy stems from the field of Software Engineering and describes an approach to development in which requirements and solutions gradually develop through collaboration between self-organising cross-functional teams and end users. Agile Model-Based System Engineering (AMBSE) is the application of the Agile philosophy to Model-Based System Engineering. In this paper, AMBSE is accomplished through the application of the Object-Oriented System Engineering Method (OOSEM). OOSEM employs a top-down scenario-driven process that adopts System Modeling Language (SysML) and leverages the object-oriented paradigm to support the analysis, specification, design, and verification of systems. AMBSE assisted by mathematical modelling and safety assessment techniques is applied to the first design iterations of the main aircraft systems, allowing a comprehensive design exploration. The flight control system was chosen to illustrate the procedure in detail, emphasising the synthesis of a six-degrees-of-freedom model augmented by dynamic inversion control for a hypothetical supersonic transport aircraft satisfying class II MIL-F-8785C handling qualities. It is concluded that AMBSE presents promising properties to support future aircraft development within the current regulatory framework for aircraft design, while enabling a smooth transition from conceptual to preliminary design.


2013 ◽  
Vol 303-306 ◽  
pp. 1280-1285
Author(s):  
Shu Xu ◽  
Fu Ming Li

This article puts forward object-oriented Petri net modeling method, which possesses good encapsulation and modularity compared with current ordinary modeling method. On the macro level, it divides the re-entrant lines into different object modules according to the technology, so that the complexity of models is largely reduced through message delivery between objects. In the micro level, it explains objects' internal operational mechanism, in another word, each object's internal operation cannot be affected by other objects and environment. At last, it makes modeling and dynamic analysis by taking LED chips' processing flow for example, showing that re-entrant lines model based on object-oriented Petri net possesses good modeling ability.


Sign in / Sign up

Export Citation Format

Share Document