Inheritance Modeling in Distributed Object-Oriented Design: An Extended G-Nets Model
مايو 01, 2025
DOI: 10.18421/TEM142-05
Publisher: UIKTEN - Association for Information Communication Technology Education and Science
The emergence of an object-oriented paradigm has been beneficial for complex software development, and this paradigm has been used to develop architectures for distributed systems. Many object-oriented architectures have been suggested for developing object-based software, and several attempts have been made to specify object behaviors formally. Nevertheless, investigations into bridging the gap between object implementation and object formal models are limited. This paper presents a formal approach to designing and implementing object-oriented software. Rather than applying formal methods only in the specification phase, the proposed model applies formal methods in the design phase that extends the well–known–net formalism (abstract Petri nets) to support system modeling as a set of independent and low-coupled modules. This paper describes the extension of standard G-nets to model class and inheritance in true parallel object-oriented design and incorporates the inheritance mechanism in G-nets. This paper investigates the problems related to inheritance anomaly in designing distributed object-oriented to analyze the proposed model. Consequently, the proposed formalism formally and explicitly models the inheritance in the G-net to preserve the basic Petri net model and exploit the Petri net tools for analyzing and simulating concurrent object-oriented design. An example is given to illustrate a detailed analysis of the proposed formalism; however, real experimental research is required to validate the practical significance of the presented approach.
Other Researches
An optimized SDN framework for the internet of things
Low-power wireless networks (LPWN) have traditionally been central to the Internet of Things (IoT) discussion. Nevertheless, as these networks grow more complex, their control architectures and protocols reveal significant limitations, particularly ...
Automatic Speech Emotion Recognition (ASER) is a critical aspect of affective computing, which detects emotions in speech to facilitate efficient human-computer interaction. An area that has received little attention in previous research is the Alge...
Supplier selection strategies evaluation: a multi-agent based simulation
Local food systems have gained prominence in response to increasing consumer demand for locally produced food, driven by heightened interest in diet, food quality, sourcing, production methods, and food safety. These systems support the economic sus...
Retention contracts with asymmetric information: optimistic approach vs pessimistic approach
This paper aims to focus on the utilization of retention contracts to screen and discipline managers in a context in which the council, board of directors, possesses incomplete information about the consequences of managers’ decisions. The analysis ...
Formal Approach to Data Accuracy Evaluation
Usually, data quality is defined by multiple attributes that allow classifying the output data (such as completeness, freshness, and accuracy) or the methods exploiting these data (such as dependability, performance, and protection). Among the sugge...
Retention Contracts under Partial Information Electoral Competition Case Study
This study copes with a class of principal-agent problems where information asymmetry represents an important characteristic. The paper examines the relationship between the principal and agents. The principal has to perform two agents’ screening an...
Prediction Process in Multi-Agent System Online Monitoring: Centralized and Distributed Approaches
This paper discusses the prediction process, which is the main step of the online monitoring process for a multi-agent plan. The monitoring process uses a relational model to estimate the internal status of the system, which is dynamic (changes over...