INCREMENTAL SCENARIO MODELING USING HIERARCHICAL OBJECT-ORIENTED PETRI NET

2001 ◽  
Vol 11 (03) ◽  
pp. 357-386 ◽  
Author(s):  
JANG-EUI HONG ◽  
DOO-HWAN BAE
Keyword(s):  
Petri Net ◽  
Formal Method ◽  
Object Oriented ◽  
Implicit Assumption ◽  
Software Modeling ◽  
Scenario Modeling ◽  
Transition Models ◽  
Development Phases ◽  
Abstraction Levels ◽  
Clear Solution

Scenario-based modeling is emerging as a key technology in software development because scenarios are easy to describe and understand, naturally describing the real world, and highly used in several development phases. Scenario-Based Software Modeling (SBSM) represents scenarios with a formal method, and then integrates each scenario into a global one excluding redundant, incomplete, and inconsistent elements. An issue which is not yet proposed a clear solution in SBSM is the handling of different abstraction levels. In the existing proposals, this problem is hidden with an implicit assumption that all such scenarios have the same abstraction levels, which we believe to be unrealistic. In our research, we propose a Hierarchical Object-Oriented Petri Net (HOONet) as a method to specify the scenarios, and also suggest a method to integrate scenarios including different abstraction levels as well as redundancy, incompleteness, and inconsistency. Coordinating abstraction levels of scenarios can be achieved by considering scenario models as state-based transition models and verifying the transition models with respect to behavioral equivalence. In order to show the effectiveness of our suggestion, overall processes of SBSM using HOONet are explained with a practical example.

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

2021 ◽  
Vol 30 (4) ◽  
pp. 1-29
Author(s):  
Philipp Paulweber ◽  
Georg Simhandl ◽  
Uwe Zdun
Keyword(s):  
Formal Methods ◽  
Formal Method ◽  
Object Oriented ◽  
Controlled Experiment ◽  
Specification Languages ◽  
Randomized Design ◽  
Textual Description ◽  
Efficiency And Effectiveness ◽  
Completely Randomized Design ◽  
Experimental Group

Abstract State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of specifications. Our goal is to investigate object-oriented abstractions such as interfaces and traits for ASM-based specification languages. We report on a controlled experiment with 98 participants to study the specification efficiency and effectiveness in which participants needed to comprehend an informal specification as problem (stimulus) in form of a textual description and express a corresponding solution in form of a textual ASM specification using either interface or trait syntax extensions. The study was carried out with a completely randomized design and one alternative (interface or trait) per experimental group. The results indicate that specification effectiveness of the traits experiment group shows a better performance compared to the interfaces experiment group, but specification efficiency shows no statistically significant differences. To the best of our knowledge, this is the first empirical study studying the specification effectiveness and efficiency of object-oriented abstractions in the context of formal methods.

A Survey on the Object-Oriented Petri Net Modeling

2011 ◽  
Vol 121-126 ◽  
pp. 4350-4356
Author(s):  
Yan Pei Liu ◽  
Jun Hui Fu ◽  
Hong Yu Feng
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Future Development ◽  
Mathematical Analysis ◽  
Object Oriented ◽  
Software Products ◽  
Object Oriented Technology ◽  
Pros And Cons ◽  
Typical Object ◽  
And Function

With the larger and more complex of the size and function of software products，choosing an efficient modeling technique for analyzing complicated and ever-changing system plays a vital role．Object-Oriented Petri nets for its unique characteristics which are simple and laconic modeling method and strong mathematical analysis capacity becomes a hot research．In this paper，it explain that the object-oriented technology how to combine with Petri nets．The typical Object-Oriented Petri net modeling steps and analysis methods are expounded. Up-to-date research about OOPN and its main improved models OOCPN, OOAPN and OOTPN are summarized, the pros and cons of each modeling are analyzed．The interrelated topics and the future development about OOPN are also mentioned．

scholarly journals Computer Network Simulation Modeling Based on Object Oriented Petri Net

2016 ◽  
Vol 12 (02) ◽  
pp. 25
Author(s):  
Xinhua Chen ◽  
Ya-ni Sun
Keyword(s):  
Petri Net ◽  
Simulation Modeling ◽  
Computer Network ◽  
Network Simulation ◽  
Object Oriented ◽  
Modeling Method ◽  
Model Based ◽  
Valid Method

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.

Reverse Engineering of Object-Oriented Code

2017 ◽  
pp. 1479-1502
Author(s):  
Liliana Favre ◽  
Liliana Martinez ◽  
Claudia Pereira
Keyword(s):  
Reverse Engineering ◽  
Information Integration ◽  
Object Oriented ◽  
Research Area ◽  
Model Driven ◽  
Management Group ◽  
Engineering Models ◽  
Software Modernization ◽  
New Research ◽  
Abstraction Levels

Software modernization is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that satisfies new demands. Software modernization requires technical frameworks for information integration and tool interoperability that allow managing new platform technologies, design techniques, and processes. To meet these demands, Architecture-Driven Modernization (ADM) has emerged as the new OMG (Object Management Group) initiative for modernization. Reverse engineering techniques play a crucial role in system modernization. This chapter describes the state of the art in the model-driven modernization area, reverse engineering in particular. A framework to reverse engineering models from object-oriented code that distinguishes three different abstraction levels linked to models, metamodels, and formal specification is described. The chapter includes an analysis of technologies that support ADM standards and provides a summary of the principles that can be used to govern current modernization efforts.

Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process

2011 ◽  
pp. 101-133
Author(s):  
Jing Liu ◽  
Zhiming Lui ◽  
Xiaoshan Li ◽  
He Jifend ◽  
Yifeng Chen
Keyword(s):  
Formal Methods ◽  
Formal Method ◽  
System Development ◽  
Scale Up ◽  
Object Oriented ◽  
Use Case ◽  
Object Oriented Method ◽  
Unified Process ◽  
Sound Foundation

In this chapter, we study the use of a formal object-oriented method within Relational Unified Process (RUP). Our purposes are (a) to unify different views of UML models; (b) to enhance RUP and UML with a formal method to improve the quality of software; (c) to scale up the use of the formal method with the use-case driven, iterative and incremental aspects of RUP. Our overall aim is to establish a sound foundation of RUP and UML and scale up the use of formal methods in software-intensive system development.

Modeling of Object-Oriented Programs with Petri Net Structured Objects

2017 ◽  
Vol 36 (5) ◽  
pp. 1063-1087 ◽  
Author(s):  
Dmitriy Kharitonov ◽  
George Tarasov ◽  
Evgeniy Golenkov
Keyword(s):  
Petri Net ◽  
Object Oriented ◽  
Structured Objects
Sign in / Sign up

Export Citation Format

Share Document