Towards Semantic Modeling of Network Physical Devices
•Télécharger en tant que PPT, PDF•
1 j'aime•788 vues
Talk in the Doctoral Symposium of 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS, 6 October 2009, Denver, United States.
![Objectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],1 of 8](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recommandé
Recommandé
Contenu connexe
Similaire à Towards Semantic Modeling of Network Physical Devices
Similaire à Towards Semantic Modeling of Network Physical Devices (20)
Towards Semantic Modeling of Network Physical Devices
- 1. Tobias Walter University of Koblenz-Landau, Germany Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina Comarch SA, Poland Towards Semantic Modelling of Network Physical Devices Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE) 04.10.2009, Denver, Colorado
- 3. Scenario (Roles) Guidance and services Constraints DSL User DSL Designer DSL Metamodel uses specifies Domain Model builds requires based on defined in
- 12. Model-based architecture PDIDSL Model PDIDSL Metamodel PDDSL Model PDDSL Metamodel M1 layer M2 layer M0 layer OWL Reasoner (Pellet) map to instance of instance of Ontology ABox TBox transformed to Ontology Extension imports transformed to
- 13. Generated OWL – basic concepts PDDSL Model TBox: Class: Configuration Class: Slot Class: Card ObjectProperty: hasSlot Domain: Configuration Range: Slot ObjectProperty: hasCard Domain: Slot Range: Card transformed to Ontology ABox TBox
- 14. Generated configuration PDDSL Model Class: Cisco7603Configuration EquivalentTo: Configuration and # cardinality restriction on slots: hasSlot exactly 3 Slot and # required cards restriction: (hasSlot some (hasCard some Supervisors and id value 1)) and #optional card restriction: (hasSlot only (((hasCard some Supervisors and id value 1)) or ((hasCard some Supervisors and id value 2) or (hasCard some Hot_Swappable_OSM and id value 2)) or ((hasCard some Hot_Swappable_OSM and id value 3) or (hasCard some SPA_interface_processors and id value 3)))) TBox: transformed to Ontology ABox TBox
- 16. Generated OWL – individuals PDIDSL Model ABox: Individual: cisco1 Types: Configuration Facts: hasSlot slot_1, hasSlot cslot_2, hasSlot slot_3 Individual: slot_1 Types: Slot Facts: hasCard supervisor_2_1, id 1 Individual: slot_2 Types: Slot Facts: hasCard supervisor_2_3, id 2 Individual: slot_3 Types: Slot Facts: hasCard spa_1, id 3 transformed to Ontology ABox TBox
- 17. Generated OWL – CDA PDIDSL Model TBox: Class: Configuration Class: Slot EquivalentTo: {slot_3, slot_2, slot_1} Class: Card EquivalentTo: {supervisor_2_2, HS_OSM_1, supervisor_720_1, supervisor_720_3, H_OSM_2, supervisor_2_1, supervisor_2_3, spa_1} transformed to Ontology ABox TBox
Notes de l'éditeur
- DSL User Uses domain-specific language to create domain models E.g. Models are financial contracts (bank officer), network device configuration (system engineer) Needs services for productively modeling DSL Designer Creates metamodels to specify the domain specific language Provides concrete syntax to DSL users Supports the DSL user, e.g. by guidance, validation
- The complete box is called a chassis. The chassis consists of different cards, for example: Supervisor Engine 720 card for different IP and security features SPA Interface Card for 1-Gbps broadband connections (OSM Card) Hot Swap Controller for swapping cards at runtime (OSM Card)
- Complete and inconsistent
- Complete and consistent -> dynamic classification (refine the model)
- - Metamodel of BEDSL