Inheritance Modeling in Distributed Object-Oriented Design: An Extended G-Nets Model
May 01, 2025
DOI: 10.18421/TEM142-05
Published in: TEM Journal
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...
A Multi-Agent System for Course Timetable Generation
In the university, course scheduling and preparation for each semester can be defined as the process of determining what courses to offer, the number of sections needed for each course, assigning of a faculty member to teach each section, and alloca...
Impacts of information quality on decision-making
Prior investigations have pointed out that an understanding of the impacts of information quality is essential to the organisation's success. Nevertheless, few investigations have analysed the impacts of information quality in a business context. Th...
Model for Decision-Making Process with Big Data
Currently, Big Data is an important concept due to the pervasive use of electronic devices, computerization, and information sharing worldwide. Despite the focus on Big Data, studies lack an explicit definition of the Big Data concept. Big Data is ...
Data freshness evaluation in data integration systems
The availability of data in different datasources increases highly the demand on accessing this data in a uniform and generalised way, especially in decision making applications which require an exhaustive investigation and examination of the data. ...
This paper discusses a general, meaningful and repeated problem in information systems practice: under investment in the client information quality. Many organizations need precise financial models so as to initiate investments in their informatio...
Ontology-based Knowledge Management
It is recognized that knowledge has a considerable usefulness in people's daily life and all businesses. The current paper discusses a knowledge description using ontology and its application in Multi Agent Systems (MAS). The presented work propos...
Structured system test suite generation process for multi-agent system
In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). MAS’t...
A Petri Net Based Multi-Agent System Behavioral Testing
In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design mod...
Structured Acceptance Test Suite Generation Process for Multi-Agent System
In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). Testi...
A Petri net based agent behavioral testing
In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design mod...
Test Suite Generation Process for Agent Testing
Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent systems are increasingly demanded, in particular to support automated test case ge...
Structured Integration Test Suite Generation Process for Multi-Agent System
In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). Testi...
Multi-agent system testing: A survey
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the object-oriented (OO) paradigm. Agents differ from objects in many issu...
Software reuse has been claimed to be one of the most promising approaches to enhance programmer productivity and software quality. One of the problems to be addressed to achieve high software reuse is organizing databases of software experience, in...