A Maude specification of an object-oriented model for telecommunication networks

Authors:
Isabel Pita;Narciso Martí-Oliet
Affiliations:
Departamento de Sistemas Informáticos y Programación, Universidad Complutense, Madrid, Spain;Departamento de Sistemas Informáticos y Programación, Universidad Complutense, Madrid, Spain
Venue:
Theoretical Computer Science - Rewriting logic and its applications
Year:
2002

Citing 8
Cited 3

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language

Research directions in concurrent object-oriented programming
Rewriting logic and Maude (invited speaker): a wide-spectrum semantic framework for object-based distributed systems

Fourth International Conference on Formal methods for open object-based distributed systems IV
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Towards a Verification Logic for Rewriting Logic

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly

ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory

Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
Towards a Strategy Language for Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an object-oriented model for broadband telecommunication networks, which can be used both for network management and for network planning purposes. The object-oriented model has been developed using the parallel object-oriented specification language Maude, which allows us to define not only structural aspects of the model but also procedural aspects. The reflective properties of rewriting logic are applied to control the rewriting process, using a strategy language that can be specified internally to the logic. Several modeling approaches are compared, emphasizing the definition of the object relationships and the benefits obtained from using reflection as opposed to the extra effort required to control the process at the object level itself.