Experiences from implementing CANDLE using the VARKON CAD system

Size: px
Start display at page:

Download "Experiences from implementing CANDLE using the VARKON CAD system"

Transcription

1 Experiences from implementing CANDLE using the VARKON CAD system Abstract Kjell Andersson Engineering Design Department of Machine Design KTH Telephone: Telefax: kan@damek.kth.se This paper deals with the implementation of the CANDLE design language by using the tools available in a commercially available CAD system, i.e. the VARKON system. First, a description is given of the theoretical concepts that CANDLE is based on as well as the main significant features of the VARKON making it suitable for this implementation. Further, the models defining the main branches in the CANDLE vocabulary will be described in terms of models to be implemented in the CAD system. One of the ideas behind CANDLE is to give a skeleton structure of the vocabulary with concepts on a rather general level that should be completed with more specific concepts for each application that is added. Keywords: Design language, systematic design, conceptual design 1. Introduction In recent years, there have been an increased interest to support early phases of design work. One of the reasons for this is that decisions made during this design stage has a great influence on and controls or limits the design space during the later design phases. Design work during these phases typically deals with a lot of non-geometric data. To be able to support the designer during these phases we must offer the designer a tool that can support handling with and recording of this information as well as being a decision making support. If we can avoid a number of tedious and costly iterations later during the development work there are much time and money to gain. For this reason there have been some systems proposed by e.g. Baumann [6], Bentz [7] and Andersson [1],[2],[3],[4]. This paper deals with an implementation of the CANDLE modelling language as proposed by Andersson.

2 2. The CANDLE modelling language In order to support design activities we need to have a good understanding about the environment in which the method will operate. There have been several research studies, e.g. [5], [9], aimed to describe a model of the design process. A design process model will, with its conceptualisation of the design process, give a template for how we should structure all the non-geometric data that is created during the early design phases. For the CANDLE modelling language, we have chosen the model of the design process described in the work by Pahl and Beitz [9]. The reason for this choice is that this methodology is pragmatic and easy to follow, which also is reflected by its contributions to the development of the VDI 2222 guidelines for the German industry. This methodology divides the design process into a number of phases, and describes the activities and results for each phase. The different design phases are: 1. Clarification of the task 2. Conceptual design 3. Embodiment design 4. Detail design CANDLE is directed on supporting the first two phases, namely Clarification of the task and Conceptual design. This conceptualisation of early design work made by Pahl and Beitz have been used as a base for the definition of a vocabulary for early design work. Upon this vocabulary a design modelling language, CANDLE [1], has been defined. Language Design Vocabulary words parts Syntax grammar valid configurations Utterances sentences designs Semantics meaning interpretations of designs as performances Figure 1 Similarities between language and design, after Coyne [8]. For the definition of CANDLE we utilise similarities between terms of languages and of design descriptions [8]. Contrary to Coyne, we will here use engineering concepts instead of parts, since conceptual design is more concerned with reasoning in terms of engineering concepts 1 than (physical) parts. With this modification we can use these analogies for the definition of a design grammar. The design grammar DG, is 1 Note the difference between engineering entities and engineering concepts. An engineering "concept" is defined as an element of thinking. This mental construct represents a material or immaterial object in the engineering domain. An engineering entity is an entity representing an engineering concept.

3 given by a 4-tuple <V,X,S,Ks>, where V is a vocabulary of engineering entities, X is a set of terminal symbols, S is a design start symbol and K s is knowledge about valid configurations of engineering entities. Given a design grammar DG and interpretative knowledge K i, then the design language CANDLE(DG) is given by the set of design description that can generated from DG, where each description has an interpretation I. The vocabulary V, is represented as engineering concepts using the Conceptual Graphs by Sowa [10] and structured in a taxonomy. The general structure of the taxonomy is influenced by the design methodology which it is based on. product_model entities designs partial_designs design_elements requirement_spec design_concept function physical_principles solution_principles attributes Figure 2 Major divisions of the vocabulary. Each engineering entity is defined by its position in the taxonomy in figure 2 and by its type description. As an example, consider the type description of the entity design_concept which is a general description of the result from the conceptual design phase. This entity is described in terms of other entities and relation between these entities. Additional information such as rules and constraints can be assigned to both entities and relations (syntactical K s and semantical K i knowledge) and is used by the design grammar and the design language (CANDLE). Readers interested in further details about the CANDLE design language are referred to [1], [2], [3], [4]. 3. The VARKON CAD system The VARKON CAD system [11] from Microform AB in Sweden has received a great deal of attention for its ability to efficiently create and use parameterised generic descriptions of products and for its flexibility for adapting it for different companies. This is one of the ideas behind the system, to offer a great deal of flexibility to its users so that it can be tailored for each customer. The system can roughly be divided into three different parts; 1) the drawing module which actually is just a drawing program, 2) the base module containing tools for interactive and parameterised design with variation of both 2D and 3D shapes 3) a module containing a macro language MBS which can be used alone or in combination with the drawing module or the base module.

4 Next I will give a short description of the main features of the CAD system making it suitable for this test implementation of CANDLE. In short, from my point of view, the main important features of VARKON are: It has a small program kernel It is easy to modify the menus It is suitable for parametric design It has a flexible macro language First, dealing with a small program kernel makes the iteration process of program coding and testing much faster and more efficient. Second the possibility to easily modify system menus and to replace them with whatever menus you want, have been very valuable to get a fast start with this implementation. Since this system is very well suited for parameterised design, the available macro language or model description language (MBS) is an efficient tool to use for building the vocabulary of CANDLE. However, it does not directly support the use of objects as an object oriented programming tool does. Nevertheless, using the MBS language it is possible to define the different results in terms of engineering concept as well as to define the user interaction for the support tool which will produce these results. If we consider the possibilities to represent a product model, we find at the top level when we start the system, that each new model has to be defined as a new job. All models that are created during the following design activities belongs to that job. These models are also stored as instances of modules in the Program Memory, PM. In this implementation I have used this job level to represent the product model. 4. Implementation of CANDLE using VARKON For this implementation I have used the MBS language as a means for describing the different generic modules containing descriptions of the results being produced during early design work. It has also been used for all other programming tasks such as all interaction facilities, i.e. windows, help texts, menus etc. Within the CANDLE modelling language, the taxonomies play a very central and important role. They serve both as a way to express different results during the design process as well as a way to get support and ideas about existing physical processes and solution principles that can be used for problem solving during design. To implement these taxonomies, at first the skeleton structure should be defined, which then should be completed with additional entities for specific applications. Since the MBS language by itself is not object oriented I have defined this tree structure by using data files containing class specific attributes specifying these relationships. A principle view of the implemented system is shown in figure 3 and the representation of the product model is shown in figure 4.

5 The Varkon CAD system The CANDLE system function DB physical principles DB solution DB Figure 3 A principle view of the system. product model 1:1 1:n 1:1 project definition requirement specification design concept Figure 4 ER model of the product model. 4.1 Requirement specification The result of the clarification phase is described by a requirement specification. This should be compiled of a comprehensive collection of information concerning the actual product where both criteria coming from the customer (or the market) and criteria from the company should be weighted together to a technical requirement. A well known method for taking care of customer requirements and translate these into technical requirements is the Quality Function Deployment, QFD method.

6 QFD Technical requirements tech_req Customer requirements and wishes weight Connection matrix Name Quantity Value cust_req Goals Name Quantity Value Figure 5 a) The QFD chart. b) ER model of tech_req and cust_req. In this implementation I have chosen to offer the designer QFD as a tool for making these translations. Of course these translations should be performed as a group activity with members from at least the market and design divisions in the company. The connection matrix along with the weigh vector is stored as a data file placed at a job specific directory and an instance of a QFD module containing the path to this file is created. Contrary to the earlier proposed representations of CANDLE I have not yet implemented any predefined format for the requirement specification. I have chosen to represent them only as two different types, technical requirements (tech_req) and customer requirements (cust_req), which are illustrated in figure 5 b). This means that the requirement specification will be composed of a number of customer (cust_req) and technical requirements (tech_req). 4.2 Design concept The activities starting after the requirement specification has been compiled are very varying depending on the type of product that you are dealing with. This demands a great deal of flexibility of the computer support so that the designer can choose the appropriate tool for the considerations that he finds necessary. The activities performed during this phase will result in a design concept containing some intermediate results. The content can however be different for different products, e.g. you may not find it necessary to create a function model or a physical principle model before you search for and select a feasible solution principle. 0:n design concept 0:n 1:n function physical principle solution principle Figure 6 ER model of the design concept.

7 4.2.1 Functions Dealing with an abstract formulation of the wanted product function can be of a great help for the designer and help him to focus on the real problem that should be solved. This process of handling with function descriptions and composing them into function structures has been thoroughly examined by e.g. some German authors e.g. Pahl and Beitz [9], Baumann[5]. The approach taken in this implementation has been to offer the designer a tool to perform a kind of computer assisted abstraction process in order to find out the main function, described in solution neutral terms. This approach is based on the assumption that the product can be treated as a system and described in terms of inputs and outputs to the system Solution principles Since physical principles have not yet been implemented I continue with a discussion about solution principles. Two difficult problems to solve concerning solution principles are how we should structure and represent them. To start with latter, since I have chosen to describe functions in terms of a function name and of inputs and outputs to the system, the solution principles must be possible to identify on the basis of these terms. This means that a solution principle must at the very least have attributes defining possible inputs, outputs and functions that can be satisfied by this solution along with a geometric description and a description of connections between parameters controlling the geometry and the inputs and outputs to the system. What is the best way of structuring them then? The approach that I have chosen for implementing solution principles is to use a data file for representation of the structure and the attributes that are needed for searching through the data file for feasible solutions. When an appropriate solution has been identified and selected from the data file an instance of the corresponding module description is created for that solution. Among the attributes in the data file one attribute specifying the path to a bitmap symbol for the solution is included. One suggested usage of this symbol is to use it in a selection chart for selecting suitable combinations of solution principles. Solution principles Symbols Subfunctions Figure 7 Suggested use of symbols for selection of suitable combinations of solutions principles.

8 5. Summary, conclusions In order to be able to offer computer support for early design work we must be able to represent the information produced in these phase which to a large extent is nongeometric. In this paper I have based this discussion of computer support and resulting models, on the approach to the CANDLE design language by Andersson. Upon this basis a test implementation of CANDLE using tools in a commercially CAD system is currently being developed. The conclusions that I can make so far from this implementation are: The problem is not primarily the representation of the results in terms of different models. The difficulties lies in how to work with these models and how to enter data into them and to retrieve data from them. A key problem here seems to be how to structure the taxonomies of e.g solutions principles so that we can be able to identify and select solution principles which are solving our problem and here I want to be able to select among a number of predefined solutions but also from the solutions that have been created during the development of another product. References [1] Andersson K., 1993, A Design Language Based on Engineering Terminology, Ph. D. thesis, Department of Machine Design, KTH, Stockholm. [2] Andersson K., 1993, A Vocabulary for Conceptual Design - Part of a Design Grammar, IFIP WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia. [3] Andersson K., 1993, CANDLE - A new Tool for Conceptual Design, ICED 93, Hague, The Netherlands. [4] Andersson K., Makkonen P., Persson J-G., 1995, A proposal to a product modelling language to support conceptual design, CIRP Annals Vol. 44/1/1995, pp [5] Andreasen M. M., 1980, Machine design methods based on a systematic approach - contribution to a design theory, Ph. D. thesis, Dept of Machine Design, Lund Institute of Technology [6] Baumann M., 1995, Anwendungsspezifische Erweiterung von Konstruktionssystemen für geometrisch-gestalterische Tätigkeiten unter Berücksichtigung einer systemneutralen Datenhaltung, WZL, TH Aachen. [7] Benz T., Funktionsmodelle in CAD-systemen, VDI-Verlag GmbH, ISBN , [8] Coyne R. D. et al., 1990, Knowledge-Based Design Systems, Addison-Wesley, ISBN [9] Pahl G., Beitz W., 1988, Engineering Design - A systematic Approach, Springer-Verlag, London. [10] Sowa J. F., 1984, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley. [11] Varkon-3D reference manual 1995.

Authoring and Maintaining of Educational Applications on the Web

Authoring and Maintaining of Educational Applications on the Web Authoring and Maintaining of Educational Applications on the Web Denis Helic Institute for Information Processing and Computer Supported New Media ( IICM ), Graz University of Technology Graz, Austria

More information

Slides for courses based on the textbook

Slides for courses based on the textbook Slides for courses based on the textbook 1 Author: Professor Nigel Cross Publisher: John Wiley & Sons Ltd., 2008 (4th edition) ISBN: 978-0-470-51926-4 2 Contents Part One: Understanding Design 1 The Nature

More information

RAPID PROTOTYPING IN ITERATIVE DESIGN, USING CATIA V5 AND ZPRINTER 310 PLUS

RAPID PROTOTYPING IN ITERATIVE DESIGN, USING CATIA V5 AND ZPRINTER 310 PLUS UNIVERSITY OF PITESTI FACULTY OF MECHANICS AND TECHNOLOGY SCIENTIFIC BULLETIN AUTOMOTIVE series, year XV, no.19, vol. A RAPID PROTOTYPING IN ITERATIVE DESIGN, USING CATIA V5 AND ZPRINTER 310 PLUS Daniel-Constantin

More information

David Hellenbrand and Udo Lindemann Technische Universität München, Institute of Product Development, Germany

David Hellenbrand and Udo Lindemann Technische Universität München, Institute of Product Development, Germany 10 TH INTERNATIONAL DESIGN STRUCTURE MATRIX CONFERENCE, DSM 08 11 12 NOVEMBER 2008, STOCKHOLM, SWEDEN USING THE DSM TO SUPPORT THE SELECTION OF PRODUCT CONCEPTS David Hellenbrand and Udo Lindemann Technische

More information

ENTITIES IN THE OBJECT-ORIENTED DESIGN PROCESS MODEL

ENTITIES IN THE OBJECT-ORIENTED DESIGN PROCESS MODEL INTERNATIONAL DESIGN CONFERENCE - DESIGN 2000 Dubrovnik, May 23-26, 2000. ENTITIES IN THE OBJECT-ORIENTED DESIGN PROCESS MODEL N. Pavković, D. Marjanović Keywords: object oriented methodology, design process

More information

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 93-94

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 93-94 ه عا ی Semantic Web Ontology Engineering and Evaluation Morteza Amini Sharif University of Technology Fall 93-94 Outline Ontology Engineering Class and Class Hierarchy Ontology Evaluation 2 Outline Ontology

More information

VIRTUAL PROTOTYPING SIMULATION FOR THE DESIGN OF TWO-WHEELED VEHICLES

VIRTUAL PROTOTYPING SIMULATION FOR THE DESIGN OF TWO-WHEELED VEHICLES NTERNATIONAL DESIGN CONFERENCE - DESIGN 2002 Dubrovnik, May 14-17, 2002. VIRTUAL PROTOTYPING SIMULATION FOR THE DESIGN OF TWO-WHEELED VEHICLES S. Barone, A. Curcio and F. Pierucci Keywords: CAD, Multi-Body

More information

Refinement and Formalization of Semi-Formal Use Case Descriptions

Refinement and Formalization of Semi-Formal Use Case Descriptions Refinement and Formalization of Semi-Formal Use Case Descriptions Matthias Riebisch, Michael Hübner Ilmenau Technical University Max-Planck-Ring 14; 98684 Ilmenau; Germany {matthias.riebisch michael.huebner}@tu-ilmenau.de

More information

DIGITAL DESIGN STRATEGIES

DIGITAL DESIGN STRATEGIES INTERNATIONAL DESIGN CONFERENCE - DESIGN 2004 Dubrovnik, May 18-21, 2004. DIGITAL DESIGN STRATEGIES H. Bier Keywords: digital design, methodologies of digital design, education of digital design, learning

More information

Linguistics and Philosophy 23: , Is Compositionality Formally Vacuous? Francis Jeffry Pelletier

Linguistics and Philosophy 23: , Is Compositionality Formally Vacuous? Francis Jeffry Pelletier Linguistics and Philosophy 23: 629-633, 1998 Is Compositionality Formally Vacuous? Ali Kazmi Dept. Philosophy Univ. Calgary Francis Jeffry Pelletier Dept. Philosophy Univ. Alberta We prove a theorem stating

More information

STUDY OF THE IMPACT OF THE RAPID PROTOTYPING METHOD ON THE PERFORMANCES OF A DESIGN PROCESS

STUDY OF THE IMPACT OF THE RAPID PROTOTYPING METHOD ON THE PERFORMANCES OF A DESIGN PROCESS STUDY OF THE IMPACT OF THE RAPID PROTOTYPING METHOD ON THE PERFORMANCES OF A DESIGN PROCESS Daniel-Constantin Anghel, Nadia Belu University of Pitesti, Romania KEYWORDS Rapid prototyping, DSM, design experiment,

More information

Cognitive Analysis of Software Interfaces

Cognitive Analysis of Software Interfaces 2011 International Conference on Information and Network Technology IPCSIT vol.4 (2011) (2011) IACSIT Press, Singapore Cognitive Analysis of Software Interfaces B.Venkata Raju, Ph.D Scholar, Reg.No.2004199506

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

Constraint-Aided Product Design G. Mullineux, B. Hicks, T. Medland

Constraint-Aided Product Design G. Mullineux, B. Hicks, T. Medland Czech Technical University in Prague Acta Polytechnica Vol. 45 No. 3/2005 Constraint-Aided Product Design G. Mullineux, B. Hicks, T. Medland The importance of supporting the early stages of design is widely

More information

Chapter 8 Visualization and Optimization

Chapter 8 Visualization and Optimization Chapter 8 Visualization and Optimization Recommended reference books: [1] Edited by R. S. Gallagher: Computer Visualization, Graphics Techniques for Scientific and Engineering Analysis by CRC, 1994 [2]

More information

A MODULARIZATION METHOD IN THE EARLY PHASE OF PRODUCT DEVELOPMENT

A MODULARIZATION METHOD IN THE EARLY PHASE OF PRODUCT DEVELOPMENT INTERNATIONAL DESIGN CONFERENCE - DESIGN 2008 Dubrovnik - Croatia, May 19-22, 2008. A MODULARIZATION METHOD IN THE EARLY PHASE OF PRODUCT DEVELOPMENT A. Albers, N. Burkardt, C. Sauter and K. Sedchaicharn

More information

Rapid Prototyping with APICES

Rapid Prototyping with APICES Rapid Prototyping with APICES Ansgar Bredenfeld GMD Institute for System Design Technology D-53754 Sankt Augustin, Germany bredenfeld@gmd.de http://set.gmd.de/apices APICES is a tool for very rapid development

More information

OBJECT-ORIENTED APPROACH TO DESIGN PROCESS MODELING

OBJECT-ORIENTED APPROACH TO DESIGN PROCESS MODELING PhD thesis OBJECT-ORIENTED APPROACH TO DESIGN PROCESS MODELING Neven Pavkovic Faculty of mechanical engineering & naval architecture, Zagreb, December 2000. SUMMARY The subject of this thesis is the development

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

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain

More information

Petri-net-based Workflow Management Software

Petri-net-based Workflow Management Software Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,

More information

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 95-96

Semantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 95-96 ه عا ی Semantic Web Ontology Engineering and Evaluation Morteza Amini Sharif University of Technology Fall 95-96 Outline Ontology Engineering Class and Class Hierarchy Ontology Evaluation 2 Outline Ontology

More information

Natural Language Requirements

Natural Language Requirements Natural Language Requirements Software Verification and Validation Laboratory Requirement Elaboration Heuristic Domain Model» Requirement Relationship Natural Language is elaborated via Requirement application

More information

Management of Different Types of Configuration Knowledge with the K- & V-Matrix and Wiki

Management of Different Types of Configuration Knowledge with the K- & V-Matrix and Wiki INTERNATIONAL DESIGN CONFERENCE - DESIGN 2002 Dubrovnik, May 14-17, 2002. Management of Different Types of Configuration Knowledge with the K- & V-Matrix and Wiki Ch. Puls, L. Bongulielmi, P. Henseler

More information

AN HIERARCHICAL APPROACH TO HULL FORM DESIGN

AN HIERARCHICAL APPROACH TO HULL FORM DESIGN AN HIERARCHICAL APPROACH TO HULL FORM DESIGN Marcus Bole and B S Lee Department of Naval Architecture and Marine Engineering, Universities of Glasgow and Strathclyde, Glasgow, UK 1 ABSTRACT As ship design

More information

14.1 Encoding for different models of computation

14.1 Encoding for different models of computation Lecture 14 Decidable languages In the previous lecture we discussed some examples of encoding schemes, through which various objects can be represented by strings over a given alphabet. We will begin this

More information

Configuration Management for Component-based Systems

Configuration Management for Component-based Systems Configuration Management for Component-based Systems Magnus Larsson Ivica Crnkovic Development and Research Department of Computer Science ABB Automation Products AB Mälardalen University 721 59 Västerås,

More information

Computer Mediated Communication (CE6014) Modeling method

Computer Mediated Communication (CE6014) Modeling method University of Ljubljana Faculty of Civil and Geodetic Engineering Computer Mediated Communication (CE6014) Modeling method October 2013 Matevž Dolenc matevz.dolenc@gmail.com When we mean to build, We first

More information

3D Object Scanning to Support Computer-Aided Conceptual Design

3D Object Scanning to Support Computer-Aided Conceptual Design ABSTRACT 3D Object Scanning to Support Computer-Aided Conceptual Design J.S.M. Vergeest and I. Horváth Delft University of Technology Faculty of Design, Engineering and Production Jaffalaan 9, NL-2628

More information

Static Safety Analysis of UML Action Semantics for Critical Systems Development

Static Safety Analysis of UML Action Semantics for Critical Systems Development Static Safety Analysis of UML Action Semantics for Critical Systems Development Zsigmond Pap, Dániel Varró Dept. of Measurement and Information Systems Budapest University of Technology and Economics H-1521

More information

Compilers. Prerequisites

Compilers. Prerequisites Compilers Prerequisites Data structures & algorithms Linked lists, dictionaries, trees, hash tables Formal languages & automata Regular expressions, finite automata, context-free grammars Machine organization

More information

Functional Modeling in Conceptual Die Design

Functional Modeling in Conceptual Die Design Functional Modeling in Conceptual Die Design S. B. Tor*, G. A. Britton, and W. Y. Zhang * Singapore-MIT Alliance (SMA) Fellow, SMA-NTU Office, N2-B2C-15 Nanyang Technological University, Nanyang Avenue,

More information

PETRI NET ANALYSIS OF BATCH RECIPES

PETRI NET ANALYSIS OF BATCH RECIPES Presented at FOCAPO 98, Snowbird, USA. PETRI NET ANALYSIS OF BATCH RECIPES STRUCTURED WITH GRAFCHART Charlotta Johnsson and Karl-Erik Årzén Department of Automatic Control, Lund Institute of Technology,

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

Collaborative product design and development

Collaborative product design and development CHAPTER 6 Collaborative product design and development D.T. Pham & N.S. Gourashi Manufacturing Engineering Centre, School of Engineering, Cardiff University, United Kingdom Abstract Applying computer techniques

More information

ETSI ETR 346 TECHNICAL December 1996 REPORT

ETSI ETR 346 TECHNICAL December 1996 REPORT ETSI ETR 346 TECHNICAL December 1996 REPORT Source: ETSI TC-RES Reference: DTR/RES-06013-1 ICS: 33.020 Key words: Testing, TTCN, abstract test suite, validation Radio Equipment and Systems (RES); Trans-European

More information

3.4 Data-Centric workflow

3.4 Data-Centric workflow 3.4 Data-Centric workflow One of the most important activities in a S-DWH environment is represented by data integration of different and heterogeneous sources. The process of extract, transform, and load

More information

Briefing Paper: developing the DOI Namespace

Briefing Paper: developing the DOI Namespace 010123-DOI-NS-paper.doc 1 Briefing Paper: developing the DOI Namespace This briefing paper describes a project that has been commissioned by the IDF for completion during the first half of 2001. The paper

More information

DRIFT: A Framework for Ontology-based Design Support Systems

DRIFT: A Framework for Ontology-based Design Support Systems DRIFT: A Framework for Ontology-based Design Support Systems Yutaka Nomaguchi 1 and Kikuo Fujita 1 Osaka University, 2-1 Yamadaoka, Suita, Osaka 565-0871, Japan Abstract. This paper proposes a framework

More information

INTELLIGENT SYSTEM OF GEARBOXES DESIGN

INTELLIGENT SYSTEM OF GEARBOXES DESIGN 6 th INTERNATIONAL MULTIDISCIPLINARY CONFERENCE INTELLIGENT SYSTEM OF GEARBOXES DESIGN Eugen Valentin, BUTILĂ, Transilvania University of Braşov, Eroilor, 29, 500036 Gheorghe Leonte, MOGAN, Transilvania

More information

A Model Transformation from Misuse Cases to Secure Tropos

A Model Transformation from Misuse Cases to Secure Tropos A Model Transformation from Misuse Cases to Secure Tropos Naved Ahmed 1, Raimundas Matulevičius 1, and Haralambos Mouratidis 2 1 Institute of Computer Science, University of Tartu, Estonia {naved,rma}@ut.ee

More information

Chapter 1. Preliminaries

Chapter 1. Preliminaries Chapter 1 Preliminaries Chapter 1 Topics Reasons for Studying Concepts of Programming Languages Programming Domains Language Evaluation Criteria Influences on Language Design Language Categories Language

More information

Evaluation and Design Issues of Nordic DC Metadata Creation Tool

Evaluation and Design Issues of Nordic DC Metadata Creation Tool Evaluation and Design Issues of Nordic DC Metadata Creation Tool Preben Hansen SICS Swedish Institute of computer Science Box 1264, SE-164 29 Kista, Sweden preben@sics.se Abstract This paper presents results

More information

Metamodeling for Business Model Design

Metamodeling for Business Model Design Metamodeling for Business Model Design Facilitating development and communication of Business Model Canvas (BMC) models with an OMG standards-based metamodel. Hilmar Hauksson 1 and Paul Johannesson 2 1

More information

CONCEPTUAL DESIGN EHANCEMENT OF A DESIGN ASSISTANT SYSTEM FOR LIGHTWEIGHT STRUCTURES

CONCEPTUAL DESIGN EHANCEMENT OF A DESIGN ASSISTANT SYSTEM FOR LIGHTWEIGHT STRUCTURES INTERNATIONAL DESIGN CONFERENCE - DESIGN 2004 Dubrovnik, May 18-21, 2004. CONCEPTUAL DESIGN EHANCEMENT OF A DESIGN ASSISTANT SYSTEM FOR LIGHTWEIGHT STRUCTURES C. Hauck and H. Meerkamm Keywords: early stages

More information

Cognitive Walkthrough. Francesca Rizzo 24 novembre 2004

Cognitive Walkthrough. Francesca Rizzo 24 novembre 2004 Cognitive Walkthrough Francesca Rizzo 24 novembre 2004 The cognitive walkthrough It is a task-based inspection method widely adopted in evaluating user interfaces It requires: A low-fi prototype of the

More information

Vector Operations in Grasshopper

Vector Operations in Grasshopper AALBORG UNIVERSITY BSc02 2017 Matematik: Struktur og form Module coordinator: Prof. Martin RAUSSEN Vector Operations in Grasshopper Lecturer: Dario PARIGI Associate Professor Department of Civil Engineering

More information

Work Environment and Computer Systems Development.

Work Environment and Computer Systems Development. CID-133 ISSN 1403-0721 Department of Numerical Analysis and Computer Science KTH Work Environment and Computer Systems Development. Jan Gulliksen and Bengt Sandblad CID, CENTRE FOR USER ORIENTED IT DESIGN

More information

On the correctness of template metaprograms

On the correctness of template metaprograms Proceedings of the 7 th International Conference on Applied Informatics Eger, Hungary, January 28 31, 2007 Vol 2 pp 301 308 On the correctness of template metaprograms Ádám Sipos, István Zólyomi, Zoltán

More information

Formal languages and computation models

Formal languages and computation models Formal languages and computation models Guy Perrier Bibliography John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman - Introduction to Automata Theory, Languages, and Computation - Addison Wesley, 2006.

More information

UNIT -1 1.1 OVERVIEW OF LANGUAGE PROCESSING SYSTEM 1.2 Preprocessor A preprocessor produce input to compilers. They may perform the following functions. 1. Macro processing: A preprocessor may allow a

More information

Tool Support for Design Inspection: Automatic Generation of Questions

Tool Support for Design Inspection: Automatic Generation of Questions Tool Support for Design Inspection: Automatic Generation of Questions Tim Heyer Department of Computer and Information Science, Linköping University, S-581 83 Linköping, Email: Tim.Heyer@ida.liu.se Contents

More information

Available online at ScienceDirect. Procedia Computer Science 96 (2016 )

Available online at  ScienceDirect. Procedia Computer Science 96 (2016 ) Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 96 (2016 ) 946 950 20th International Conference on Knowledge Based and Intelligent Information and Engineering Systems

More information

Guiding System Modelers in Multi View Environments: A Domain Engineering Approach

Guiding System Modelers in Multi View Environments: A Domain Engineering Approach Guiding System Modelers in Multi View Environments: A Domain Engineering Approach Arnon Sturm Department of Information Systems Engineering Ben-Gurion University of the Negev, Beer Sheva 84105, Israel

More information

A METHOD TO MODELIZE THE OVERALL STIFFNESS OF A BUILDING IN A STICK MODEL FITTED TO A 3D MODEL

A METHOD TO MODELIZE THE OVERALL STIFFNESS OF A BUILDING IN A STICK MODEL FITTED TO A 3D MODEL A METHOD TO MODELIE THE OVERALL STIFFNESS OF A BUILDING IN A STICK MODEL FITTED TO A 3D MODEL Marc LEBELLE 1 SUMMARY The aseismic design of a building using the spectral analysis of a stick model presents

More information

Schema Quality Improving Tasks in the Schema Integration Process

Schema Quality Improving Tasks in the Schema Integration Process 468 Schema Quality Improving Tasks in the Schema Integration Process Peter Bellström Information Systems Karlstad University Karlstad, Sweden e-mail: peter.bellstrom@kau.se Christian Kop Institute for

More information

Component-based Development Process and Component Lifecycle

Component-based Development Process and Component Lifecycle Journal of Computing and Information Technology - CIT 13, 2005, 4, 321-327 321 Component-based Development Process and Component Lifecycle Ivica Crnkovic 1, Stig Larsson 2 and Michel Chaudron 3 1 Mälardalen

More information

SUPPORTING THE EARLY STAGES OF PRODUCT DESIGN BY FUNCTION-BASED TOOLS

SUPPORTING THE EARLY STAGES OF PRODUCT DESIGN BY FUNCTION-BASED TOOLS INTERNTIONL DESIGN CONFERENCE - DESIGN 2002 Dubrovnik, May 14-17, 2002. SUPPORTING THE ERLY STGES OF PRODUCT DESIGN Y FUNCTION-SED TOOLS M. Koch and H. Meerkamm Keywords: Early stages of design, Engineering

More information

Category Theory in Ontology Research: Concrete Gain from an Abstract Approach

Category Theory in Ontology Research: Concrete Gain from an Abstract Approach Category Theory in Ontology Research: Concrete Gain from an Abstract Approach Markus Krötzsch Pascal Hitzler Marc Ehrig York Sure Institute AIFB, University of Karlsruhe, Germany; {mak,hitzler,ehrig,sure}@aifb.uni-karlsruhe.de

More information

Unit Maps: Grade 2 Math

Unit Maps: Grade 2 Math Place Value and Comparing Numbers 2.3 Place value. The student understands how to represent and compare whole numbers, the relative position and magnitude of whole numbers, and relationships within the

More information

AN OBJECT-ORIENTED VISUAL SIMULATION ENVIRONMENT FOR QUEUING NETWORKS

AN OBJECT-ORIENTED VISUAL SIMULATION ENVIRONMENT FOR QUEUING NETWORKS AN OBJECT-ORIENTED VISUAL SIMULATION ENVIRONMENT FOR QUEUING NETWORKS Hussam Soliman Saleh Al-Harbi Abdulkader Al-Fantookh Abdulaziz Al-Mazyad College of Computer and Information Sciences, King Saud University,

More information

EXPLORING STYLE EMERGENCE IN ARCHITECTURAL DESIGNS

EXPLORING STYLE EMERGENCE IN ARCHITECTURAL DESIGNS EXPLORING STYLE EMERGENCE IN ARCHITECTURAL DESIGNS JOHN S. GERO AND LAN DING Key Centre of Design Computing Department of Architectural and Design Science University of Sydney NSW 2006 Australia e-mail:{john,lan}@arch.usyd.edu.au

More information

A GRAPHICAL TABULAR MODEL FOR RULE-BASED LOGIC PROGRAMMING AND VERIFICATION **

A GRAPHICAL TABULAR MODEL FOR RULE-BASED LOGIC PROGRAMMING AND VERIFICATION ** Formal design, Rule-based systems, Tabular-Trees Grzegorz J. NALEPA, Antoni LIGEZA A GRAPHICAL TABULAR MODEL FOR RULE-BASED LOGIC PROGRAMMING AND VERIFICATION ** New trends in development of databases

More information

Business Activity. predecessor Activity Description. from * successor * to. Performer is performer has attribute.

Business Activity. predecessor Activity Description. from * successor * to. Performer is performer has attribute. Editor Definition Language and Its Implementation Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, and Janis Barzdins Institute of Mathematics and Computer Science, University of Latvia Raina

More information

Semi-Automatic Techniques for Generating BIM Façade Models of Historic Buildings

Semi-Automatic Techniques for Generating BIM Façade Models of Historic Buildings Semi-Automatic Techniques for Generating BIM Façade Models of Historic Buildings C. Dore, M. Murphy School of Surveying & Construction Management Dublin Institute of Technology Bolton Street Campus, Dublin

More information

Error Recovery during Top-Down Parsing: Acceptable-sets derived from continuation

Error Recovery during Top-Down Parsing: Acceptable-sets derived from continuation 2015 http://excel.fit.vutbr.cz Error Recovery during Top-Down Parsing: Acceptable-sets derived from continuation Alena Obluková* Abstract Parser is one of the most important parts of compiler. Syntax-Directed

More information

Spemmet - A Tool for Modeling Software Processes with SPEM

Spemmet - A Tool for Modeling Software Processes with SPEM Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes

More information

Improving Query Plans. CS157B Chris Pollett Mar. 21, 2005.

Improving Query Plans. CS157B Chris Pollett Mar. 21, 2005. Improving Query Plans CS157B Chris Pollett Mar. 21, 2005. Outline Parse Trees and Grammars Algebraic Laws for Improving Query Plans From Parse Trees To Logical Query Plans Syntax Analysis and Parse Trees

More information

A Documentation Method for Describing Product Variability in Product Development of Two Case Companies

A Documentation Method for Describing Product Variability in Product Development of Two Case Companies A Documentation Method for Describing Product Variability in Product Development of Two Case Companies Abstract Kati Sarinko and Juha Tiihonen An important industrial trend today is the increasing use

More information

CA Compiler Construction

CA Compiler Construction CA4003 - Compiler Construction David Sinclair Overview This module will cover the compilation process, reading and parsing a structured language, storing it in an appropriate data structure, analysing

More information

Improvisation of Fault Classification and Detection

Improvisation of Fault Classification and Detection Improvisation of Fault Classification and Detection Thilagavathi R, Anitha Raj B, Gajalakshmi N PG Scholar, Dept. of Department of IT, K.L.N College of Information Technology, Pottalpalayam-630633, Sivagangai

More information

Parametric Maps for Performance-Based Urban Design

Parametric Maps for Performance-Based Urban Design Parametric Maps for Performance-Based Urban Design A lateral method for 3D urban design Jernej Vidmar University of Ljubljana, Faculty of Architecture, Slovenia http://www.modelur.com jernej.vidmar@modelur.com

More information

Structuring the First Steps of Requirements Elicitation

Structuring the First Steps of Requirements Elicitation Structuring the First Steps of Requirements Elicitation Jeanine Souquières, Maritta Heisel To cite this version: Jeanine Souquières, Maritta Heisel. Structuring the First Steps of Requirements Elicitation.

More information

Database Management System Dr. S. Srinath Department of Computer Science & Engineering Indian Institute of Technology, Madras Lecture No.

Database Management System Dr. S. Srinath Department of Computer Science & Engineering Indian Institute of Technology, Madras Lecture No. Database Management System Dr. S. Srinath Department of Computer Science & Engineering Indian Institute of Technology, Madras Lecture No. # 3 Relational Model Hello everyone, we have been looking into

More information

How to re-open the black box in the structural design of complex geometries

How to re-open the black box in the structural design of complex geometries Structures and Architecture Cruz (Ed) 2016 Taylor & Francis Group, London, ISBN 978-1-138-02651-3 How to re-open the black box in the structural design of complex geometries K. Verbeeck Partner Ney & Partners,

More information

Software Language Engineering of Architectural Viewpoints

Software Language Engineering of Architectural Viewpoints Software Language Engineering of Architectural Viewpoints Elif Demirli and Bedir Tekinerdogan Department of Computer Engineering, Bilkent University, Ankara 06800, Turkey {demirli,bedir}@cs.bilkent.edu.tr

More information

HOBBING WEAR PREDICTION MODEL BASED ON 3D CHIPS DETERMINATION

HOBBING WEAR PREDICTION MODEL BASED ON 3D CHIPS DETERMINATION HOBBING WEAR PREDICTION MODEL BASED ON 3D CHIPS DETERMINATION BY TAXIARCHIS BELIS 1 and ARISTOMENIS ANTONIADIS 1 Abstract. Gear hobbing is a machining process widely used in the industry for massive production

More information

Annex 10 - Summary of analysis of differences between frequencies

Annex 10 - Summary of analysis of differences between frequencies Annex 10 - Summary of analysis of differences between frequencies Introduction A10.1 This Annex summarises our refined analysis of the differences that may arise after liberalisation between operators

More information

MeDUSA Method for Designing UML2-based Embedded System Software Architectures

MeDUSA Method for Designing UML2-based Embedded System Software Architectures MeDUSA Method for Designing UML2-based Embedded System Software Architectures Alexander Nyßen 1, Horst Lichter 1, Jan Suchotzki 2, Lukas Kurmann 3 1 Introduction MeDUSA (Method for Designing UML2-based

More information

UML SPECIFICATION BASED FAULT DIAGNOSIS IN EMBEDDED SYSTEMS

UML SPECIFICATION BASED FAULT DIAGNOSIS IN EMBEDDED SYSTEMS UML SPECIFICATION BASED FAULT DIAGNOSIS IN EMBEDDED SYSTEMS F. Matzke 1, V. Vasyutynskyy 2, K. Kabitzsch 2 1 Océ Printing Systems GmbH, Siemensallee 2, D-85586 Poing, Germany, fax: ++49 8121 72 3173, e-mail:

More information

Computing and compilers

Computing and compilers Computing and compilers Comp Sci 1570 to Outline 1 2 3 4 5 Evaluate the difference between hardware and software Find out about the various types of software Get a high level understanding of how program

More information

Chapter 1 Preliminaries

Chapter 1 Preliminaries Chapter 1 Preliminaries Chapter 1 Topics Reasons for Studying Concepts of Programming Languages Programming Domains Language Evaluation Criteria Influences on Language Design Language Categories Language

More information

Integration With the Business Modeler

Integration With the Business Modeler Decision Framework, J. Duggan Research Note 11 September 2003 Evaluating OOA&D Functionality Criteria Looking at nine criteria will help you evaluate the functionality of object-oriented analysis and design

More information

Simulation Supported POD Methodology and Validation for Automated Eddy Current Procedures

Simulation Supported POD Methodology and Validation for Automated Eddy Current Procedures 4th International Symposium on NDT in Aerospace 2012 - Th.1.A.1 Simulation Supported POD Methodology and Validation for Automated Eddy Current Procedures Anders ROSELL, Gert PERSSON Volvo Aero Corporation,

More information

CREATION OF SOFTWARE FOR THE TRANSFORMATION OF STEP-NC DATA

CREATION OF SOFTWARE FOR THE TRANSFORMATION OF STEP-NC DATA CREATION OF SOFTWARE FOR THE TRANSFORMATION OF STEP-NC DATA Čuboňová, N.; nadezda.cubonova@fstroj.uniza.sk Abstract: Standard for the Exchange of Product data compliant Numerical Control (STEP-NC) is a

More information

Advanced 3D-CAD Design Methods in Education and Research

Advanced 3D-CAD Design Methods in Education and Research Advanced 3D-CAD Design Methods in Education and Research Dr. Mario Hirz Dipl.-Ing.(FH) Alexander Harrich Dipl.-Ing. Patrick Rossbacher Institute of Automotive Engineering Graz University of Technology,

More information

Organizing Information. Organizing information is at the heart of information science and is important in many other

Organizing Information. Organizing information is at the heart of information science and is important in many other Dagobert Soergel College of Library and Information Services University of Maryland College Park, MD 20742 Organizing Information Organizing information is at the heart of information science and is important

More information

Applying ISO/IEC Quality Model to Quality Requirements Engineering on Critical Software

Applying ISO/IEC Quality Model to Quality Requirements Engineering on Critical Software Applying ISO/IEC 9126-1 Quality Model to Quality Engineering on Critical Motoei AZUMA Department of Industrial and Management Systems Engineering School of Science and Engineering Waseda University azuma@azuma.mgmt.waseda.ac.jp

More information

Topic 2. Collections

Topic 2. Collections Topic 2 Collections Objectives Define the concepts and terminology related to collections Discuss the abstract design of collections 2-2 Collections Collection: a group of items that we wish to treat as

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 Top-Down Visual Approach to GUI development

A Top-Down Visual Approach to GUI development A Top-Down Visual Approach to GUI development ROSANNA CASSINO, GENNY TORTORA, MAURIZIO TUCCI, GIULIANA VITIELLO Dipartimento di Matematica e Informatica Università di Salerno Via Ponte don Melillo 84084

More information

Building Information Modeling

Building Information Modeling Chapter Building Information Modeling 1 Building information modeling (BIM) is an integrated workflow built on coordinated, reliable information about a project from design through construction and into

More information

Getting a Quick Start with RUP

Getting a Quick Start with RUP Getting a Quick Start with RUP By: Doug Rosenberg and Jeff Kantor, ICONIX Software Engineering, Inc. Abstract Many people want the rigor of an industrial-strength process like the RUP but aren't quite

More information

xpc Target communication efficiency when multiple targets are involved

xpc Target communication efficiency when multiple targets are involved xpc Target communication efficiency when multiple targets are involved * *University of Craiova, Department of Automatic Control, 200585-Craiova Romania (Tel: +40-251-438198; e-mail: madalin@automation.ucv.ro)

More information

The 8 th International Scientific Conference elearning and software for Education Bucharest, April 26-27, / X

The 8 th International Scientific Conference elearning and software for Education Bucharest, April 26-27, / X The 8 th International Scientific Conference elearning and software for Education Bucharest, April 26-27, 2012 10.5682/2066-026X-12-168 MODERN CAD/CAM APPLICATIONS- INTUITIVE AND EFFICIENT Adrian BUT "Politehnica"

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

Ontology based Model and Procedure Creation for Topic Analysis in Chinese Language

Ontology based Model and Procedure Creation for Topic Analysis in Chinese Language Ontology based Model and Procedure Creation for Topic Analysis in Chinese Language Dong Han and Kilian Stoffel Information Management Institute, University of Neuchâtel Pierre-à-Mazel 7, CH-2000 Neuchâtel,

More information

Macro Basics. Introduction. Defining and Using Macro Variables. Defining and Using Macros. Macro Parameters. Part 1. Chapter 1. Chapter 2.

Macro Basics. Introduction. Defining and Using Macro Variables. Defining and Using Macros. Macro Parameters. Part 1. Chapter 1. Chapter 2. Part 1 Macro Basics Chapter 1 Chapter 2 Chapter 3 Chapter 4 Introduction Defining and Using Macro Variables Defining and Using Macros Macro Parameters 2 Carpenter s Complete Guide to the SAS Macro Language

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

Enhancement of CAD model interoperability based on feature ontology

Enhancement of CAD model interoperability based on feature ontology SOTECH Vol. 9, No. 3, pp. 33 ~ 4, 2005 Enhancement of CAD model interoperability based on feature ontology Lee, Y.S. 1, Cheon, S.U. 2 and Han, S.H. 2 1 Samsung Electronics, 2 KAIST, Dept. of Mechanical

More information