Extending high-level Petri nets for object-oriented design

Author(s):  
A. Camurri ◽  
P. Franchi ◽  
M. Vitale
2014 ◽  
Vol 599-601 ◽  
pp. 530-533
Author(s):  
Hong Hao Wang ◽  
Hui Quan Wang ◽  
Zhong He Jin

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.


2009 ◽  
pp. 2646-2664
Author(s):  
Juan José Olmedilla

The use of object-oriented (OO) architecture knowledge such as patterns, heuristics, principles, refactorings and bad smells improve the quality of designs, as Garzás and Piattini (2005) state in their study; according to it, the application of those elements impact on the quality of an OO design and can serve as basis to establish some kind of software design improvement (SDI) method. But how can we measure the level of improvement? Is there a set of accepted internal attributes to measure the quality of a design? Furthermore, if such a set exists will it be possible to use a measurement model to guide the SDI in the same way software processimprovement models (Humphrey, 1989; Paulk, Curtis, Chrissis, & Weber, 1993) are guided by process metrics (Fenton & Pfleeger, 1998)? Since (Chidamber & Kemerer, 1991) several OO metrics suites have been proposed to measure OO properties, such as encapsulation, cohesion, coupling and abstraction, both in designs and in code, in this chapter we review the literature to find out to which high level quality properties are mapped and if an OO design evaluation model has been formally proposed or even is possible.


2021 ◽  
Author(s):  
Gonzalo Vidal ◽  
Carlos Vidal-Céspedes ◽  
Timothy James Rudge

Mathematical and computational modeling is essential to genetic design automation and for the synthetic biology design-build-test-learn cycle. The construction and analysis of models is enabled by abstraction based on a hierarchy of components, devices, and systems that can be used to compose genetic circuits. These abstract elements must be parameterized from data derived from relevant experiments, and these experiments related to the part composition of the abstract components of the circuits measured. Here we present LOICA (Logical Operators for Integrated Cell Algorithms), a Python package for modeling and characterizing genetic circuits based on a simple object-oriented design abstraction. LOICA uses classes to represent different biological and experimental components, which generate models through their interactions. High-level designs are linked to their part composition via SynBioHub. Furthermore, LOICA communicates with Flapjack, a data management and analysis tool, to link to experimental data, enabling abstracted elements to characterize themselves.


Author(s):  
Petr Jedlička

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).


Sign in / Sign up

Export Citation Format

Share Document