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

DOI10.1016/S0304-3975(01)00364-4MaRDI QIDQ1608922zbMATH OpenWikidataFDO

Authors Isabel Pita, Narciso Martí-Oliet

Publication date 13 August 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

reflectionrewriting logicMaudetelecommunication networksstrategy languagebroadband telecommunication networksobject-oriented models

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 1231552
• A generic object-oriented model for representing computer network topologies
• Object-Oriented Modelling of Military Communications Networks
• scientific article; zbMATH DE number 1631956
• scientific article; zbMATH DE number 1515853
• scientific article; zbMATH DE number 1231551
• A model of the behavior of network objects in distributed computer systems
• Exploiting an Object-Oriented Simulation Tool to Model a PCS Network

Cites work

• scientific article; zbMATH DE number 1617312 (Why is no real title available?)
• scientific article; zbMATH DE number 1231542 (Why is no real title available?)
• scientific article; zbMATH DE number 1231552 (Why is no real title available?)
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• scientific article; zbMATH DE number 1231670 (Why is no real title available?)
• scientific article; zbMATH DE number 1569122 (Why is no real title available?)
• Conditional rewriting logic as a unified model of concurrency
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• Rewriting logic as a semantic framework for concurrency: a progress report
• Towards Maude 2. 0

Cited in

(4)

• Functional structures in networks. AMLn -- a language for model driven development of telecom systems.
• scientific article; zbMATH DE number 1951536 (Why is no real title available?)
• Exploiting an Object-Oriented Simulation Tool to Model a PCS Network
• Rewriting logic: Roadmap and bibliography

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A Maude specification of an object-oriented model for telecommunication networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1608922)