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)

Full work available at URL https://doi.org/10.1016/S0304-3975(01)00364-4

zbMATH Keywords

broadband telecommunication networksMaudeobject-oriented modelsreflectionrewriting logicstrategy languagetelecommunication networks

Mathematics Subject Classification ID

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

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

• Conditional rewriting logic as a unified model of concurrency
• 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?)
• 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

(5)

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

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)