Details

Semantic Web and Model-Driven Engineering


Semantic Web and Model-Driven Engineering


1. Aufl.

von: Fernando S. Parreiras

69,99 €

Verlag: Wiley
Format: EPUB
Veröffentl.: 09.05.2012
ISBN/EAN: 9781118135051
Sprache: englisch
Anzahl Seiten: 272

DRM-geschütztes eBook, Sie benötigen z.B. Adobe Digital Editions und eine Adobe ID zum Lesen.

Beschreibungen

The next enterprise computing era will rely on the synergy between both technologies: semantic web and model-driven software development (MDSD). The semantic web organizes system knowledge in conceptual domains according to its meaning. It addresses various enterprise computing needs by identifying, abstracting and rationalizing commonalities, and checking for inconsistencies across system specifications. On the other side, model-driven software development is closing the gap among business requirements, designs and executables by using domain-specific languages with custom-built syntax and semantics. It focuses on using modeling languages as programming languages.<br /> <br /> <p>Among many areas of application, we highlight the area of configuration management. Consider the example of a telecommunication company, where managing the multiple configurations of network devices (routers, hubs, modems, etc.) is crucial. Enterprise systems identify and document the functional and physical characteristics of network devices, and control changes to those characteristics. Applying the integration of semantic web and model-driven software development allows for</p> <p>(1) explicitly specifying configurations of network devices with tailor-made languages,</p> <p>(2) for checking the consistency of these specifications</p> <p>(3) for defining a vocabulary to share device specifications across enterprise systems. By managing configurations with consistent and explicit concepts, we reduce cost and risk, and enhance agility in response to new requirements in the telecommunication area.</p> <p>This book examines the synergy between semantic web and model-driven software development. It brings together advances from disciplines like ontologies, description logics, domain-specific modeling, model transformation and ontology engineering to take enterprise computing to the next level.</p>
<p>List of Figures xv</p> <p>List of Tables xix</p> <p>Foreword xxi</p> <p>Preface xxiii</p> <p>Acronyms xxvii</p> <p><b>Part I Fundamentals</b></p> <p><b>1 Introduction 3</b></p> <p>1.1 Motivation 3</p> <p>1.2 Research Questions 5</p> <p><b>2 Model-Driven Engineering Foundations 9</b></p> <p>2.1 Introduction 9</p> <p>2.2 Model-Driven Engineering Structure 9</p> <p>2.2.1 Models 11</p> <p>2.2.2 Metamodels 11</p> <p>2.2.3 Modeling Languages 13</p> <p>2.2.4 Model Transformations 17</p> <p>2.2.5 Query Languages 17</p> <p>2.3 Technical Spaces 19</p> <p>2.4 Conclusion 20</p> <p><b>3 Ontology Foundations 21</b></p> <p>3.1 Introduction 21</p> <p>3.2 Ontology 22</p> <p>3.2.1 Ontology Modeling 22</p> <p>3.3 The Ontology Web Language 24</p> <p>3.3.1 OWL 2 Syntax 24</p> <p>3.3.2 OWL 2 Semantics 27</p> <p>3.3.3 World Assumption and Name Assumption 27</p> <p>3.4 Ontology Services 31</p> <p>3.4.1 Reasoning Services 31</p> <p>3.4.2 Querying 31</p> <p>3.5 Ontology Engineering Services 33</p> <p>3.5.1 Explanation 33</p> <p>3.5.2 Ontology Matching 34</p> <p>3.6 Rules 34</p> <p>3.7 Metamodels for Ontology Technologies 35</p> <p>3.7.1 OWL Metamodels 35</p> <p>3.7.2 SPARQL Metamodel 40</p> <p>3.8 Ontological Technical Spaces 41</p> <p>3.9 Conclusion 43</p> <p><b>4 Marrying Ontology and Model-Driven Engineering 44</b></p> <p>4.1 Introduction 44</p> <p>4.2 Similarities between OWL Modeling and UML Class-Based Modeling 45</p> <p>4.3 Commonalities and Variations 46</p> <p>4.3.1 Language 47</p> <p>4.3.2 Formalism 49</p> <p>4.3.3 Data Model 49</p> <p>4.3.4 Reasoning 50</p> <p>4.3.5 Querying 51</p> <p>4.3.6 Rules 51</p> <p>4.3.7 Transformation 52</p> <p>4.3.8 Mediation 52</p> <p>4.3.9 Modeling Level 53</p> <p>4.4 The State of the Art of Integrated Approaches 54</p> <p>4.4.1 Model Validation 54</p> <p>4.4.2 Model Enrichment 56</p> <p>4.4.3 Ontology Modeling 58</p> <p>4.5 Existing Work on Classifying Integrated Approaches 58</p> <p>4.6 Conclusion 59</p> <p>Conclusion of Part I</p> <p><b>Part II The TwoUse Approach</b></p> <p><b>5 The TwoUse Conceptual Architecture 65</b></p> <p>5.1 Introduction 65</p> <p>5.2 Requirements for Integrating Ontology Technologies and Model-Driven Engineering 66</p> <p>5.2.1 Usage of Ontology Services in MDE 66</p> <p>5.2.2 Usage of MDE Techniques in OWL Ontology Engineering 67</p> <p>5.3 Addressing the Requirements with the TwoUse Approach 68</p> <p>5.4 Metamodeling Architecture 70</p> <p>5.4.1 The TwoUse Metamodel 70</p> <p>5.5 Syntax 72</p> <p>5.5.1 UML Profile for OWL 72</p> <p>5.5.2 Pure UML Class Diagrams 75</p> <p>5.5.3 Textual Notation 75</p> <p>5.6 Conclusion 77</p> <p><b>6 Query Languages for Integrated Models 78</b></p> <p>6.1 Introduction 78</p> <p>6.2 Combining Existing Approaches 78</p> <p>6.3 Querying Ontologies Using OWL Syntax: SPARQLAS 80</p> <p>6.3.1 SPARQLAS Concrete Syntax 80</p> <p>6.3.2 SPARQLAS Metamodel 81</p> <p>6.3.3 Transformation from SPARQLAS to SPARQL 81</p> <p>6.4 Querying Integrated Models: SPARQLAS4TwoUse 82</p> <p>6.5 Conclusion 84</p> <p><b>7 The TwoUse Toolkit 86</b></p> <p>7.1 Introduction 86</p> <p>7.2 Use Case Descriptions 87</p> <p>7.3 A Generic Architecture for MDE and Ontology Engineering 87</p> <p>7.3.1 Core Services 88</p> <p>7.3.2 Engineering Services 89</p> <p>7.3.3 Front-End 90</p> <p>7.4 Instantiating the Generic Model-Driven Architecture: The TwoUse Toolkit 90</p> <p>7.5 Conclusion 93</p> <p>Conclusion of Part II</p> <p><b>Part III Applications in Model-Driven Engineering</b></p> <p><b>8 Improving Software Design Patterns with Owl 99</b></p> <p>8.1 Introduction 99</p> <p>8.2 Case Study 100</p> <p>8.2.1 Applying the Strategy Pattern 100</p> <p>8.2.2 Extending to the Abstract Factory 101</p> <p>8.2.3 Drawbacks 103</p> <p>8.3 Application of the TwoUse Approach 104</p> <p>8.3.1 OWL for Conceptual Modeling 104</p> <p>8.3.2 TwoUse for Software Design Patterns: The Selector Pattern 105</p> <p>8.4 Validation 109</p> <p>8.4.1 Participants and Collaborations 109</p> <p>8.4.2 Applicability 110</p> <p>8.4.3 Drawbacks 110</p> <p>8.4.4 Advantages 110</p> <p>8.5 Related Work 111</p> <p>8.6 Conclusion 111</p> <p><b>9 Modeling Ontology-Based Information Systems 112</b></p> <p>9.1 Introduction 112</p> <p>9.2 Case Study 113</p> <p>9.2.1 UML Class-Based Software Development 113</p> <p>9.2.2 Ontology-Based Software Development 116</p> <p>9.3 Application of the TwoUse Approach 117</p> <p>9.3.1 Concrete Syntax 118</p> <p>9.3.2 Abstract Syntax 119</p> <p>9.3.3 Querying 121</p> <p>9.4 Validation 121</p> <p>9.4.1 Limitations 123</p> <p>9.5 Conclusion 123</p> <p><b>10 Enabling Linked Data Capabilities to MOF Compliant Models 124</b></p> <p>10.1 Introduction 124</p> <p>10.2 Case Study 125</p> <p>10.2.1 Requirements 127</p> <p>10.3 Application of the TwoUse Approach 128</p> <p>10.3.1 Model Extension 128</p> <p>10.3.2 Model Transformation 130</p> <p>10.3.3 Matching 131</p> <p>10.3.4 Querying with SPARQLAS 131</p> <p>10.4 Validation 132</p> <p>10.4.1 Limitations 134</p> <p>10.5 Related Work 134</p> <p>10.6 Conclusion 135</p> <p>Conclusion of Part III</p> <p><b>Part IV Applications in the Semantic Web</b></p> <p><b>11 Model-Driven Specification of Ontology Translations 141</b></p> <p>11.1 Introduction 141</p> <p>11.2 Case Study 142</p> <p>11.3 Application of the TwoUse Approach 145</p> <p>11.3.1 Concrete Syntax 145</p> <p>11.3.2 Metamodels 146</p> <p>11.3.3 Model Libraries 148</p> <p>11.3.4 Semantics 148</p> <p>11.3.5 Ontology Translation Process 148</p> <p>11.3.6 Implementation 149</p> <p>11.4 Examples 150</p> <p>11.5 Analysis 153</p> <p>11.6 Related Work 154</p> <p>11.7 Conclusion 155</p> <p><b>12 </b><b>Automatic Generation of OntologyAPIs156</b></p> <p>12.1 Introduction 156</p> <p>12.2 Case Study 158</p> <p>12.3 Application of the TwoUse Approach 161</p> <p>12.3.1 Key Domain Concepts 161</p> <p>12.3.2 <i>agogo </i>Concrete Syntax by Example 163</p> <p>12.3.3 Implementation 166</p> <p>12.4 Analysis 167</p> <p>12.5 Related Work 169</p> <p>12.6 Conclusion 170</p> <p><b>13 </b><b>Using Templates in Owl Ontologies 171</b></p> <p>13.1 Introduction 171</p> <p>13.2 Case Study 172</p> <p>13.3 Application of the TwoUse Approach 174</p> <p>13.3.1 Extending the OWL Metamodel with Templates 174</p> <p>13.3.2 Semantics of Templates 177</p> <p>13.3.3 Notations for Templates in OWL 179</p> <p>13.3.4 Query Templates 180</p> <p>13.4 Analysis 181</p> <p>13.4.1 Limitations 182</p> <p>13.5 Related Work 182</p> <p>13.6 Conclusion 183</p> <p>Conclusion of Part IV</p> <p><b>14 Conclusion 187</b></p> <p>14.1 Contributions 187</p> <p>14.2 Outlook 189</p> <p>14.2.1 Ongoing Research 189</p> <p><b>Appendix A 191</b></p> <p>A.1 EBNF Defi nition of the Concrete Textual Syntax for TwoUse 191</p> <p>A.2 EBNF Grammar of SPARQLAS Functional Syntax 192</p> <p>A.3 EBNF Grammar of SPARQLAS Manchester Syntax 197</p> <p>A.4 SPARQLAS Metamodel 202</p> <p>A.5 Ecore to OWL: Translation Rules 204</p> <p><b>Appendix B206</b></p> <p>B.1 Use Cases 206</p> <p>B.1.1 Design Integrated Models 206</p> <p>B.1.2 Design Integrated UML Class Diagram 206</p> <p>B.1.3 Design Integrated Ecore Model 207</p> <p>B.1.4 Specify SPARQLAS4TwoUse Query Operations 207</p> <p>B.1.5 Transform to OWL 207</p> <p>B.1.6 Compute Alignments 208</p> <p>B.1.7 Browse 208</p> <p>B.1.8 Explain Axioms 209</p> <p>B.1.9 Query UML Class-Based Models 209</p> <p>B.1.10 Query OWL Ontologies 209</p> <p>B.1.11 Design Ontology Engineering Services 209</p> <p>B.1.12 Design Ontology API 210</p> <p>B.1.13 Design Ontology Translation 210</p> <p>B.1.14 Design Ontology Template 210</p> <p>B.1.15 Generate Service 211</p> <p>B.2 Connecting Use Cases with Requirements 211</p> <p>References 212</p> <p>Index 226             </p>
<p><b>FERNANDO SILVA PARREIRAS, P<small>H</small>D,</b> is Assistant Professor at the FUMEC University, Brazil, leading the Laboratory of Advanced Information Systems (LIAISE). He received his PhD in computer science from the University of Koblenz-Landau, Germany, summa cum laude. He leads the development of open source software to bridge the gap between semantic web and model-driven software development. Prior to joining the FUMEC University, Dr. Parreiras held positions as researcher and project leader at the University of Koblenz-Landau and as software developer at Unisys.
<p><b>Integrates two powerful software approaches to dramatically enhance enterprise computing</b> <p>Based on the author's own course materials, this book takes enterprise computing to the next level by offering readers a tested and proven method for applying semantic web tools to model-driven software engineering. It integrates and takes advantage of the latest advances from such disciplines as ontologies, description logics, domain-specific modeling, model transformation, and ontology engineering. <p>Before advancing to practical applications, <i>Semantic Web and Model-Driven Engineering</i> lays a foundation of fundamental concepts: <ul> <li><b>Part I, Fundamentals,</b> explains the concepts and technologies underlying model-driven engineering and ontologies, explaining the common bonds and the differences between these two paradigms.</li> <li><b>Part II, The TwoUse Approach,</b> describes the TwoUse Toolkit, which is used to implement a software development approach that integrates model-driven software engineering and ontology technologies.</li> <li><b>Part III, Applications in Model-Driven Engineering,</b> features case studies that apply the TwoUse Toolkit to support software design patterns, ontology-based information systems, and the integration of software languages.</li> <li><b>Part IV, Applications in the Semantic Web,</b> demonstrates and analyzes the author's integrated approach to ontology engineering.</li> </ul> <p>Throughout the text, tables summarize important data. In addition, detailed figures simplify complex programming and software engineering concepts and processes. <p><i>Semantic Web and Model-Driven Engineering</i> is ideal for all software engineers and students, giving them a new set of tools to dramatically enhance enterprise computing by lowering costs, raising productivity, and improving the quality of knowledge management, systems interoperability, and applications integration.

Diese Produkte könnten Sie auch interessieren:

Bandwidth Efficient Coding
Bandwidth Efficient Coding
von: John B. Anderson
EPUB ebook
114,99 €
Digital Communications with Emphasis on Data Modems
Digital Communications with Emphasis on Data Modems
von: Richard W. Middlestead
PDF ebook
171,99 €
Bandwidth Efficient Coding
Bandwidth Efficient Coding
von: John B. Anderson
PDF ebook
114,99 €