Modelling of Object Based Systems with Hidden Sorted ECATNets

Authors:
Mohamed Bettaz;Mourad Maouche
Affiliations:
-;-
Venue:
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Year:
1995

Citing 11
Cited 0

Types as theories

Topology and category theory in computer science
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Algebraic term nets: a formalism for specifying communication software in the OSI framework

The unified computation laboratory
On reusing ATNet modules in protocol specification

Journal of Systems and Software
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols

IEEE Transactions on Software Engineering
Using ECATNets for Specifying Communication Software in the OSI Framework

ICCI '92 Proceedings of the Fourth International Conference on Computing and Information: Computing and Information
Many-Sorted High-Level Nets

PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets

Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
An Algebraic Approach to Refinement

VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols

Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification

Quantified Score

Hi-index	0.00

Visualization

Abstract

ECATNets are a kind of high-level net/data model, combining the strengths of Petri nets with those of abstract data types, used for modeling parallel and distributed systems. Their most distinctive feature is that their semantics is defined in terms of rewriting logics, thus allowing us to analyse the built models by prototyping. However a major drawback of this approach is that the achieved prototypes suffer from a lack of efficiency during their execution. The objective of this paper is to palliate this lack by introducing the concept of hidden sorted ECATNets, a combination of net/object model allowing to "hide" (object) internal states, and then to get more rapid prototypes.