Publikationsserver der Universitätsbibliothek Marburg

Titel:Methoden- und Werkzeugunterstützung für Ontologie-basierte Software-Entwicklung
Autor:Bachmann, Andrej
Weitere Beteiligte: Hesse, Wolfgang (Prof. Dr.)
Veröffentlicht:2010
URI:https://archiv.ub.uni-marburg.de/diss/z2010/0628
URN: urn:nbn:de:hebis:04-z2010-06280
DOI: https://doi.org/10.17192/z2010.0628
DDC: Informatik
Titel (trans.):Methods and tools for ontology-based software development
Publikationsdatum:2010-10-26
Lizenz:https://rightsstatements.org/vocab/InC-NC/1.0/

Dokument

Schlagwörter:
Softwarelebenszyklus, Software development, Conceptual modeling, Wissenschaftstransfer, Wiederverwendung, Softwareentwicklung, Knowledge management, Re-use, Ontology, Wissensverarbeitung, Softwarewieder, Ontologie, OBSE

Zusammenfassung:
Wiederverwendung wird in der Software-Technik eingesetzt, um sowohl Effizienz als auch die Qualität eines Produkts konstruktiv zu beeinflussen. Während einem Software-Projekt in den späten Phasen ausgereifte Techniken und Werkzeuge zur Verfügung stehen, fehlt weitgehend eine entsprechende Unterstützung bei der Untersuchung des Gegenstandsbereichs und der zugehörigen konzeptuellen Modellierung der Anforderungen. Dabei haben diese Aktivitäten einen entscheidenden Einfluss auf spätere Entwicklung und erfolgreiche Durchführung eines Software-Projekts. Um die Wiederverwendung auf der konzeptuellen Ebene zu ermöglichen, wird in dieser Arbeit zunächst eine Infrastruktur entwickelt, die mit Hilfe einer Domänen-Ontologie einen Wissens-Austausch zwischen den beteiligten Projekten erlaubt. Anschließend wird ein auf dieser Infrastruktur aufbauender Prozess zur Ontologie-Entwicklung definiert und seine Anbindung an die klassische oder agile Vorgehensmodelle beschrieben. Ergänzend dazu wird ein Werkzeug zur Prozessunterstützung vorgestellt.

Bibliographie / References

  1. Frédéric Jouault und Ivan Kurtev: On the architectural ali- gnment of ATL and QVT. In: SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, Seiten 11881195, New York, NY, USA, 2006. ACM. [Ker01]
  2. Ian Sommerville: Software Engineering. Addison-Wesley, Rea- ding, MA, 8. Auflage, 2007. [Sow00]
  3. Christian Zimmer und Axel Rauschmayer: Tuna: Ontology- Based Source Code Navigation and Annotation. In: Workshop on Ontologies as Software Engineering Artifacts (OOPSLA), 2004.
  4. Ricardo De Almeida Falbo und Giancarlo Guizzardi: An On- tological Approach to Domain Engineering. In: In Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, Seiten 351358. ACM Press, 2002. [FH06]
  5. [FKM + 00] Günther Fliedl, Christian Kop, Heinrich C. Mayr, Willi Mayerthaler und Christian Winkler: Linguistically Based Re- quirements Engineering: The Niba-Project, 2000. [FKM + 02] Günther Fliedl, Christian Kop, Heinrich C. Mayr, Willi Mayerthaler und Christian Winkler: The NIBA Workow. From textual requirements specications to UML-schemata, 2002.
  6. Nicola Guarino: Formal ontology, conceptual analysis and knowledge representation. International Journal of Human and Computer Studies, 43(5-6):625640, 1995. [Gua97]
  7. Nicola Guarino: The Role of Identity Conditions in Ontology Design. In: COSIT '99: Proceedings of the International Confe- rence on Spatial Information Theory: Cognitive and Computa- tional Foundations of Geographic Information Science, Seiten 221234, London, UK, 1999. Springer-Verlag.
  8. [BKK + 02] Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Le- wis Hart, Jerey E. Smith, Jerzy Letkowski und Pat Emery: Extending the Unied Modeling Language for ontology develop- ment. Software and System Modeling, 1(2):142156, 2002.
  9. Miguel Ángel Sicilia, Juan José Cuadrado, Elena García, Daniel Rodríguez und José R. Hilera: The Evaluation of ontological representations of the SWEBOK as a revision tool, 2005. [Sei03]
  10. Mike Uschold und Robert Jasper: A Framework for Under- standing and Classifying Ontology Applications. In: IJCAI- 99 Workshop on Ontologies and Problem-Solving Methods (KRR5), Seiten 1621, 1999.
  11. Philip Nour, Harald Holz und Frank Maurer: Ontology-based Retrieval of Software Process Experiences. In: ICSE Workshop on Software Engineering over the Internet, 2000.
  12. Peter Ohrstrom, Henrik Schaerfe und Sara L. Uckelman: Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles. In: ICCS '08: Proceedings of the 16th international conference on Conceptual Structures, Berlin, Heidelberg, 2008. Springer.
  13. Herbert Stachowiak: Allgemeine Modelltheorie. Springer, 1973. [Sta03] Standish Group: CHAOS Report 2003. Technischer Bericht, The Standish Group, 2003.
  14. Sara Brockmans, Raphael Volz, Andreas Eberhart und Peter Löer: Visual modeling of OWL DL ontologies using UML. In: The Semantic Web ISWC 2004, Seiten 198213. Springer, 2004.
  15. Elizabeth Furtado und Kênia Soares Sousa: An Ontology-Based Method for Universal Design of User Conceptual Interfaces Using Scenarios. In: Costin Pribeanu und Jean Vanderdonckt (Herausgeber): TAMODIA, Seiten 2531. INFOREC Publis- hing House Bucharest, 2002.
  16. Steen Bleul und Thomas Weise: An Ontology for Quality- Aware Service Discovery. In: In Proc. First International Workshop on Engineering Service Compositions (WESC'05, Seiten 3542, 2005. [Car00]
  17. [GGKH03] Tracy Gardner, Catherine Grin, Jana Koehler und Rainer Hauser: A review of OMG MOF 2.0 Query / Views / Transfor- mations Submissions and Recommendations towards the nal Standard, July 2003.
  18. Antonio Nicola, Michele Missiko und Roberto Navigli: A soft- ware engineering approach to ontology building. Inf. Syst., Literaturverzeichnis 34(2):258275, 2009.
  19. Thomas R. Gruber: A Translation Approach to Portable Onto- logy Specications. Knowledge Acquisition, 5:199220, 1993. [Gru93b]
  20. Heinrich C. Mayr und Christian Kop: A User Centered Ap- proach to Requirements Modeling. In: In: M. Glinz, G. Müller- Luschnat (Hrsg.): Modellierung 2002 -Modellierung in der Praxis -Modellierung für die Praxis, Seiten 7586. Springer, 2002.
  21. Heinrich C. Mayr und Christian Kop: Benutzerzentrierte Mo- dellierung. Alpen-Adria Universität Klagenfurt, orkshop Mo- dellierung 2006Workshop Modellierung 2006 Auflage, März 2006. [Myl81]
  22. [Smi04] Berry Smith: Ontology: Philosophical and Computational. Ox- ford: Blackwell, 2004. [Som07]
  23. Aaron Ruÿ: Übersetzung von UML-Diagrammen für die Literaturverzeichnis Ontologie-basierte Software-Entwicklung.
  24. [DRR + 05] Björn Decker, Eric Ras, Jörg Rech, Bertin Klein und Christian Hoecht: Self-organized Reuse of Software Engineering Knowled- ge supported by Semantic Wikis. In: In Workshop on Semantic Web Enabled Software Engineering (SWESE), held at the 4th International Semantic Web Conference ISWC, 2005.
  25. Barbara Krzensk: Beschreibungstechniken für Ontologien in der Softwaretechnik. Diplomarbeit, 2006.
  26. Stephen Craneeld und Jin Pan: Bridging the gap between the model-driven architecture and ontology engineering. Interna- tional Journal of Human-Computer Studies, 65(7):595 609, 2007.
  27. Stephen J. Mellor, Anthony N. Clark und Takao Futagami: Model-Driven Development. IEEE SOFTWARE, 20(05):1418, 2003.
  28. Krzysztof Czarnecki und Simon Helsen: Classication of Mo- del Transformation Approaches. In: OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Archi- tecture, 2003.
  29. Andrej Bachmann, Wolfgang Hesse und Aaron Ruÿ: Coupling ontology and software development processes -a rendez-vous approach. In: C.R.G. Farias G. Guizzardi (Herausgeber): 2nd Brazilian Workshop on Ontologies and Metamodels for Soft- ware and Data Engineering (WOMSDE), LNCS. Springer, 2007.
  30. [OESV04] Daniel Oberle, Andreas Eberhart, Steen Staab und Raphael Volz: Developing and Managing Software Components In An Ontology-Based Application Server. In: In 5th International Middleware Conference, LNCS, Seiten 459477. Springer, 2004. [OLG + 06] Daniel Oberle, Steen Lamparter, S. Grimm, D. Vr, S. Staab und A. Gangemi: A.: Towards Ontologies for Formalizing Mo- dularization and Communication in Large Software Systems. Journal of Applied Ontology, Seiten 163202, 2006.
  31. Edsger W. Dijkstra: The Humble Programmer. ACM, 15(10):859866, October 1972.
  32. Wolfgang Hesse: Dinosaur Meets Archaeopteryx? Seven The- ses on Rational's Unied Process (RUP).
  33. [BSM + 03] Frank Budinsky, David Steinberg, Ed Merks, Raymond Eller- sick und Timothy J. Grose: Eclipse Modeling Framework. Ad- dison Wesley Professional, 2003. [Bun77]
  34. Fausto Giunchiglia, Maurizio Marchese und Ilya Zaihrayeu: En- coding Classications into Lightweight Ontologies. J. Data Se- mantics, 8:5781, 2007.
  35. Mario Friske und Konrad Hilse: Evaluation von Transformati- onsmaschinen in der modellbasierten Qualitiätssicherung. In: Christian Hochberger und Rüdiger Liskowsky (Herausgeber): GI Jahrestagung, Band 94 der Reihe LNI, Seiten 205209. GI, 2006.
  36. Benjamin Horst: Evaluierung von Software-Prozessen zur Ontologie-basierten Software-Entwicklung.
  37. Barry Smith und Christopher Welty: FOIS introduction: Ontologytowards a new synthesis. In: FOIS '01: Proceedings of the international conference on Formal Ontology in Informa- tion Systems, Seiten 3.9., New York, NY, USA, 2001. ACM. [TPCB06]
  38. Nicola Guarino: Formal Ontology and Information Systems. In: Proceedings of the 1st International Conference on Formal On- tologies in Information Systems (FOIS'98), Seiten 315, Tren- to, Italy, June 1998. IOS Press.
  39. Barry Boehm und Hoh In: Identifying Quality-Requirement Conicts. IEEE Softw., 13(2):2535, 1996. Literaturverzeichnis [BJRV03]
  40. [WHOS08] Jan Wielemaker, Michiel Hildebr, Jacco Van Ossenbruggen und Guus Schreiber: Thesaurusbased search in large heterogenous collections. In: Proc. The Semantic Web -ISWC 2008 7th In- ternational Semantic Web Conferenc. Springer-Verlag, 2008. [Wil08]
  41. Tim Berners-Lee, James Hendler und Ora Lassila: The Seman- tic Web. Scientic American, May 2001.
  42. John Mylopoulos: An overview of Knowledge Representation.
  43. Timo Asikainen, Tomi Männistö und Timo Soininen: Kumbang: A domain ontology for modelling variability in software pro- duct families. Advanced Engineering Informatics, 21(1):23 40, 2007.
  44. Michael R. Genesereth und Nils J. Nilsson: Logical Foundations of Articial Intelligence. Morgan Kaufmann Publishers, 1987. [Gru93a]
  45. Literaturverzeichnis [CFLGP03] Oscar Corcho, Mariano Fernández-López und Asunción Gómez-Pérez: Methodologies, tools and languages for building ontologies: where is their meeting point? Data Knowl. Eng., 46(1):4164, 2003.
  46. Arno Kersche: Mapping KCPM To A UML-Modell. Diplomar- beit, Alpen-Adria-Universität Klagenfurt, 2001. [KMZ04]
  47. [KVH + 05] Christian Kop, Jürgen Vöhringer, Martin Hölbling, Thomas Horn, Heinrich C. Mayr und Christian Irrasch: Tool Supported Extraction of Behavior Models. In: ISTA, Seiten 114123, 2005. [KVV06]
  48. [BHR + 07b] Andrej Bachmann, Wolfgang Hesse, Aaron Ruÿ, Christian Kop, Heinrich C. Mayr und Jürgen Vöhringer: A Practical Approach to Ontology-based Software Engineering. In: Manfred Reichert, Stefan Strecker und Klaus Turowski (Herausgeber): EMISA, Band P-119 der Reihe LNI, Seiten 129142. GI, 2007. [BI96]
  49. Christian Kop, Heinrich C. Mayr und Tatjana Zavinska: Using KCPM for Dening and Integrating Domain Ontologies. In: WISE Workshops, Band 3307 der Reihe Lecture Notes in Com- puter Science, Seiten 190200. Springer, 2004. [Knu04]
  50. Dragan Ga²evic, Dragan Djuric und Vladan Devedºic: Model Driven Architecture and Ontology Development. Springer, Ber- lin, Heidelberg, 1. Auflage, 2006.
  51. Peter Haggett und Richard J. Chorley: Models in geography. Literaturverzeichnis Methuen; distributed in the U.S.A. by Barnes Noble, London, 1967. [Hes96]
  52. Nils Andersch: Modularisierung von Ontologien in der Soft- wareentwicklung. Diplomarbeit, Philipps-Universität Marburg, 2008. [Bac08]
  53. [OMG05a] OMG: MOF QVT Final Adopted Specication. Object Mana- gement Group, June 2005.
  54. [OMG06a] OMG: Meta Object Facility (MOF) Core Specication Version 2.0. Object Modeling Group, 2006.
  55. [OMG06b] OMG: Ontology Denition Metamodel, Sixt Revised Submissi- on. Object Modeling Group, 2006.
  56. OMG: Software Process Engineering Meta-Model, version 2.0, April 2008.
  57. Wolfgang Hesse und Barbara Kzensk: Ontologien in der Soft- waretechnik. In: Proc. Workshop Ontologien in der und für die Softwaretechnik bei der Modellierung 2004, 2004.
  58. Nicola Guarino und P. Giaretta: Ontologies and Knowledge Bases: Towards a Terminological Clarication. Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Literaturverzeichnis Sharing, Seiten 2532, 1995.
  59. Coral Calero, Francisco Ruiz und Mario Piattini: Ontologies for Software Engineering and Software Technology. Springer, Berlin, Heidelberg, 2006. [DeM79]
  60. Wolfgang Hesse: Ontologies in the Software Engineering Pro- cess. In: Richard Lenz, Ulrich Hasenkamp, Wilhelm Hassel- bring und Manfred Reichert (Herausgeber): EAI, Band 141 der Reihe CEUR Workshop Proceedings, 2005.
  61. Holger Knublauch: Ontology-Driven Software Development in the Context of the Semantic Web: An Example Scenario with Protege/OWL. In: David S. Frankel, Elisa F. Kendall und De- Literaturverzeichnis borah L. McGuinness (Herausgeber): 1st International Work- shop on the Model-Driven Semantic Web (MDSW2004), 2004. [Krz06]
  62. Mario Bunge: Ontology I: The Furniture of the World. In: Treatise on Basic Philosophy, Seiten 1519, Berlin, Heidelberg, 1977. Springer.
  63. Jean Bézivin, Frédéric Jouault, Peter Rosenthal und Patrick Valduriez: ATL Transformation-based Model Management Fra- mework. In: Management Framework, Research Report, Atlas Group, INRIA and IRIN, 2003.
  64. In: Proceedings of Model Driven Engineering Languages and Systems (MoDELS'06), Band 4199 der Reihe LNCS, Seiten 425439, 2006. [BHR07a]
  65. Joseph J. Carr: Requirements engineering and management: the key to designing quality complex systems. The TQM Magazine, 12(6):400407, 2000.
  66. Mittelschule Nr. 4, Scheskasgan 09.1993-05.1994 Informatikstudium, Moskau 08.1995-06.1997
  67. Roman Pichler: Scrum: Agiles Projektmanagement erfolgreich einsetzen. dpunkt, Heidelberg, 2007, ISBN 978-3-89864-478-5.
  68. Markus Krötzsch, Denny Vrande£i¢ und Max Völkel: Semantic MediaWiki. In: The Semantic Web -ISWC 2006, Band 4273 der Reihe Lecture Notes in Computer Science, Seiten 935942, Heidelberg, DE, 2006. Springer.
  69. Siar Sarferaz: Methoden und Werkzeugunterstützung für evo- lutionäre, objektorientierte Software-Projekte. Dissertation, Philipps-Universität Marburg, 2003.
  70. Frank J. van der Linden, Klaus Schmid und Eelco Rommes: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, Secaucus, NJ, USA, 2007.
  71. Lars Hechmann und Khalid Ballafkir: SpeSemOnline Pro- jektdokumentation. Technischer Bericht, Philipps-Universität Marburg, 2008.
  72. Tom DeMarco: Structured analysis and system specication. Yourdon computing series. Yourdon, Upper Saddle River, NJ, 1979. [Dij72]
  73. [BMN + 07] Jorge Calmon de Almeida Biolchini, Paula Gomes Mian, Ana Candida Cruz Natali, Tayana Uchôa Conte und Guilherme Horta Travassos: Scientic research ontology to support sys- tematic review in software engineering. Advanced Engineering Informatics, 21(2):133151, 2007.
  74. Peter Pin Shan Chen: The Entity-Relationship Model: Toward a Unied View of Data. ACM Transactions on Database Sys- tems, 1:936, 1976.
  75. Wolfgang Hesse: Theory and practice of the software process -a eld study and its implications for project management. In: C. Montangero (Herausgeber): Software Process Technology, 5th European Workshop, EWSPT 96, Band 141 der Reihe LNCS, Seiten 241256. Springer, 1996. [Hes01]
  76. Thomas Kühne: The Role of Metamodeling. In: in MDA, In- ternational Workshop in Software Model Engineering (in con- junction with UML'02), 2002.
  77. Thomas R. Gruber: Toward Principles for the Design of Onto- logies Used for Knowledge Sharing. In: Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, 1993. [Gua95]
  78. Peter Bellström und Jürgen Vöhringer: Towards the Automati- on of Modeling Language Independent Schema Integration. In: Proceedings of the International Conference on Information, Process, and Knowledge Management eKNOW '09, Seiten 110 115. Springer, 2009.
  79. Nicola Guarino: Understanding, building and using ontolo- gies. International Journal of Human-Computer Studies, 46(2- 3):293310, 1997.
  80. [OVRT06] Kathia Oliveira, Karina Vilela, Ana Regina Rocha und Guilher- me Horta Travassos: Use Ontologies in Software Development Environments, Kapitel 10. Springer, 2006. [Pic07]
  81. Valentin Tablan, Tamara Polajnar, Hamish Cunningham und Kalina Bontcheva: User-friendly ontology authoring using a controlled language. In: In Proceedings of LREC 2006 -5th International Conference on Language Resources and Evalua- tion. ELRA ELDA, 2006.
  82. Ed Seidewitz: What Models Mean. IEEE Softw., 20(5):2632, 2003, ISSN 0740-7459.
  83. [VPST05] Denny Vrandecic, H. Soa Pinto, York Sure und Christoph Tempich: The DILIGENT Knowledge Processes. Journal of Knowledge Management, 9(5):8596, 2005.
  84. Mariano Fernández-López und Asunción Gómez-Pérez: Over- view and analysis of methodologies for building ontologies. Knowl. Eng. Rev., 17(2):129156, 2002. [Fow04]
  85. Jesús Barrasa Rodríguez und Asunción Gómez-Pérez: Upgra- ding relational legacy data to the semantic web. In: Les Carr, David De Roure, Arun Iyengar, Carole A. Goble und Michael Dahlin (Herausgeber): WWW, Seiten 10691070. ACM, 2006. [Ruÿ07]
  86. Florian Fieber, Michaela Huhn und Bernhard Rumpe: Modell- qualität als Indikator für Softwarequalität: eine Taxonomie. In- formatik Spektrum, 31(5):408424, 2008.
  87. Giancarlo Guizzardi: Ontological foundations for structural conceptual models. CTIT PhD Thesis Series, 05-74, 2005. [HB08]
  88. John F. Sowa: Knowledge representation: logical, philosophical and computational foundations. Brooks Cole Publishing Co., Pacic Grove, CA, USA, 2000. [Sow01]
  89. John F. Sowa: Conceptual Graph Examples, 2001. http://www.jfsowa.com/cg/cgexampw.htm.


* Das Dokument ist im Internet frei zugänglich - Hinweise zu den Nutzungsrechten