An expert network simulation and design system

Size: px
Start display at page:

Download "An expert network simulation and design system"

Transcription

1 An expert network simulation and design system An expert network simulation and design system Bhavani M. Thuraisingham Bhavani M. Thuraisingham Honey well Inc., Corporate Systems Development Division 1000 Boone Avenue North, Golden Valley, Minnesota Honeywell Inc., Corporate Systems Development Division 1000 Boone Avenue North, Golden Valley, Minnesota ABSTRACT ABSTRACT We describe the essential features of an expert system that helps nonexpert designers analyze and design computer networks. The major components of this expert system are the executive, the knowledge management system, the user interface system, the modeler, the analyzer and the synthesizer. A combination of object-oriented techniques, rules and frames is used to represent the application's descriptive and problem-solving knowledge. Principles of planning systems are used to design a network satisfying the user's requirements. We describe the essential features of an expert system that helps nonexpert designers analyze and design computer networks. The major components of this expert system are the executive, the knowledge management system, the user interface system, the modeler, the analyzer and the synthesizer. A combination of object- oriented techniques, rules and frames is used to represent the application's descriptive and problem -solving knowledge. Principles of planning systems are used to design a network satisfying the user's requirements. 1. INTRODUCTION 1. INTRODUCTION In recent years, the computer network industry has grown at an exponential rate.the complexities of the networks have also increased. Networks are being developed for many critical applications such as BM/C3I and space stations. Building high-performance, efficient, cost-effective, reliable and secure networks is crucial for many of these applications. Consequently, highly skilled network designers are needed to achieve the objectives of the communication industry. Unfortunately the supply of such skilled designers does not meet the demands of the industry. Therefore, it is becoming not only desirable but also necessary to automate the knowledge of these experts so that inexperienced designers can continue with the design of these networks. Expert system technology is the ideal vehicle to automate the knowledge of expert designers. In recent years, the computer network industry has grown at an exponential rate.the complexities of the networks have also increased. Networks are being developed for many critical applications such as BM/C3I and space stations. Building high -performance, efficient, cost -effective, reliable and secure networks is crucial for many of these applications. Consequently, highly skilled network designers are needed to achieve the objectives of the communication industry. Unfortunately the supply of such skilled designers does not meet the demands of the industry. Therefore, it is becoming not only desirable but also necessary to automate the knowledge of these experts so that inexperienced designers can continue with the design of these networks. Expert system technology is the ideal vehicle to automate the knowledge of expert designers. This paper describes our preliminary ideas on a framework for developing an expert network simulation and design software system known as XIMNET. XIMNET was conceived from our earlier work on XIMKON, 1 which is an expert simulation and control program to assist inexperienced control engineers in designing, analyzing and modeling process control systems. Similarly, the goal of XIMNET is to assist inexperienced network designers in modeling, designing and analyzing networks. This goal is achieved by applying a combination of expert system technology and object-oriented techniques. This paper describes our preliminary ideas on a framework for developing an expert network simulation and design software system known as XIMNET. XIMNET was conceived from our earlier work on XIMKON,1 which is an expert simulation and control program to assist inexperienced control engineers in designing, analyzing and modeling process control systems. Similarly, the goal of XIMNET is to assist inexperienced network designers in modeling, designing and analyzing networks. This goal is achieved by applying a combination of expert system technology and object- oriented techniques. Recently much attention has been given to applying artificial intelligence (AI) techniques for solving problems in computer networks.2 Many of the applications have been in the areas of network monitoring and troubleshooting. For example, the ACE system3 is a knowledge-based system that analyzes telephone cables daily. This system does not operate in real time. It analyzes the reports obtained from customers and employees and decides whether preventive maintenance is required and also determines where the rehabilitation should take place. The NTC system3 is a network troubleshooting consultant that provides interpretive analysis of network-related problems. Issues that relate to AI and network planning have been addressed recently.4 The network planning tasks included verifying protocol specifications, applying knowledge to routing tasks to reduce work, and providing expert assistance in Recently much attention has been given to applying artificial intelligence (AI) techniques for solving problems in computer networks.' Many of the applications have been in the areas of network monitoring and troubleshooting. For example, the ACE system3 is a knowledge -based system that analyzes telephone cables daily. This system does not operate in real time. It analyzes the reports obtained from customers and employees and decides whether preventive maintenance is required and also determines where the rehabilitation should take place. The NTC system3 is a network troubleshooting consultant that provides interpretive analysis of network -related problems. Issues that relate to AI and network planning have been addressed recently.' The network planning tasks included verifying protocol specifications, applying knowledge to routing tasks to reduce work, and providing expert assistance in SPIE Vol 1095 Applications of Artificial Intelligence VII (1989) / 735 SPIEVol Applications of Artificial Intelligence VII (1989) / 735

2 analyzing and designing networks. Initially our focus is on the last task; namely, analyzing and designing networks. analyzing and designing networks. Initially our focus is on the last task; namely, analyzing and designing networks. The remainder of this paper will provide an overview of XIMNET and a description of the essential features of its components. The remainder of this paper will provide an overview of XIMNET and a description of the essential features of its components. 2.1, Overview 2.1. Overview 2. XIMNET 2. XIMNET The components of XIMNET are illustrated in Figure 1. The expert executive is the main driving force of XIMNET. It supervises the application of XIMNET commands with the modeling, analysis and synthesis commands. The other major components of XIMNET include the expert process modeler, the expert network designer, the expert network analyzer, the expert database system and the expert user interface. Foreign expert system tools can also be interfaced to XIMNET. For example, such tools could be used to represent the information pertaining to a network topology diagram. This representation could then be used by the expert design and analysis components of XIMNET. Each of the components of XIMNET will be described briefly below. The components of XIMNET are illustrated in Figure 1. The expert executive is the main driving force of XIMNET. It supervises the application of XIMNET commands with the modeling, analysis and synthesis commands. The other major components of XIMNET include the expert process modeler, the expert network designer, the expert network analyzer, the expert database system and the expert user interface. Foreign expert system tools can also be interfaced to XIMNET. For example, such tools could be used to represent the information pertaining to a network topology diagram. This representation could then be used by the expert design and analysis components of XIMNET. Each of the components of XIMNET will be described briefly below. The expert executive accepts user's commands and decides what actions are to be taken. If the commands can be processed directly by the modeling, design and analysis components, the expert executive sends the commands to the appropriate module. If the user's request is to query or update the database, the expert database system is invoked. If the request has to be refined further or if the request is incomplete, the expert user interface component is invoked. The expert executive accepts user's commands and decides what actions are to be taken. If the commands can be processed directly by the modeling, design and analysis components, the expert executive sends the commands to the appropriate module. If the user's request is to query or update the database, the expert database system is invoked. If the request has to be refined further or if the request is incomplete, the expert user interface component is invoked. The expert database system component of XIMNET performs intelligent query processing and updating of the information in the expert database (or knowledge base). The expert database consists of two types of knowledge. One is the information about the various types of networks and the components of these networks. The constraints are also included in this information. The second type of knowledge captures the thought process of the expert; that is, it includes expert heuristics and problem-solving information. The expert database system component of XIMNET performs intelligent query processing and updating of the information in the expert database (or knowledge base). The expert database consists of two types of knowledge. One is the information about the various types of networks and the components of these networks. The constraints are also included in this information. The second type of knowledge captures the thought process of the expert; that is, it includes expert heuristics and problem - solving information. The expert user interface component of XIMNET enables nonexpert designers to use XIMNET. It also helps users to formulate requests if insufficient information is known, handles incomplete requests, and draws graphical representations of the network specifications among others. In the case where users of foreign tools have to use XIMKON, the expert user interface should perform the necessary translations between foreign formats and a format that can be understood by XIMNET. The expert user interface component of XIMNET enables nonexpert designers to use XIMNET. It also helps users to formulate requests if insufficient information is known, handles incomplete requests, and draws graphical representations of the network specifications among others. In the case where users of foreign tools have to use XIMKON, the expert user interface should perform the necessary translations between foreign formats and a format that can be understood by XIMNET. The expert network modeler uses first principles in networks such as theory of graphs to model the structures, equations and parameters of the particular network unit. This expert system has access to XIMNET's knowledge base, from which it obtains all of the application- descriptive information as well as the problem - solving information. The commands to this expert system could come from the user or from the expert designer to verify the designs. The expert network modeler uses first principles in networks such as theory of graphs to model the structures, equations and parameters of the particular network unit. This expert system has access to XIMNET's knowledge base, from which it obtains all of the application-descriptive information as well as the problem-solving information. The commands to this expert system could come from the user or from the expert designer to verify the designs. The expert analyzer analyzes the designs produced either by the designer or the user. The designs are first sent to the network modeler, which will represent the network. The representation is then sent to The expert analyzer analyzes the designs produced either by the designer or the user. The designs are first sent to the network modeler, which will represent the network. The representation is then sent to 736 / SPIE Vol 1095 Applications of Artificial Intelligence VII ( / SPIE Vol Applications of Artificial Intelligence VII (1989)

3 the analyzer, which will either simulate the designs or perform theoretical analysis. The information needed to perform this analysis is stored in the expert database. Appropriate analysis programs are then invoked. the analyzer, which will either simulate the designs or perform theoretical analysis. The information needed to perform this analysis is stored in the expert database. Appropriate analysis programs are then invoked. The expert designer (or expert synthesizer) component of XIMNET is a planning system. The user's specifications for a network are sent to this component in an appropriate format. At the highest level of abstraction is the goal of designing a network. The planner consults the knowledge base for problemsolving information and application-dependent information and generates many intermediate subgoals. Partial plans are sent to the modeler and analyzer to determine whether the user's specifications and constraints are met. Successful plans generated are given to the user. The expert designer (or expert synthesizer) component of XIMNET is a planning system. The user's specifications for a network are sent to this component in an appropriate format. At the highest level of abstraction is the goal of designing a network. The planner consults the knowledge base for problem - solving information and application- dependent information and generates many intermediate subgoals. Partial plans are sent to the modeler and analyzer to determine whether the user's specifications and constraints are met. Successful plans generated are given to the user. Foreign Expert System Tools I Foreign Expert System Tools 1 (The Executive) I The Executive I Knowledge- Based I System J JL Expert User Interface * System i ' ~ I [ Expert I Expert f Expert 1 I I Modeler I Analyzer I I Designer I G G Figure 1. XIMNET Figure 1. XIMNET 2,2. Knowledge representation issues 2.2. Knowledge representation issues The knowledge base (or expert database) of XIMNET includes application-descriptive information and problem-solving information. We have used an object-oriented representation to represent much of the application-descriptive information. This information includes knowledge about various networks and the components of networks. Constraints such as integrity and security specifications are represented by rules. The problem-solving information is represented by a combination of rules and frames. The rules encode the expert's thought process and the frames specify the operator frames used by the planner to generate the design plans. Each type of representation scheme will be described with examples. The knowledge base (or expert database) of XIMNET includes application -descriptive information and problem -solving information. We have used an object -oriented representation to represent much of the application- descriptive information. This information includes knowledge about various networks and the components of networks. Constraints such as integrity and security specifications are represented by rules. The problem- solving information is represented by a combination of rules and frames. The rules encode the expert's thought process and the frames specify the operator frames used by the planner to generate the design plans. Each type of representation scheme will be described with examples An object model. All conceptual entities are modeled as objects in an object-oriented system5. A group of objects with similar properties form a class that is also an object. A class could be a systemdefined class such as a class of integers, reals or boolean values, or it could be a user-defined class such as a class of networks or computers. Associated with each class is a set of instance variables that describe properties of the objects belonging to that class. For example, a class of networks could have An object model. All conceptual entities are modeled as objects in an object -oriented systems. A group of objects with similar properties form a class that is also an object. A class could be a system - defined class such as a class of integers, reals or boolean values, or it could be a user - defined class such as a class of networks or computers. Associated with each class is a set of instance variables that describe properties of the objects belonging to that class. For example, a class of networks could have SPIE Vol 1095 Applications of Artificial Intelligence VII (1989) / 737 SP/EVo/ Applications of Artificial Intelligence VII (1989) / 737

4 the network ID, network name and owner as its instance variables. An instance variable is also an object whose domain is another class. For example, the instance variable network ID is an integer value and will belong to the integer class. A class has methods associated with it. These methods encapsulate the behavior of the objects associated with the class. Methods consist of code that can be executed. A method is executed when an appropriate message is sent to the class. For example, a message may be sent to the class networks to retrieve the name of the network whose ID is the number 100. Two types of hierarchies may be formed. One is the IS-A hierarchy where a class has subclasses associated with it. For example, the class of Systems has the subclasses Mini, Micro and ; that is, Mini is the class of all minicomputers, Micro is the class of all microcomputers, and is the class of all mainframes. The Systems class is the superclass of Mini, Micro and. All of the subclasses of Systems will inherit its instance variables; that is, if system ID is an instance variable of Systems, then Mini, Micro and will all have system ID as an instance variable. In addition, each subclass will have some additional instance variables that will distinguish it from the other subclasses. A class could also be a subclass of more than one superclass. For example, suppose two computer companies, say Cl and C2, market a computer product of type T. Let i 1 and 2 be the products of Cl and C2, respectively. Then the class of all computer products of type T is a subclass of both i 1 and 2 and inherits the instance variables of both superclasses. This is called multiple inheritance. If there is a conflict in such an inheritance, some a priori rule should determine which instance variable to inherit. The second hierarchy is the IS-PART-OF hierarchy. Here an object in a class is considered to be an aggregation of a set of objects, each of which belongs to some class. For example, a network object can be regarded as an aggregation of a set of hosts, a set of connections, a set of network interface units and a set of terminals. A set of hosts is an instance of the set class. A host object that is an instance of the host class is in turn an aggregation of a set of hardware components and a set of software components. Both the IS IS-A and IS-PART-OF hierarchy for the applications under consideration are illustrated in Figure Rules. The rules are used to to represent the constraints and also the expert thought process. The constraints include the integrity and security constraints. The security constraints include constraints of the following form: If the network ID is 100, then the network cannot be accessed by unclassified users. The integrity constraints specify the rules enforced on the networks. For example, there could be a requirement that the maximum distance between two hosts in a network cannot exceed 1000 miles. The problem-solving rules include the heuristics rules, meta-rules among others. For example, there could be a rule which states that the first step in the design process is to plan the topology of the network. Meta-rules are rules that determine which rules should be selected in the event of a choice Frames. Frames are used to to represent the operators used by the planner. The operator frames have the same format as those used in many planning systems such as SPIE.6 SPD3.6 Each operator frame must //SPIEVol Applications of Artificial Intelligence VII (1989)

5 include as a minimum the slots for Operator name, Goal and Preconditions. A sample operator frame is shown below: include as a minimum the slots for Operator name, Goal and Preconditions. A sample operator frame is shown below: Operator Name: Network-Design Goal: Produce a plan to design the network according to the specifications Preconditions: Determine Topology Determine Interconnection media Determine Host Types Determine Network Interface Unit Types Operator Name: Network -Design Goal: Produce a plan to design the network according to the specifications Preconditions: Determine Topology Determine Interconnection media Determine Host Types Determine Network Interface Unit Types Systems Clas s ^^ "l^-*^~-~^ Systems ----"--, Mi crocomputer Microcomputer Minicomputer Minicomputer Companyl ^^ Companyl p=» - -? \. Company2 Company2 a. IS -A Hierarchy i. IS-A Hierarchy I System Instance 1 ^/ 1 Set of Hardware I Components J \ V^ 1 Set of Software I Components J Operating System, Software Component Operating System ] 1 Software Component! ^^ Memory Management J 1 *^ ^^-^^ Process Management Process Management 1 1 Input Output b. IS-PART-OF Hierarchy b. IS- PART -OF Hierarchy G G Figure 2. Hierarchies Figure 2. Hierarchies SPIE Vol Applications of Artificial Intelligence VII (1989) / 739 SPIEVol Applications of Artificial Intelligence VII (1989) / 739

6 23. The planner 2.3. The planner The planner that we propose to use is similar to the one we are using.for XIMKON. This planner has been influenced greatly by the planner developed for control system design.7 The essential features of this planner will be described here. The planner that we propose to use is similar to the one we are using.for XIMKON. This planner has been influenced greatly by the planner developed for control system design.' The essential features of this planner will be described here. Like most planning systems, XIMNET uses a tree data structure. The design starts with the preliminary node, which is the root node of the tree. This node has the ultimate goal attached to it. The first step is to examine the operator frames to determine which of them have this ultimate goal as their goal. If there are none, the rule base is examined as to whether there are any alternatives. To simplify the discussion, we will assume that there are such operators. If there is more than one such operator, then the rule base is examined as to which one is more likely to achieve the goal. If there are rules that will help in this decision, the suggestions are taken. Otherwise, the first operator in the list is tried. The operator is applied to the goal and the preconditions are examined. If there is more than one condition, the rule base is examined to see if there are possible conflicts. Each precondition will correspond to an operator frame or some fact in the database. If a precondition selected does not cause any conflicts, it is generated as one of the subgoals of the ultimate goal. Now the planner has two options: either to expand on this subgoal and recursively generate more subgoals, or to examine another precondition for the ultimate goal. Again the rule base will guide this decision process. As partial plans are generated, the user's specifications are examined to see if the plans are viable. If they are viable, they are committed; if not, some alternative plan should be attempted. The task of testing the plans is performed by the modeler and the analyzer. Once a plan or plans are generated that satisfy the requirements, the problemsolving process ends. Like most planning systems, XIMNET uses a tree data structure. The design starts with the preliminary node, which is the root node of the tree. This node has the ultimate goal attached to it. The first step is to examine the operator frames to determine which of them have this ultimate goal as their goal. If there are none, the rule base is examined as to whether there are any alternatives. To simplify the discussion, we will assume that there are such operators. If there is more than one such operator, then the rule base is examined as to which one is more likely to achieve the goal. If there are rules that will help in this decision, the suggestions are taken. Otherwise, the first operator in the list is tried. The operator is applied to the goal and the preconditions are examined. If there is more than one condition, the rule base is examined to see if there are possible conflicts. Each precondition will correspond to an operator frame or some fact in the database. If a precondition selected does not cause any conflicts, it is generated as one of the subgoals of the ultimate goal. Now the planner has two options: either to expand on this subgoal and recursively generate more subgoals, or to examine another precondition for the ultimate goal. Again the rule base will guide this decision process. As partial plans are generated, the user's specifications are examined to see if the plans are viable. If they are viable, they are committed; if not, some alternative plan should be attempted. The task of testing the plans is performed by the modeler and the analyzer. Once a plan or plans are generated that satisfy the requirements, the problem - solving process ends. 3. CONCLUSIONS 3. CONCLUSIONS In this paper we have described the preliminary design of an expert system that will help nonexpert designers analyze and design computer networks satisfying the user's requirements. The driving force behind this expert system is the executive. The other components of the expert system are the knowledge base management system, the user interface management system, the modeler, the analyzer and the designer. We have used a combination of object-oriented techniques, rules and frames to represent the application-descriptive knowledge and the problem-solving knowledge. The principles of a planning system are used to design a network. In this paper we have described the preliminary design of an expert system that will help nonexpert designers analyze and design computer networks satisfying the user's requirements. The driving force behind this expert system is the executive. The other components of the expert system are the knowledge base management system, the user interface management system, the modeler, the analyzer and the designer. We have used a combination of object- oriented techniques, rules and frames to represent the application -descriptive knowledge and the problem- solving knowledge. The principles of a planning system are used to design a network. Our future plans are to design each component of the expert system in more detail and subsequently implement the design. Many of our ideas have been influenced by the approach taken to design XIMKON,3 which is an expert simulation and control program that helps inexperienced control engineers design and analyze process control systems. Our future plans are to design each component of the expert system in more detail and subsequently implement the design. Many of our ideas have been influenced by the approach taken to design XIMKON,3 which is an expert simulation and control program that helps inexperienced control engineers design and analyze process control systems. 4. ACKNOWLEDGMENTS 4. ACKNOWLEDGMENTS The author wishes to thank Dr. Ferit Konar (who pioneered XIMKON) and Mr. Paul Felix, both of Honey well Inc., for the helpful discussions. The author wishes to thank Dr. Ferit Konar (who pioneered XIMKON) and Mr. Paul Félix, both of Honeywell Inc., for the helpful discussions. 740 / SPIE Vol Applications of Artificial Intelligence VII (1989) 740 / SPIE Vol Applications of Artificial Intelligence VII (1989)

7 5. REFERENCES 5. REFERENCES 1. F. Konar, B.Thuraisingham and P.Felix, "XIMKON - An Expert Simulation and Control Program," presented at the AAAI Conference Workshop on AI in Process Engineering, St. Paul, Minnesota (August 1988). 2. L. Mantelman, "AI Carves Inroads: Network Design, Testing and Management," Data Communications Magazine, pp (July 1986). 3. J. Hannan, "Network Solutions Employing Expert Systems," Proceedings of the IEEE Phoenix Conference on Communications, pp (1987). 4. L. Hiebert, "AI and Network Planning," AI Expert Magazine. 3(9), pp (September 1988). 5. J. Banerjee, H. Chou, J. Garza, W. Kirn, D. Woelk, N. Ballou and H. Kirn, "Data Model Issues for Object-Oriented Applications," ACM Transactions on Office Information Systems, 5(1), pp (1987). 6. D. Wilkins, "Representation in a Domain-Independent Planner," Proceedings of the IJCAI Conference, pp (1983). 7. T. Trankle and L. Markosian, "An Expert System for Control System Design," Proceedings of the IEEE International Conference on Control (1985). 1. F. Konar, B.Thuraisingham and P.Felix, "XIMKON - An Expert Simulation and Control Program," presented at the AAAI Conference Workshop on AI in Process Engineering, St. Paul, Minnesota (August 1988). 2. L. Mantelman, "AI Carves Inroads: Network Design, Testing and Management," Data Communications Magazine, pp (July 1986). 3. J. Hannan, "Network Solutions Employing Expert Systems," Proceedings of the IEEE Phoenix Conference on Communications, pp (1987). 4. L. Hiebert, "AI and Network Planning," AI Expert Magazine, 3(9), pp (September 1988). 5. J. Banerjee, H. Chou, J. Garza, W. Kim, D. Woelk, N. Ballou and H. Kim, "Data Model Issues for Object -Oriented Applications," ACM Transactions on Office Information Systems, 5(1), pp (1987). 6. D. Wilkins, "Representation in a Domain -Independent Planner," Proceedings of the IJCAI Conference, pp (1983). 7. T. Trankle and L. Markosian, "An Expert System for Control System Design," Proceedings of the IEEE International Conference on Control (1985). SP /E Vol 1095 Applications of Artificial Intelligence VII (1989) SPIEVol Applications of Artificial Intelligence VII (1989) / 741

Representing Symbolic Reasoning

Representing Symbolic Reasoning Representing Symbolic Reasoning Brian Mastenbrook and Eric Berkowitz 1400 N. Roosevelt Blvd. Schaumburg, IL 60173 chandler@acm.roosevelt.edu eric@cs.roosevelt.edu Abstract Introspection is a fundamental

More information

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe

Copyright 2016 Ramez Elmasri and Shamkant B. Navathe CHAPTER 4 Enhanced Entity-Relationship (EER) Modeling Slide 1-2 Chapter Outline EER stands for Enhanced ER or Extended ER EER Model Concepts Includes all modeling concepts of basic ER Additional concepts:

More information

E-R Model. Hi! Here in this lecture we are going to discuss about the E-R Model.

E-R Model. Hi! Here in this lecture we are going to discuss about the E-R Model. E-R Model Hi! Here in this lecture we are going to discuss about the E-R Model. What is Entity-Relationship Model? The entity-relationship model is useful because, as we will soon see, it facilitates communication

More information

Chapter 8: Enhanced ER Model

Chapter 8: Enhanced ER Model Chapter 8: Enhanced ER Model Subclasses, Superclasses, and Inheritance Specialization and Generalization Constraints and Characteristics of Specialization and Generalization Hierarchies Modeling of UNION

More information

COIS Databases

COIS Databases Faculty of Computing and Information Technology in Rabigh COIS 342 - Databases Chapter 4 Enhanced Entity-Relationship and UML Modeling Adapted from Elmasri & Navathe by Dr Samir BOUCETTA First Semester

More information

Enhanced Entity-Relationship (EER) Modeling

Enhanced Entity-Relationship (EER) Modeling CHAPTER 4 Enhanced Entity-Relationship (EER) Modeling Copyright 2017 Ramez Elmasri and Shamkant B. Navathe Slide 1-2 Chapter Outline EER stands for Enhanced ER or Extended ER EER Model Concepts Includes

More information

Chapter 4. Enhanced Entity- Relationship Modeling. Enhanced-ER (EER) Model Concepts. Subclasses and Superclasses (1)

Chapter 4. Enhanced Entity- Relationship Modeling. Enhanced-ER (EER) Model Concepts. Subclasses and Superclasses (1) Chapter 4 Enhanced Entity- Relationship Modeling Enhanced-ER (EER) Model Concepts Includes all modeling concepts of basic ER Additional concepts: subclasses/superclasses, specialization/generalization,

More information

UNIX Consultant: A Progress Report Robert Wilensky Division of Computer Science Unversity of California, Berkeley

UNIX Consultant: A Progress Report Robert Wilensky Division of Computer Science Unversity of California, Berkeley 9 g UNIX Consultant: A Progress Report Robert Wilensky Division of Computer Science Unversity of California, Berkeley We have been engaged in the construction of a system called UC, for UNIX Conavltant.

More information

HOW AND WHEN TO FLATTEN JAVA CLASSES?

HOW AND WHEN TO FLATTEN JAVA CLASSES? HOW AND WHEN TO FLATTEN JAVA CLASSES? Jehad Al Dallal Department of Information Science, P.O. Box 5969, Safat 13060, Kuwait ABSTRACT Improving modularity and reusability are two key objectives in object-oriented

More information

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs Myoung Yee Kim and Yoonsik Cheon TR #7-57 November 7; revised January Keywords: fitness

More information

Object-Oriented Concepts and Principles (Adapted from Dr. Osman Balci)

Object-Oriented Concepts and Principles (Adapted from Dr. Osman Balci) Object-Oriented Concepts and Principles (Adapted from Dr. Osman Balci) Sung Hee Park Department of Mathematics and Computer Science Virginia State University September 18, 2012 The Object-Oriented Paradigm

More information

THE ENHANCED ER (EER) MODEL CHAPTER 8 (6/E) CHAPTER 4 (5/E)

THE ENHANCED ER (EER) MODEL CHAPTER 8 (6/E) CHAPTER 4 (5/E) THE ENHANCED ER (EER) MODEL CHAPTER 8 (6/E) CHAPTER 4 (5/E) 2 CHAPTER 8 OUTLINE Extending the ER model Created to design more accurate database schemas Reflect the data properties and constraints more

More information

OBJECT ORIENTED SYSTEM DEVELOPMENT Software Development Dynamic System Development Information system solution Steps in System Development Analysis

OBJECT ORIENTED SYSTEM DEVELOPMENT Software Development Dynamic System Development Information system solution Steps in System Development Analysis UNIT I INTRODUCTION OBJECT ORIENTED SYSTEM DEVELOPMENT Software Development Dynamic System Development Information system solution Steps in System Development Analysis Design Implementation Testing Maintenance

More information

16 April 2011 Alan, Edison, etc, Saturday.

16 April 2011 Alan, Edison, etc, Saturday. 16 April 2011 Alan, Edison, etc, Saturday. Knowledge, Planning and Robotics 1. Knowledge 2. Types of knowledge 3. Representation of knowledge 4. Planning 5. Knowledge for planning 6. Planning in robotics

More information

Tutorial notes on. Object relational structural patterns

Tutorial notes on. Object relational structural patterns Tutorial notes on Object relational structural patterns Dr. C. Constantinides, P.Eng. Computer Science and Software Engineering Concordia University Page 1 of 14 Exercise 1. a) Briefly describe what is

More information

Chapter (4) Enhanced Entity-Relationship and Object Modeling

Chapter (4) Enhanced Entity-Relationship and Object Modeling Chapter (4) Enhanced Entity-Relationship and Object Modeling Objectives Concepts of subclass and superclass and the related concepts of specialization and generalization. Concept of category, which is

More information

Ordering Problem Subgoals

Ordering Problem Subgoals Ordering Problem Subgoals Jie Cheng and Keki B. Irani Artificial Intelligence Laboratory Department of Electrical Engineering and Computer Science The University of Michigan, Ann Arbor, MI 48109-2122,

More information

Verification of Multiple Agent Knowledge-based Systems

Verification of Multiple Agent Knowledge-based Systems Verification of Multiple Agent Knowledge-based Systems From: AAAI Technical Report WS-97-01. Compilation copyright 1997, AAAI (www.aaai.org). All rights reserved. Daniel E. O Leary University of Southern

More information

Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design

Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design Barry Smyth Hitachi Dublin Laboratory Trinity College Dublin 2 Ireland. Tel. 01-6798911 Fax. 01-6798926 E-mail: bsmyth@vax1.tcd.ie

More information

DERIVING SPATIOTEMPORAL RELATIONS FROM SIMPLE DATA STRUCTURE

DERIVING SPATIOTEMPORAL RELATIONS FROM SIMPLE DATA STRUCTURE DERIVING SPATIOTEMPORAL RELATIONS FROM SIMPLE DATA STRUCTURE Ale Raza ESRI 380 New York Street, Redlands, California 9373-800, USA Tel.: +-909-793-853 (extension 009) Fax: +-909-307-3067 araza@esri.com

More information

KNOWLEDGE MANAGEMENT VIA DEVELOPMENT IN ACCOUNTING: THE CASE OF THE PROFIT AND LOSS ACCOUNT

KNOWLEDGE MANAGEMENT VIA DEVELOPMENT IN ACCOUNTING: THE CASE OF THE PROFIT AND LOSS ACCOUNT KNOWLEDGE MANAGEMENT VIA DEVELOPMENT IN ACCOUNTING: THE CASE OF THE PROFIT AND LOSS ACCOUNT Tung-Hsiang Chou National Chengchi University, Taiwan John A. Vassar Louisiana State University in Shreveport

More information

NOTES ON OBJECT-ORIENTED MODELING AND DESIGN

NOTES ON OBJECT-ORIENTED MODELING AND DESIGN NOTES ON OBJECT-ORIENTED MODELING AND DESIGN Stephen W. Clyde Brigham Young University Provo, UT 86402 Abstract: A review of the Object Modeling Technique (OMT) is presented. OMT is an object-oriented

More information

CT13 DATABASE MANAGEMENT SYSTEMS DEC 2015

CT13 DATABASE MANAGEMENT SYSTEMS DEC 2015 Q.1 a. Explain the role of concurrency control software in DBMS with an example. Answer: Concurrency control software in DBMS ensures that several users trying to update the same data do so in a controlled

More information

Multi-relational Decision Tree Induction

Multi-relational Decision Tree Induction Multi-relational Decision Tree Induction Arno J. Knobbe 1,2, Arno Siebes 2, Daniël van der Wallen 1 1 Syllogic B.V., Hoefseweg 1, 3821 AE, Amersfoort, The Netherlands, {a.knobbe, d.van.der.wallen}@syllogic.com

More information

Building Knowledge Models Using KSM

Building Knowledge Models Using KSM Building Knowledge Models Using KSM Jose Cuena, Martin Molina Department of Artificial Intelligence, Technical University of Madrid, Campus de Montegancedo S/N, Boadilla del Monte 28660, Madrid, SPAIN

More information

Integrating SysML and OWL

Integrating SysML and OWL Integrating SysML and OWL Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA henson.graves@lmco.com Abstract. To use OWL2 for modeling a system design one must be able to construct

More information

Project 3-I. System Requirements Specification Document

Project 3-I. System Requirements Specification Document Project 3-I System Requirements Specification Document Interrogue Polling Company, Inc. Penn State Harrisburg COMP413W Fall 2007 Version 1.0 COMP413W Consulting Group Page 1 of 14 [This page intentionally

More information

Ontology Development. Qing He

Ontology Development. Qing He A tutorial report for SENG 609.22 Agent Based Software Engineering Course Instructor: Dr. Behrouz H. Far Ontology Development Qing He 1 Why develop an ontology? In recent years the development of ontologies

More information

For 100% Result Oriented IGNOU Coaching and Project Training Call CPD TM : ,

For 100% Result Oriented IGNOU Coaching and Project Training Call CPD TM : , Course Code : MCS-032 Course Title : Object Oriented Analysis and Design Assignment Number : MCA (3)/032/Assign/2014-15 Assignment Marks : 100 Weightage : 25% Last Dates for Submission : 15th October,

More information

AI Technology for Quickly Solving Urban Security Positioning Problems

AI Technology for Quickly Solving Urban Security Positioning Problems AI Technology for Quickly Solving Urban Security Positioning Problems Hiroaki Iwashita Kotaro Ohori Hirokazu Anai Security games are used for mathematically optimizing security measures aimed at minimizing

More information

An Optimal Locking Scheme in Object-Oriented Database Systems

An Optimal Locking Scheme in Object-Oriented Database Systems An Optimal Locking Scheme in Object-Oriented Database Systems Woochun Jun Le Gruenwald Dept. of Computer Education School of Computer Science Seoul National Univ. of Education Univ. of Oklahoma Seoul,

More information

More Notes on 'A Clash of Intuitions 9

More Notes on 'A Clash of Intuitions 9 More Notes on 'A Clash of Intuitions 9 R. Al-Asady A. Narayanan ras@uk.ac.exeter.dcs ajit@uk.ac.exeter.dcs Computer Science Department Exeter University Exeter EX4 4PT U.K. Abstract A path-based inheritance

More information

Chapter 8 The Enhanced Entity- Relationship (EER) Model

Chapter 8 The Enhanced Entity- Relationship (EER) Model Chapter 8 The Enhanced Entity- Relationship (EER) Model Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 8 Outline Subclasses, Superclasses, and Inheritance Specialization

More information

Access Control Models

Access Control Models Access Control Models Dr. Natarajan Meghanathan Associate Professor of Computer Science Jackson State University E-mail: natarajan.meghanathan@jsums.edu Access Control Models Access Control to regulate

More information

Image Mining: frameworks and techniques

Image Mining: frameworks and techniques Image Mining: frameworks and techniques Madhumathi.k 1, Dr.Antony Selvadoss Thanamani 2 M.Phil, Department of computer science, NGM College, Pollachi, Coimbatore, India 1 HOD Department of Computer Science,

More information

System Concepts and Architecture. Rose-Hulman Institute of Technology Curt Clifton

System Concepts and Architecture. Rose-Hulman Institute of Technology Curt Clifton System Concepts and Architecture Rose-Hulman Institute of Technology Curt Clifton Data Model A set of concepts to describe Database structure Basic operations on the data Categories of Data Models Conceptual

More information

Design Metrics for Object-Oriented Software Systems

Design Metrics for Object-Oriented Software Systems ECOOP 95 Quantitative Methods Workshop Aarhus, August 995 Design Metrics for Object-Oriented Software Systems PORTUGAL Design Metrics for Object-Oriented Software Systems Page 2 PRESENTATION OUTLINE This

More information

Costas Tsatsoulis and Julian Holtzman. Lawrence Applied Research Corporation (LARC) Lawrence, KS

Costas Tsatsoulis and Julian Holtzman. Lawrence Applied Research Corporation (LARC) Lawrence, KS From: Proceedings of the Twelfth International FLAIRS Conference. Copyright 1999, AAAI (www.aaai.org). All rights reserved. Generating Satellite Control Schedules Using Case-Based Scheduling Costas Tsatsoulis

More information

SIR C R REDDY COLLEGE OF ENGINEERING

SIR C R REDDY COLLEGE OF ENGINEERING SIR C R REDDY COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY Course Outcomes II YEAR 1 st SEMESTER Subject: Data Structures (CSE 2.1.1) 1. Describe how arrays, records, linked structures,

More information

Knowledge representation Semantic networks and frames

Knowledge representation Semantic networks and frames Knowledge representation Semantic networks and frames CmSc310 Artificial Intelligence 1. Introduction: What is knowledge? The science that studies various issues about knowledge is called epistemology.

More information

Domain-specific Concept-based Information Retrieval System

Domain-specific Concept-based Information Retrieval System Domain-specific Concept-based Information Retrieval System L. Shen 1, Y. K. Lim 1, H. T. Loh 2 1 Design Technology Institute Ltd, National University of Singapore, Singapore 2 Department of Mechanical

More information

Database Design Process

Database Design Process Database Design Process Real World Functional Requirements Requirements Analysis Database Requirements Functional Analysis Access Specifications Application Pgm Design E-R Modeling Choice of a DBMS Data

More information

SOFTWARE ENGINEERING Prof.N.L.Sarda Computer Science & Engineering IIT Bombay. Lecture #10 Process Modelling DFD, Function Decomp (Part 2)

SOFTWARE ENGINEERING Prof.N.L.Sarda Computer Science & Engineering IIT Bombay. Lecture #10 Process Modelling DFD, Function Decomp (Part 2) SOFTWARE ENGINEERING Prof.N.L.Sarda Computer Science & Engineering IIT Bombay Lecture #10 Process Modelling DFD, Function Decomp (Part 2) Let us continue with the data modeling topic. So far we have seen

More information

Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1

Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Dhirubhai Ambani Institute for Information and Communication Technology, Gandhinagar, Gujarat, India Email:

More information

COMBINING TASK AND MOTION PLANNING FOR COMPLEX MANIPULATION

COMBINING TASK AND MOTION PLANNING FOR COMPLEX MANIPULATION COMBINING TASK AND MOTION PLANNING FOR COMPLEX MANIPULATION 16-662: ROBOT AUTONOMY PROJECT Team: Gauri Gandhi Keerthana Manivannan Lekha Mohan Rohit Dashrathi Richa Varma ABSTRACT Robots performing household

More information

An Effective Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems

An Effective Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems An Effective Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems Woochun Jun and Le Gruenwald School of Computer Science University of Oklahoma Norman, OK 73019 wocjun@cs.ou.edu;

More information

Intelligent, real-time scheduling for FMS

Intelligent, real-time scheduling for FMS Intelligent, real-time scheduling for FMS V. Simeunovi}, S. Vrane{ Computer System Department, Institute Mihajlo Pupin, Volgina 15, 11060 Belgrade, Yugoslavia Email: vlada@lab200.imp.bg.ac.yu, sanja@lab200.imp.bg.ac.yu

More information

CMPT 354 Database Systems I

CMPT 354 Database Systems I CMPT 354 Database Systems I Chapter 2 Entity Relationship Data Modeling Data models A data model is the specifications for designing data organization in a system. Specify database schema using a data

More information

Database Systems. A Practical Approach to Design, Implementation, and Management. Database Systems. Thomas Connolly Carolyn Begg

Database Systems. A Practical Approach to Design, Implementation, and Management. Database Systems. Thomas Connolly Carolyn Begg Database Systems A Practical Approach to Design, Implementation, and Management For these Global Editions, the editorial team at Pearson has collaborated with educators across the world to address a wide

More information

Solutions to Midterm 2 - Monday, July 11th, 2009

Solutions to Midterm 2 - Monday, July 11th, 2009 Solutions to Midterm - Monday, July 11th, 009 CPSC30, Summer009. Instructor: Dr. Lior Malka. (liorma@cs.ubc.ca) 1. Dynamic programming. Let A be a set of n integers A 1,..., A n such that 1 A i n for each

More information

Artificial Intelligence CSC 361

Artificial Intelligence CSC 361 Artificial Intelligence CSC 361 Prof. Mohamed Batouche Computer Science Department CCIS King Saud University Riyadh, Saudi Arabia mbatouche@ccis.ksu.edu.sa Intelligent Systems Part I: Expert Systems Developing

More information

DESIGNING A TOOL TO MAP UML CLASS DIAGRAM INTO RELATIONAL DATABASE

DESIGNING A TOOL TO MAP UML CLASS DIAGRAM INTO RELATIONAL DATABASE DESIGNING A TOOL TO MAP UML CLASS DIAGRAM INTO RELATIONAL DATABASE Mohd Khalid Awang 1 and Nur Lian Labadu 2 Faculty of Informatics University of Sultan Zainal Abidin (UniSZA) Gong Badak Campus, Kuala

More information

An Ontological Analysis of Metamodeling Languages

An Ontological Analysis of Metamodeling Languages An Ontological Analysis of Metamodeling Languages Erki Eessaar and Rünno Sgirka 2 Department of Informatics, Tallinn University of Technology, Estonia, eessaar@staff.ttu.ee 2 Department of Informatics,

More information

A Learning Based and Vision Guided Robotic Agent Replanning Framework and a Case Study

A Learning Based and Vision Guided Robotic Agent Replanning Framework and a Case Study IC-AI'4 A Learning Based and Vision Guided Robotic Agent Replanning Framework and a Case Study Şule Yıldırım, Postdoctor, Norwegian University of Science and Technology, Institutt for datateknikk og informasjonsvitenskap

More information

Formalizing the PRODIGY Planning Algorithm

Formalizing the PRODIGY Planning Algorithm Formalizing the PRODIGY Planning Algorithm Eugene Fink eugene@cs.cmu.edu http://www.cs.cmu.edu/~eugene Manuela Veloso veloso@cs.cmu.edu http://www.cs.cmu.edu/~mmv Computer Science Department, Carnegie

More information

Scheduling with Bus Access Optimization for Distributed Embedded Systems

Scheduling with Bus Access Optimization for Distributed Embedded Systems 472 IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 8, NO. 5, OCTOBER 2000 Scheduling with Bus Access Optimization for Distributed Embedded Systems Petru Eles, Member, IEEE, Alex

More information

Reading part: Design-Space Exploration with Alloy

Reading part: Design-Space Exploration with Alloy Reading part: Design-Space Exploration with Alloy Ing. Ken Vanherpen Abstract In the growing world of MDE many tools are offered to describe a (part of a) system, constrain it, and check some properties

More information

Back to ObjectLand. Contents at: Chapter 5. Questions of Interest. encapsulation. polymorphism. inheritance overriding inheritance super

Back to ObjectLand. Contents at: Chapter 5. Questions of Interest. encapsulation. polymorphism. inheritance overriding inheritance super korienekch05.qxd 11/12/01 4:06 PM Page 105 5 Back to ObjectLand Contents at: Chapter 5 #( encapsulation polymorphism inheritance overriding inheritance super learning the class hierarchy finding classes

More information

Relational DB Design by ER- and EER-to-Relational Mapping Design & Analysis of Database Systems

Relational DB Design by ER- and EER-to-Relational Mapping Design & Analysis of Database Systems Relational DB Design by ER- and EER-to-Relational Mapping 406.426 Design & Analysis of Database Systems Jonghun Park jonghun@snu.ac.kr Dept. of Industrial Engineering Seoul National University outline

More information

Common Lisp Object System Specification. 1. Programmer Interface Concepts

Common Lisp Object System Specification. 1. Programmer Interface Concepts Common Lisp Object System Specification 1. Programmer Interface Concepts Authors: Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, and David A. Moon. Draft Dated:

More information

Graphical Interface and Application (I3305) Semester: 1 Academic Year: 2017/2018 Dr Antoun Yaacoub

Graphical Interface and Application (I3305) Semester: 1 Academic Year: 2017/2018 Dr Antoun Yaacoub Lebanese University Faculty of Science Computer Science BS Degree Graphical Interface and Application (I3305) Semester: 1 Academic Year: 2017/2018 Dr Antoun Yaacoub 2 Crash Course in JAVA Classes A Java

More information

Components vs. Objects

Components vs. Objects Components vs. Objects Luigia Petre Turku Centre for Computer Science & Abo Akademi University, FIN-20520 Turku, Finland (Presented at Nordic Workshop on Programming Theory, Bergen, Norway, Oct 11-13,

More information

ACTA UNIVERSITATIS APULENSIS No 10/2005 CLUSTERING TECHNIQUES FOR ADAPTIVE HORIZONTAL FRAGMENTATION IN OBJECT ORIENTED DATABASES

ACTA UNIVERSITATIS APULENSIS No 10/2005 CLUSTERING TECHNIQUES FOR ADAPTIVE HORIZONTAL FRAGMENTATION IN OBJECT ORIENTED DATABASES ACTA UNIVERSITATIS APULENSIS No 10/2005 CLUSTERING TECHNIQUES FOR ADAPTIVE HORIZONTAL FRAGMENTATION IN OBJECT ORIENTED DATABASES Alina Campan, Adrian Sergiu Darabant, Gabriela Serban Abstract. Optimal

More information

MATLAB-to-ROCI Interface. Member(s): Andy Chen Faculty Advisor: Camillo J. Taylor

MATLAB-to-ROCI Interface. Member(s): Andy Chen Faculty Advisor: Camillo J. Taylor MATLAB-to-ROCI Interface Member(s): Andy Chen (chenab@seas.upenn.edu) Faculty Advisor: Camillo J. Taylor (cjtaylor@cis.upenn.edu) Abstract The Remote Objects Control Interface, or ROCI, is a framework

More information

Program Derivation Using Analogy

Program Derivation Using Analogy Program Derivation Using Analogy Mehdi T. Harandi Dept. of Computer Science Univ. of Illinois at Urbana-Champaign Sanjay Bhansali Dept. of Computer Science Univ. of Illinois at Urbana-Champaign Abstract

More information

Question Answering Approach Using a WordNet-based Answer Type Taxonomy

Question Answering Approach Using a WordNet-based Answer Type Taxonomy Question Answering Approach Using a WordNet-based Answer Type Taxonomy Seung-Hoon Na, In-Su Kang, Sang-Yool Lee, Jong-Hyeok Lee Department of Computer Science and Engineering, Electrical and Computer Engineering

More information

Entity Relationship Data Model. Slides by: Shree Jaswal

Entity Relationship Data Model. Slides by: Shree Jaswal Entity Relationship Data Model Slides by: Shree Jaswal Topics: Conceptual Modeling of a database, The Entity-Relationship (ER) Model, Entity Types, Entity Sets, Attributes, and Keys, Relationship Types,

More information

Probability Models.S4 Simulating Random Variables

Probability Models.S4 Simulating Random Variables Operations Research Models and Methods Paul A. Jensen and Jonathan F. Bard Probability Models.S4 Simulating Random Variables In the fashion of the last several sections, we will often create probability

More information

CSE 530A. ER Model. Washington University Fall 2013

CSE 530A. ER Model. Washington University Fall 2013 CSE 530A ER Model Washington University Fall 2013 Database Design Requirements Analysis Conceptual Database Design Creates an abstract model Logical Database Design Converts abstract model to concrete

More information

Structure and Complexity in Planning with Unary Operators

Structure and Complexity in Planning with Unary Operators Structure and Complexity in Planning with Unary Operators Carmel Domshlak and Ronen I Brafman ½ Abstract In this paper we study the complexity of STRIPS planning when operators have a single effect In

More information

«Computer Science» Requirements for applicants by Innopolis University

«Computer Science» Requirements for applicants by Innopolis University «Computer Science» Requirements for applicants by Innopolis University Contents Architecture and Organization... 2 Digital Logic and Digital Systems... 2 Machine Level Representation of Data... 2 Assembly

More information

Software Engineering Fall 2015 (CSC 4350/6350) TR. 5:30 pm 7:15 pm. Rao Casturi 11/03/2015

Software Engineering Fall 2015 (CSC 4350/6350) TR. 5:30 pm 7:15 pm. Rao Casturi 11/03/2015 Software Engineering Fall 2015 (CSC 4350/6350) TR. 5:30 pm 7:15 pm Rao Casturi 11/03/2015 http://cs.gsu.edu/~ncasturi1 Object Design Software Engineering -CSC4350/6350 - Rao Casturi 2 Object Design Close

More information

CS 1567 Intermediate Programming and System Design Using a Mobile Robot Aibo Lab3 Localization and Path Planning

CS 1567 Intermediate Programming and System Design Using a Mobile Robot Aibo Lab3 Localization and Path Planning CS 1567 Intermediate Programming and System Design Using a Mobile Robot Aibo Lab3 Localization and Path Planning In this lab we will create an artificial landscape in the Aibo pen. The landscape has two

More information

SALVO-a fourth-generation language for personal computers

SALVO-a fourth-generation language for personal computers SALVO-a fourth-generation language for personal computers by MARVIN ELDER Software Automation, Inc. Dallas, Texas ABSTRACT Personal computer users are generally nontechnical people. Fourth-generation products

More information

ER to Relational Mapping

ER to Relational Mapping ER to Relational Mapping 1 / 19 ER to Relational Mapping Step 1: Strong Entities Step 2: Weak Entities Step 3: Binary 1:1 Relationships Step 4: Binary 1:N Relationships Step 5: Binary M:N Relationships

More information

MIS Database Systems Entity-Relationship Model.

MIS Database Systems Entity-Relationship Model. MIS 335 - Database Systems Entity-Relationship Model http://www.mis.boun.edu.tr/durahim/ Ahmet Onur Durahim Learning Objectives Database Design Main concepts in the ER model? ER Diagrams Database Design

More information

Extracting the Range of cps from Affine Typing

Extracting the Range of cps from Affine Typing Extracting the Range of cps from Affine Typing Extended Abstract Josh Berdine, Peter W. O Hearn Queen Mary, University of London {berdine, ohearn}@dcs.qmul.ac.uk Hayo Thielecke The University of Birmingham

More information

Metamodeling with Metamodels. Using. UML/MOF including OCL

Metamodeling with Metamodels. Using. UML/MOF including OCL Metamodeling with Metamodels Using UML/MOF including OCL Introducing Metamodels (Wikipedia) A metamodel is a model of a model An instantiation of metamodel gives a model Metamodeling is the process of

More information

Designing Views to Answer Queries under Set, Bag,and BagSet Semantics

Designing Views to Answer Queries under Set, Bag,and BagSet Semantics Designing Views to Answer Queries under Set, Bag,and BagSet Semantics Rada Chirkova Department of Computer Science, North Carolina State University Raleigh, NC 27695-7535 chirkova@csc.ncsu.edu Foto Afrati

More information

DESIGN AND EVALUATION OF A GENERIC METHOD FOR CREATING XML SCHEMA. 1. Introduction

DESIGN AND EVALUATION OF A GENERIC METHOD FOR CREATING XML SCHEMA. 1. Introduction DESIGN AND EVALUATION OF A GENERIC METHOD FOR CREATING XML SCHEMA Mahmoud Abaza and Catherine Preston Athabasca University and the University of Liverpool mahmouda@athabascau.ca Abstract There are many

More information

Inheritance and Polymorphism

Inheritance and Polymorphism Object Oriented Programming Designed and Presented by Dr. Ayman Elshenawy Elsefy Dept. of Systems & Computer Eng.. Al-Azhar University Website: eaymanelshenawy.wordpress.com Email : eaymanelshenawy@azhar.edu.eg

More information

Chapter S:II. II. Search Space Representation

Chapter S:II. II. Search Space Representation Chapter S:II II. Search Space Representation Systematic Search Encoding of Problems State-Space Representation Problem-Reduction Representation Choosing a Representation S:II-1 Search Space Representation

More information

Secure Role-Based Workflow Models

Secure Role-Based Workflow Models Secure Role-Based Workflow Models Savith Kandala and Ravi Sandhu Savith Kandala Ravi Sandhu CygnaCom Solutions. SingleSignOn.Net and George Mason University (An Entrust Technologies Company) Dept. of Information

More information

Query optimization in object-oriented database systems : the REVELATION project

Query optimization in object-oriented database systems : the REVELATION project Oregon Health & Science University OHSU Digital Commons CSETech July 1988 Query optimization in object-oriented database systems : the REVELATION project Goetz Graefe David Maier Follow this and additional

More information

Database Design Process. Requirements Collection & Analysis

Database Design Process. Requirements Collection & Analysis Database Design Process Real World Functional Requirements Requirements Analysis Database Requirements Functional Analysis Access Specifications Application Pgm Design E-R Modeling Choice of a DBMS Data

More information

ON THE COMPLEXITY OF THE BROADCAST SCHEDULING PROBLEM

ON THE COMPLEXITY OF THE BROADCAST SCHEDULING PROBLEM ON THE COMPLEXITY OF THE BROADCAST SCHEDULING PROBLEM SERGIY I. BUTENKO, CLAYTON W. COMMANDER, AND PANOS M. PARDALOS Abstract. In this paper, a Broadcast Scheduling Problem (bsp) in a time division multiple

More information

Maintenance Phase. Maintenance Type

Maintenance Phase. Maintenance Type Maintenance Phase Any change to any component of the product after it has passed the acceptance test Requirements Specification Design Implementation Documentation Manuals 1 Maintenance Type Corrective

More information

Developing InfoSleuth Agents Using Rosette: An Actor Based Language

Developing InfoSleuth Agents Using Rosette: An Actor Based Language Developing InfoSleuth Agents Using Rosette: An Actor Based Language Darrell Woelk Microeclectronics and Computer Technology Corporation (MCC) 3500 Balcones Center Dr. Austin, Texas 78759 InfoSleuth Architecture

More information

DSSim-ontology mapping with uncertainty

DSSim-ontology mapping with uncertainty DSSim-ontology mapping with uncertainty Miklos Nagy, Maria Vargas-Vera, Enrico Motta Knowledge Media Institute (Kmi) The Open University Walton Hall, Milton Keynes, MK7 6AA, United Kingdom mn2336@student.open.ac.uk;{m.vargas-vera,e.motta}@open.ac.uk

More information

Ontology-Based Schema Integration

Ontology-Based Schema Integration Ontology-Based Schema Integration Zdeňka Linková Institute of Computer Science, Academy of Sciences of the Czech Republic Pod Vodárenskou věží 2, 182 07 Prague 8, Czech Republic linkova@cs.cas.cz Department

More information

ASSIGNMENT- I Topic: Functional Modeling, System Design, Object Design. Submitted by, Roll Numbers:-49-70

ASSIGNMENT- I Topic: Functional Modeling, System Design, Object Design. Submitted by, Roll Numbers:-49-70 ASSIGNMENT- I Topic: Functional Modeling, System Design, Object Design Submitted by, Roll Numbers:-49-70 Functional Models The functional model specifies the results of a computation without specifying

More information

Modeling Relationships

Modeling Relationships Modeling Relationships Welcome to Lecture on Modeling Relationships in the course on Healthcare Databases. In this lecture we are going to cover two types of relationships, namely, the subtype and the

More information

LOGICAL OPERATOR USAGE IN STRUCTURAL MODELLING

LOGICAL OPERATOR USAGE IN STRUCTURAL MODELLING LOGICAL OPERATOR USAGE IN STRUCTURAL MODELLING Ieva Zeltmate (a) (a) Riga Technical University, Faculty of Computer Science and Information Technology Department of System Theory and Design ieva.zeltmate@gmail.com

More information

One-Point Geometric Crossover

One-Point Geometric Crossover One-Point Geometric Crossover Alberto Moraglio School of Computing and Center for Reasoning, University of Kent, Canterbury, UK A.Moraglio@kent.ac.uk Abstract. Uniform crossover for binary strings has

More information

BBK3253 Knowledge Management Prepared by Dr Khairul Anuar

BBK3253 Knowledge Management Prepared by Dr Khairul Anuar BBK3253 Knowledge Management Prepared by Dr Khairul Anuar L7: Developing and Managing Knowledge Repositories www.notes638.wordpress.com 1. Describe the key features of an effective knowledge repository

More information

CHAPTER 9 DESIGN ENGINEERING. Overview

CHAPTER 9 DESIGN ENGINEERING. Overview CHAPTER 9 DESIGN ENGINEERING Overview A software design is a meaningful engineering representation of some software product that is to be built. Designers must strive to acquire a repertoire of alternative

More information

DATABASE MANAGEMENT SYSTEM COURSE CONTENT

DATABASE MANAGEMENT SYSTEM COURSE CONTENT 1 DATABASE MANAGEMENT SYSTEM COURSE CONTENT UNIT II DATABASE SYSTEM ARCHITECTURE 2 2.1 Schemas, Sub-schemas, and Instances 2.2 Three-level ANSI SPARC Database Architecture: Internal level, Conceptual Level,

More information

19 Machine Learning in Lisp

19 Machine Learning in Lisp 19 Machine Learning in Lisp Chapter Objectives Chapter Contents ID3 algorithm and inducing decision trees from lists of examples. A basic Lisp implementation of ID3 Demonstration on a simple credit assessment

More information

Research on Construction of Road Network Database Based on Video Retrieval Technology

Research on Construction of Road Network Database Based on Video Retrieval Technology Research on Construction of Road Network Database Based on Video Retrieval Technology Fengling Wang 1 1 Hezhou University, School of Mathematics and Computer Hezhou Guangxi 542899, China Abstract. Based

More information

Chapter 6: Entity-Relationship Model. The Next Step: Designing DB Schema. Identifying Entities and their Attributes. The E-R Model.

Chapter 6: Entity-Relationship Model. The Next Step: Designing DB Schema. Identifying Entities and their Attributes. The E-R Model. Chapter 6: Entity-Relationship Model The Next Step: Designing DB Schema Our Story So Far: Relational Tables Databases are structured collections of organized data The Relational model is the most common

More information