贝雷帽
发表于 2025-3-23 12:54:41
Model-Driven Software Developmentsary to identify and analyse technologies applied in MDSD. We define basic concepts, such as model-driven engineering, metamodelling, model transformation and technological space, and describe the state-of-the-art implementations of these concepts.
CRATE
发表于 2025-3-23 16:41:08
Ontology Languages and Description Logicstefacts and better handling of complexity, via ontology-based knowledge representation (KR) techniques and reasoning techniques. The term ontology originates from philosophy, where it refers to a unique description of the universe or ’things that are’. In modern information technology, especially in
揉杂
发表于 2025-3-23 19:48:01
Case Studies for Marrying Ontology and Software Technologiese studies will be revisited in later chapters, in particular Chaps. 9 and 10. Many of the solutions are based on the scalable reasoning technologies to be introduced in Chap. 5. The rest of this chapter is organised as follows. Section. 4.1 shows which problems companies meet when they want to speci
obsession
发表于 2025-3-23 22:28:53
Scalable Ontology Reasoning Servicesoning, we refer readers to Chap. 3. As to be illustrated in Chaps. 9 and 10, reasoning services will be required to perform consistency checking and to derive implicit knowledge from the ontologies. Given the large number and volume of models, their complexity and the diversities of required reasoni
wreathe
发表于 2025-3-24 04:30:50
Traceability exist among entities created or used during a software development process. Typically, these associations and dependencies are represented as traceability relationships between the artefacts or models to be traced. Today, traceability is recognised as being essential for various tasks related to so
固定某物
发表于 2025-3-24 08:40:25
Metamodelling and Ontologies( ∗ )grating metamodelling and ontologies. On the one hand, there are metamodels for standard ontology languages, such as OWL 2. On the other hand, there have been efforts enriching standard ontology languages with metamodelling capabilities. Chapter 11 will provide further discussions on metamodelling o
callous
发表于 2025-3-24 10:51:43
Ontology and Bridging Technologieshe ontology reasoning services introduced in Chaps. 3 and 5. We show how they can be used, as key-enabling technologies, to support bridging technologies for combining ModelWare technological spaces and OntologyWare technological spaces. ModelWare technological spaces provide modelling languages, wh
白杨
发表于 2025-3-24 18:10:36
Ontology Reasoning for Consistency-Preserving Structural ModellingSD infrastructure. We illustrate how the ontology services (see Chaps. 3 and 5 for details) summarised in Chap. 8 are employed to enable consistency-preserving structural modelling by providing means for the specification of consistency constraints, static semantics, or the derivation of suggestions
musicologist
发表于 2025-3-24 22:44:10
http://reply.papertrans.cn/71/7018/701734/701734_19.png
maintenance
发表于 2025-3-25 01:02:38
http://reply.papertrans.cn/71/7018/701734/701734_20.png