STAR Webinars Ontology driven diagram generator for health simulation models Andrew Sutcliffe.

Slides:



Advertisements
Similar presentations
Semantically Grounded Briefings Bob Balzer, Neil Goldman, Marcelo Tallis Teknowledge
Advertisements

A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke September 1976.
Modeling Main issues: What do we want to build How do we write this down ©2008 John Wiley & Sons Ltd. vliet.
The Hard Real-Time Unified Modeling Language (HRT-UML) method provides a comprehensive solution to the modeling of Hard Real Time systems. HRT-UML incorporates.
Automated creation of verification models for C-programs Yury Yusupov Saint-Petersburg State Polytechnic University The Second Spring Young Researchers.
Action Logic Modelling Logic Models communicate a vision for an intervention as a solution to a public health nutrition (PHN) problem to:  funding agencies,
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
Knowledge and Systems Research Group, University of Huddersfield B vs OCL: Comparing Specification Languages for Planning Domains Diane Kitchin, Lee McCluskey,
Visual Web Information Extraction With Lixto Robert Baumgartner Sergio Flesca Georg Gottlob.
IBM WebSphere survey Kristian Bisgaard Lassen. University of AarhusIBM WebSphere survey2 Tools  WebSphere Application Server Portal Studio Business Integration.
Software modeling for embedded systems: static and dynamic behavior.
Analysis Modeling Over view of today’s lesson T he analysis model is the first technical representation of a system. Analysis modeling uses a combination.
Requirements Analysis Concepts & Principles
Annotating Documents for the Semantic Web Using Data-Extraction Ontologies Dissertation Proposal Yihong Ding.
Systems Engineering Project: System Validation and Verification Using SDL Ron Henry ENSE 623 November 30, 2004.
Modeling State-Dependent Objects Using Colored Petri Nets
IELM 511: Information System design
Global Installed Base 94% of Fortune 100 companies Purchase Velocity Every 16 seconds Analyst Recognition Gartner BPA Magic Quadrant leader High User.
Testing Processes of Web Applications Susan Cohen.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
1 Introduction to UML DIAGRAMS & CLASS DIAGRAM Chapter 7,8 主講人 : 許勝杰
Multimedia Authoring Tools Lecture 13
CASE Tools And Their Effect On Software Quality Peter Geddis – pxg07u.
Sequence diagrams Chapter 5 Sommerville. Sequence diagrams Sequence diagrams are part of the UML and are used to model the interactions between the actors.
The Software Development Cycle Defining and understanding the problem.
Grafica(1): Introduction Dott. Alessio Malizia
UML REVIEW –PART1 1. Introduction What is UML visual modelling language UML is a language not a methodology? Q: why is this distinction important? UML.
Alok 1Northwestern University Access Patterns, Metadata, and Performance Alok Choudhary and Wei-Keng Liao Department of ECE,
Chapter 4 User Experience Model. User experience model (Ux) Visual specification of the user interface Visual specification of the user interface Both.
DSS Modeling Current trends – Multidimensional analysis (modeling) A modeling method that involves data analysis in several dimensions – Influence diagram.
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
Digital Airport Surface NOTAMs. Introduction What are NOTAMs? –Notices to Airmen (NOTAM) are used to alert pilots about temporary changes affecting the.
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
CHAPTER TEN AUTHORING.
June 12, 2008 The University of Mississippi Design Strategy for Knowledge Base Formation to Automate a Course Map Creation Susan Lukose
Software Engineering Research paper presentation Ali Ahmad Formal Approaches to Software Testing Hierarchal GUI Test Case Generation Using Automated Planning.
Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.
Systems Analysis & Design 7 th Edition Chapter 5.
An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
L6-S1 UML Overview 2003 SJSU -- CmpE Advanced Object-Oriented Analysis & Design Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I College.
Sequence diagram in UML Martin Palkovik. Sequence diagram  It is a graphic representation of system operations based on chronology - a time sequence.
Sketchmate: A Computer-Aided Sketching and Simulation Tool for Teaching Graph Algorithms Dissertation Proposal Kristy VanHornweder April 11, 2011.
Interrelationship Digraphs
© 2005 Prentice Hall1-1 Stumpf and Teague Object-Oriented Systems Analysis and Design with UML.
User Profiling using Semantic Web Group members: Ashwin Somaiah Asha Stephen Charlie Sudharshan Reddy.
Introduction to Interactive Media Interactive Media Tools: Authoring Applications.
CIM LAB MEETING Presentation on UML Rakesh Mopidevi Kwangyeol Ryu.
School of Computer Science, The University of Adelaide© The University of Adelaide, Control Data Flow Graphs An experiment using Design/CPN Sue Tyerman.
OMT Modeling 1. Object Model : presented by the object model and the data dictionary. 2. Dynamic Model: presented by the state diagrams and event flow.
Modelling Reactive Systems 4 Professor Muffy Calder Dept. of Computing Science University of Glasgow
Finite State Machines (FSM) OR Finite State Automation (FSA) - are models of the behaviors of a system or a complex object, with a limited number of defined.
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
System Dynamics 3 CAP4800/5805 Systems Simulation.
CS223: Software Engineering
® IBM Software Group © 2007 IBM Corporation Module 3: Creating UML Diagrams Essentials of Modeling with IBM Rational Software Architect, V7.5.
Chapter – 8 Software Tools.
1. Electronic Presentation Overview Terry Harnden.
1 CEN 4020 Software Engineering PPT4: Requirement analysis.
Fall 2007 Week 9: UML Overview MSIS 670: Object-Oriented Software Engineering.
Diagrams. Typically, we view the static parts of a system using one of the four following diagrams. 1. Class diagram 2. Object diagram 3. Component diagram.
Lecturer: Eng. Mohamed Adam Isak PH.D Researcher in CS M.Sc. and B.Sc. of Information Technology Engineering, Lecturer in University of Somalia and Mogadishu.
Chapter 5 System modeling
Main issues: • What do we want to build • How do we write this down
Course Outcomes of Object Oriented Modeling Design (17630,C604)
Object-Oriented Analysis
CS310 Software Engineering Dr.Doaa Sami
More Requirements Models
By Kathryn M. Reeves 5/8/2000 CIS200
Chapter 4 System Modeling.
Presentation transcript:

STAR Webinars Ontology driven diagram generator for health simulation models Andrew Sutcliffe

NET Meeting - Montreal2 How diagrams are made?  Most often a manual process: time consuming error-prone semantics of the model can be unclear representations often inconsistent output is static (image, PPT) manual update required when the models change sim model diagram

NET Meeting - Montreal3 How diagrams are made?  Automated tools are available support established graphical formalisms, e.g. UML take care of updating diagrams upon model change restricted to specific simulation modeling toolkits output is still static sim model diagram

NET Meeting - Montreal4 Desired features  Clearly defined semantics what is the meaning of the node shapes, colors, arrow types?  Consistent graphical representation  Support for multiple representations causal view, person flow, event sequencing…  Interactive diagrams as output nesting, hierarchical viewing displaying additional info on demand  Less work to make diagrams

NET Meeting - Montreal5 Proposed solution sim model diagram ontology

NET Meeting - Montreal6 Proposed solution  Model semantics defined in the ontology clear relationships consistent encoding of different models  Automatic generation of diagrams consistent graphical representation multiple representations for the same model support for multiple output formats  Less work to make diagrams? encode once in the ontology and get many different diagrams in a consistent format

NET Meeting - Montreal7 Scope of current work  2 model examples encoded in a simplified ontology variables, dependencies, data sources for state transitions, variable clustering  Focus on one graphical representation dependency graph  Output format static images interactive web pages

NET Meeting - Montreal8 Future work  Incorporating more relationships from the ontology state transition functions temporal dynamics  Support for other diagram types event graphs person-flow …  Animated smooth transitions between views  Suggestions?