High-level Petri net for incremental analysis of object-oriented system requirements

2001 ◽  
Vol 148 (1) ◽  
pp. 11 ◽  
Author(s):  
J.-E. Hong ◽  
D.-H. Bae
Keyword(s):  
Petri Net ◽  
Object Oriented ◽  
Incremental Analysis ◽  
System Requirements ◽  
High Level ◽  
Oriented System

scholarly journals XML format for notation of object-oriented Petri net

2007 ◽  
Vol 55 (3) ◽  
pp. 47-56 ◽  
Author(s):  
Petr Jedlička
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Object Oriented ◽  
Markup Language ◽  
Verification Of Models ◽  
Petri Net Markup Language ◽  
Interchange Format ◽  
High Level ◽  
Object Petri Net ◽  
Object Oriented Systems

Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models. Executability of Petri nets predestinates them for simulation and fast prototyping. Object Petri nets represent rather complicated class, based on hierarchical and high-level Petri nets. However their complexity is balanced by their ability to identify significant characteristics of system model and to visualize it in a graphic representation.Tools currently applied to modeling, simulation and verification of various Petri net variants use language PNML (Petri Net Markup Language) as an interchange format. However PNML is not capable of expression of object Petri net. This paper introduces prototype of XML-based language for modeling of parallel object-oriented systems described by object Petri net. This language, based on PNML, was named OPNML (Object Petri Net Markup Language).

UML Based Design Approach for Storage System of Nano-Satellite

2014 ◽  
Vol 599-601 ◽  
pp. 530-533
Author(s):  
Hong Hao Wang ◽  
Hui Quan Wang ◽  
Zhong He Jin
Keyword(s):  
Storage System ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Modeling Language ◽  
Nand Flash ◽  
Unified Modeling ◽  
Object Oriented Design ◽  
High Level Modeling ◽  
High Level

Due to the complex timing sequence of NAND flash, a unified design process is urgently required to guarantee the reliability of storage system of nano-satellite. Unified Modeling Language (UML) is a widely used high level modeling language for object-oriented design. This paper adopts the UML as the design and modelling tool in the low level storage system design to elaborate the UML application in each phase of design in detail. The result shows taking UML as the modelling tool results in a clear and unambiguity design, which promotes the reliability and quality of software. At last, the feasibility of object-oriented implementation in C is presented.

Multilevel security in a distributed object-oriented system

1991 ◽  
Vol 10 (1) ◽  
pp. 51-68 ◽  
Author(s):  
Vijay Varadharajan ◽  
Stewart Black
Keyword(s):  
Object Oriented ◽  
Multilevel Security ◽  
Distributed Object ◽  
Oriented System

An object-oriented system for engineering applications

1987 ◽  
Vol 16 (3) ◽  
pp. 299-310 ◽  
Author(s):  
Alfons Kemper ◽  
Peter C. Lockemann ◽  
Mechtild Wallrath
Keyword(s):  
Object Oriented ◽  
Engineering Applications ◽  
Oriented System
Sign in / Sign up

Export Citation Format

Share Document