Talk in the Doctoral Symposium of 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS, 6 October 2009, Denver, United States.
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
2.
3. Scenario (Roles) Guidance and services Constraints DSL User DSL Designer DSL Metamodel uses specifies Domain Model builds requires based on defined in
4.
5.
6.
7.
8.
9.
10.
11.
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
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
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)