Constructing multi-theories expert system for UML models validation Miroslav Líška Slovak University of Technology Faculty.

Slides:



Advertisements
Similar presentations
Andrea Maurino Web Service Design Methodology Batini, De Paoli, Maurino, Grega, Comerio WP2-WP3 Roma 24/11/2005.
Advertisements

Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
FUP - Formal Unified Process MSc.Miroslav Líška Slovak University of Technology Faculty of Informatics and Information.
Chap 1 UML vs Thinking in Objects! – Visual modeling Learning UML – Look at the book examples – Alan Holub’s UML reference card – Use library resources.
Model Driven Architecture Efficiently react to Changing Architectural and Functional Requirements Stainless Steel Models for Red Rusting Technologies Wim.
Planning systems and its’ applications in software engineering Saša Tošić, M. Ivanović Risan, 2007.
Ganesh Subramanian 22/12/2010
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
The Semantic Web Week 13 Module Website: Lecture: Knowledge Acquisition / Engineering Practical: Getting to know.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented design 2.
Supervised by, Mr. Ashraf Yaseen. Overview…. Brief Introduction about Knowledge Acquisition. How it can be achieved?. KA Stages. Model. Problems that.
Lab 1 Introduction Project Definition. Introduction and Project definition 2 Objective To give the Student an overview of the Lab Environment and tools.
Information Modeling: The process and the required competencies of its participants Paul Frederiks Theo van der Weide.
An Introduction to UML & Modeling Resources Using UML Rahul Shah EE249 Discussion Sept. 25, 2001.
The Software Product Life Cycle. Views of the Software Product Life Cycle  Management  Software engineering  Engineering design  Architectural design.
LUCENTIA Research Group Department of Software and Computing Systems Using i* modeling for the multidimensional design of data warehouses Jose-Norberto.
Introduction to Rule-Based Systems, Expert Systems, Fuzzy Systems Introduction to Rule-Based Systems, Expert Systems, Fuzzy Systems (sections 2.7, 2.8,
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications Peter Bartalos, Michal Barla, Gyorgy Frivolt, Michal Tvarožek, Anton.
On Roles of Models in Information Systems (Arne Sølvberg) Gustavo Carvalho 26 de Agosto de 2010.
PowerPoint Presentation for Dennis, Wixom, & Tegarden Systems Analysis and Design with UML, 3rd Edition Copyright © 2009 John Wiley & Sons, Inc. All rights.
A Generative and Model Driven Framework for Automated Software Product Generation Wei Zhao Advisor: Dr. Barrett Bryant Computer and Information Sciences.
Mohammad Amin Kuhail M.Sc. (York, UK) University of Palestine Faculty of Engineering and Urban planning Software Engineering department Requirements Engineering.
1 Object Role Modeling Sander van der Rijnst. 2 Outline  Background  Object Role Modeling method  Process Deliverable Diagram  Example  Discussion.
Education Ontology for Software Engineering UML TEST ENVIRONMENT ASYA STOYANOVA-DOYCHEVA EMIL DOYCHEV 14TH WORKSHOP ON "SOFTWARE ENGINEERING EDUCATION.
Key Challenges for Modeling Language Creation by Demonstration Hyun Cho, Jeff Gray Department of Computer Science University of Alabama Jules White Bradley.
EXTRACTING AND STATING USER INTERFACE PROTOTYPE REQUIREMENTS Rares Sfirlogea Method Engineering.
Modeling and simulation of systems Model building Slovak University of Technology Faculty of Material Science and Technology in Trnava.
1 Introduction to Software Engineering Lecture 1.
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
1 Context-dependent Product Line Practice for Constructing Reliable Embedded Systems Naoyasu UbayashiKyushu University, Japan Shin NakajimaNational Institute.
L6-S1 UML Overview 2003 SJSU -- CmpE Advanced Object-Oriented Analysis & Design Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I College.
1 Introduction to UML. 2 What is UML? UML is an acronym for Unified Modeling Language. Unified –Combines the best from existing object- oriented software.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
IT Directors Group 13 & 14 October 2008 Item of the Agenda Seasonal Adjustment software Cristina Calizzani - Unit B5.
Syntax and Semantics CIS 331 Syntax: the form or structure of the expressions, statements, and program units. Semantics: the meaning of the expressions,
MICHAL TVAROŽEK, MICHAL BARLA, GYÖRGY FRIVOLT, MAREK TOMŠA, MÁRIA BIELIKOVÁ Improving Semantic Search via Integrated Personalized Faceted and Visual Graph.
OBJECT-ORIENTED SOFTWARE DEVELOPMENT PROCESS BTS430 Systems Analysis and Design using UML.
Identifying Entity Relationships in News Reports 27. January 2010 Martin Jačala, Jozef Tvarožek Faculty of Informatics and Information Technology Slovak.
UML Diagrams for Caradon developers Daniel DG Moth Core Development Group, Research Student University of Brighton, MSc Object Oriented Software Technology.
Software Design. A well-known phenomenon You will learn…. –Thinking "object oriented“ –Define requirements and analyze the problem domain. –Design of.
October 1st 2015 Alexis Fouché 1, Florian Noyrit 1, Sébastien Gérard 1, Maged Elaasar 2 SYSTEMATIC GENERATION OF STANDARD COMPLIANT TOOL SUPPORT OF DIAGRAMMATIC.
Thomas L. Gilchrist Testing Basics Set 3: Testing Strategies By Tom Gilchrist Jan 2009.
Rational Unified Process Fundamentals Best Practices of Software Engineering Rational Unified Process Fundamentals Best Practices of Software Engineering.
Ontology-Based Interoperability Service for HL7 Interfaces Implementation Carolina González, Bernd Blobel and Diego López eHealth Competence Center, Regensurg.
ANALYSIS PHASE OF BUSINESS SYSTEM DEVELOPMENT METHODOLOGY.
Software Process Models The slides and the material of this chapter is adopted from: 1. “Software Engineering”, by I. Somerville, 7th Ed., “Software.
Formal Methods: for All or for Chosen? Victor Kuliamin 1 Vitaliy Omelchenko 1 Olga Petrenko 2 1 Institute for System Programming 2 Institute of Open Education.
Use Case, Component and Deployment Diagrams University of Sunderland.
Unified Process Software Development Darren Roback/Ravali Kallem CMIS Fall 2009.
Systems Analysis & Design David Walkiewicz March 31, 2012.
OBJECT ORIENTED VS STRUCTURED WHICH ONE IS YOUR CHOICE.
DOMAIN CLASSES – PART 1 BTS430 Systems Analysis and Design using UML.
EDUKNOWLEDGE A Framework for Educational Purposes
TIM 58 More on Chapter 1: Introduction to Systems Analysis and Design
SEAA 2014 Automatic Production of Transformation Chains Using Structural Constraints on Output Models Cuauhtémoc Castellanos Etienne Borde Thomas Vergnaud.
Artificial Intelligence, P.I
Independent Study of Ontologies
Architecture Components
Ontology-based Software Engineering
The Process of Object Modeling
النظم الخبيرة Expert Systems (ES)
Systems Analysis Overview.
دانشگاه شهیدرجایی تهران
فصل چهارم پشتیبانی از تصمیم و هوش مصنوعی
2018, Fall Pusan National University Ki-Joune Li
Software Engineering Lecture #45
تعهدات مشتری در کنوانسیون بیع بین المللی
Semantic Markup for Semantic Web Tools:
Developing an Intelligent User Assistant: Five Observations from CALO
Presentation transcript:

Constructing multi-theories expert system for UML models validation Miroslav Líška Slovak University of Technology Faculty of Informatics and Information Technologies Bratislava, Slovakia

1.Identification and problem analysis 2.Conceptualization 3.Formalization 4.Validation 5.Implementation 6.Conclusion and future work Agenda

1. Identification and problem analysis Domain Software engineering (Model Driven Development) Complex IS development depends on complex knowledge Software process knowledge Target(business) domain knowlegde

2. Conceptualization Goal Problem Opportunity

Business strategy theory UML theory UML Profile theory … (BusinessStrategy) … … 3. Formalization Predicate logic language Knowledge Base

4. Validation UML Model Knowledge Base T1: Business strategy theory T2:UML theory T3:UML Profile theory (Business Strategy)M : Interpretation C(“Person”) … (automatic proving) M|=T Software process knowledge Business domain knowlegde

5. Implementation FormalStudio – currently only in specification phase usecase model

5. Implementation ENVIRONMENT:user interface model

5. Implementation MENU: user interface model

FML – formal markup language (predicate logic) 5. Implementation BusinessProcess theory

Model of theory in FML (PARSED UML) 5. Implementation

6. Conclusion and future work Validation process refinement Expert system functionality refinement (agent system orientation) User Inteface refinement

Thank you for your attention - discussion -

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.