Giancarlo Guizzardi Ontological Foundations for Structural Conceptual Models Kapitel 1–3, vorgestellt von Steffen Zschaler am 08.11.2006.

Slides:

Advertisements

Similar presentations

Kapitel 1 Folie 1 Kapitel 2 Kapitel 3 Kapitel 4. Kapitel 1 Folie 2.

Advertisements

1 Verification by Model Checking. 2 Part 1 : Motivation.

Diversity in Management Research

Willing to spend the time! Self motivated! Self responsibility! (If you need something Ask For IT!!!!!) Ability to communicate! (Vocabulary) Write,

Aspect Orientation for Your Language of Choice Florian Heidenreich, Jendrik Johannes, Steffen Zschaler Workshop on Aspect-Oriented Modelling 30 September,

Integrating OCL and Model Transformations in Fujaba Mirko Stölzel, Steffen Zschaler, and Leif Geiger OCLApps 2006, October 2, 2006.

Fakultät für informatik informatik 12 technische universität dortmund Specifications and Modeling Peter Marwedel TU Dortmund, Informatik 12 Graphics: ©

Fakultät für informatik informatik 12 technische universität dortmund SDL Peter Marwedel TU Dortmund, Informatik 12 Graphics: © Alexandra Nolte, Gesine.

Technische universität dortmund fakultät für informatik informatik 12 Specifications and Modeling Peter Marwedel TU Dortmund, Informatik

Ulrich Frank, Stefan Strecker Information Systems and Enterprise Modelling research group ICB Institute for Computer Science and Business Information Systems.

Information Security of Embedded Systems : Embedded Systems Design Prof. Dr. Holger Schlingloff Institut für Informatik und Fraunhofer FIRST.

Master in Space and Technology Advanced Data Bases Internet Technologies The object-oriented Approach and Java Programming Prof. Seipel Prof. Tran-Gia.

Lehrstuhl Informatik III: Datenbanksysteme Astrometric Matching - E-Science Workflow 1 Lehrstuhl Informatik III: 1 Datenbanksysteme 1 Fakultät für Informatik.

Lehrstuhl Informatik V (Informationssysteme) Prof. Dr. M. Jarke Matthias Jarke I5-Jarke Dagstuhl Perspective Seminar Science of Design: High-Impact.

Chapter 3 Introduction to Quantitative Research

Chapter 3 Introduction to Quantitative Research

1 ACCREDITATION. 2 WHAT IS PROGRAM ACCREDITATION One of the first steps to establish the system of professional development of teachers with clearly set.

Ontological Resources and Top-Level Ontologies Nicola Guarino LADSEB-CNR, Padova, Italy

1 Building scientific Virtual Research Environments in D4Science Paul Polydoras University of Athens, Greece.

Lehrstuhl Informatik III: Datenbanksysteme Grid-based Data Stream Processing in e-Science 1 Richard Kuntschke 1, Tobias Scholl 1, Sebastian Huber 1, Alfons.

Fakultät Informatik Institut Software- und Multimediatechnik, Lehrstuhl Softwaretechnologie EMFText Meeting, Dresden, EMFText Code Completion.

A Close Look at Composition Languages Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, and Uwe Aßmann ACoMM 2008.

Methoden …\uml.ppt Folie:1 Rainer Kröning Unified Modeling Language.

Fashion Design Program

WEB SITES OF CULTURAL INSTITUTIONS Chapter 1. Slide 1 CHAPTER CONTENTS ( I ) 1. General Ideas About Good Website 1.1 Web Site Growth Steps 1.2 Tips for.

Computer Science in Freiberg Konrad Froitzheim, TU Freiberg, Germany TUBAF Institut für Informatik Curriculae Research Highlights.

Technische universität dortmund fakultät für informatik informatik 12 Specifications, Modeling, and Model of Computation Jian-Jia Chen (slides are based.

A Stepwise Modeling Approach for Individual Media Semantics Annett Mitschick, Klaus Meißner TU Dresden, Department of Computer Science, Multimedia Technology.

Software Verification 1 Deductive Verification Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer Institut.

2012 TRACS ANNUAL CONFERENCE STUDENT LEARNING OUTCOMES 101 Dr. Gino Pasquariello.

Lecture 2 Three Adequacies Important points review.

Agenda Foundational Questions about Research Elements of Theory Sources and Evaluation of Definitions Meta-Theories.

Embodied Interaction By Matthew Dunlap Define Artifacts? Overview Next.

Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.

Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.

Foundations This chapter lays down the fundamental ideas and choices on which our approach is based. First, it identifies the needs of architects in the.

Introduction to Bloom’s Taxonomy. The Idea Purpose ◦ Organize and classify educational goals ◦ Provide a systematized approach to course design Guided.

1 An Analytical Evaluation of BPMN Using a Semiotic Quality Framework Terje Wahl & Guttorm Sindre NTNU, Norway Terje Wahl, 14. June 2005.

Knowledge Interchange Format Michael Gruninger National Institute of Standards and Technology

Ontology Development in the Sciences Some Fundamental Considerations Ontolytics LLC Topics:  Possible uses of ontologies  Ontologies vs. terminologies.

Knowledge representation

Provenance Metadata for Shared Product Model Databases Etiel Petrinja, Vlado Stankovski & Žiga Turk University of Ljubljana Faculty of Civil and Geodetic.

ER2013 KSE Lab Meeting December Paper 1: Ontologies for International Standards for Software Engineering Addresses issue of terminological and semantic.

What is linguistics  It is the science of language.  Linguistics is the systematic study of language.  The field of linguistics is concerned with the.

School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.

Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)

Putting Research to Work in K-8 Science Classrooms Ready, Set, SCIENCE.

LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.

An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.

FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.

Chapter 6 – Architectural Design Lecture 1 1Chapter 6 Architectural design.

Theme 2: Data & Models One of the central processes of science is the interplay between models and data Data informs model generation and selection Models.

Towards Using Constructive Type Theory for Verifiable Modular Transformations Steffen Zschaler, Iman Poernomo, Jeffrey Terrell FREECO’11 Lancaster, 26.

‘Activity in Context’ – Planning to Keep Learners ‘in the Zone’ for Scenario-based Mixed-Initiative Training Austin Tate, MSc in e-Learning Dissertation.

Be.wi-ol.de User-friendly ontology design Nikolai Dahlem Universität Oldenburg.

Background-assumptions in knowledge representation systems Center for Cultural Informatics, Institute of Computer Science Foundation for Research and Technology.

LE:NOTRE Spring Workshop The Role of Ontologies for Mapping the Domain of Landscape Architecture An introduction.

2. The standards of textuality: cohesion Traditional approach to the study of lannguage: sentence as conventional object of study Structuralism (Bloofield,

TU Dresden - Institut für Bauinformatik Folie-Nr.: 1 BIWO-04 Software Engineering (Software Systems) 2.Exercise System Capturing with IDEF0 TU Dresden.

1. Objectives of theory-mining reviews

The Context of Database Management

Ontology: Philosophy vs. IT

The Role of Ontologies for Mapping the Domain of Landscape Architecture An introduction.

Software Design and Development

Supporting Organisational Eﬃciency and Agility

Ontology-Based Approaches to Data Integration

Quality Managements Frameworks

Manager’s Overview DoDAF 2.0 Meta Model (DM2) TBS dd mon 2009

Common Core Vs Kansas Standards

Philosophy and Teacher Professionalism

Presentation transcript:

Giancarlo Guizzardi Ontological Foundations for Structural Conceptual Models Kapitel 1–3, vorgestellt von Steffen Zschaler am

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 2 von 11 Motivation Conceptual Modelling Languages –For representing reality –Human users –To promote communication and common understanding –When is reality represented adequately? Systematic approach is needed –Current approaches: Focused on specific domains Here: Focus on general principles of conceptual models

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 3 von 11 Objectives Conceptualisatio n Model Modelling Language Modelling Specification represented by interpreted as represented by interpreted as instance ofused to compose instance ofused to compose ConceptsArtefacts Establish a systematic relation between modelling language and conceptualisation representation adequacy foundational ontology Establish a systematic relation between modelling language and conceptualisation representation adequacy foundational ontology

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 4 von 11 Representation Adequacy Two aspects: 1.Domain Appropriateness: Measure of the suitability of a language for modelling phenomena of a domain Truthfulness to the domain 2.Comprehensibility Appropriateness: Measure of ease of comprehension and communication

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 5 von 11 Domain Appropriateness Specification S should be as close to Model M as possible. –Ideally: Isomorphisms –Homomorphisms will do –Four properties to characterise an isomorphism: 1.Lucidity/Construct Overload 2.Soundness/Construct Excess 3.Laconicity/Construct Redundancy 4.Completeness

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 6 von 11 Lucidity/Construct Overload Every element in S relates to at most one element in M. Contrast: Construct Overload (Language Level) –Some grammatical constructs relate to more than one ontological construct –No implication of non-lucidity or vice-versa MS

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 7 von 11 Soundness/Construct Excess Every element in S relates to at least one element in M. Contrast: Construct Excess (Language Level) –Some grammatical constructs relate to no ontological construct MS

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 8 von 11 Laconicity/Construct Redundancy Every element in M is represented by at most one element in S. Contrast: Construct Redundancy (Language Level) –More than one grammatical constructs relates to the same ontological construct –No implication of non-laconicity or vice-versa MS

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 9 von 11 Completeness Every element in M is represented by at least one element in S. Related to: Completeness (Language Level) –Every domain concept is represented by at least one grammatical construct MS

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 10 von 11 Model Modelling Language Modelling Specification represented by interpreted as represented by interpreted as instance ofused to compose instance ofused to compose Comparing Modelling Languages and Conceptualisations Conceptualisatio n ConceptsArtefacts Domain Ontolog y Meta- Conceptualisatio n Material Domain Conceptualisatio n Ontology Representation Language Domain Ontology represented by instance of Meta-Level Level Foundational Ontology

Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie TU Dresden, (c) Steffen Zschaler, 2006Folie 11 von 11 Ontologies Lots of history on use of ontologies in philosophy and computer science Formalisations of Conceptualisation, Logical Model, Ontological Commitment I have no clue, what is the core contribution of this chapter!