Visual Component Composition Environments

Size: px
Start display at page:

Download "Visual Component Composition Environments"

Transcription

1 Visual Component Composition Environments Based on Comparing Visual Component Composition Environments written by Alejandra Cechich and Manuel Prieto in 00. Presented by Yuxi Bai on March 8, 006 Agenda Visual Component Composition (VCC) and VCC Environments (VCCEs) Motivation for Comparing VCCEs Feature Analysis Proposed Framework Example 1: Visual Composition Using Patterns Example : Component Architecture Toolkit (CAT) Example : WREN Example : ITHACA Conclusion of the Authors Challenges of VCCs and VCCEs Criticism March, 006 Visual Component Composition Environments

2 VCC Traditional component composition process + GUI Search Select Configure (Connect & Adapt) Design Missing Functionality Implement Missing Functionality March, 006 Visual Component Composition Environments Motivations A common framework is necessary for comparative evaluation of methods and tools. No other motives are explicitly or implicitly stated by the authors. Perhaps there are a large number of VCC environments from which to choose... March, 006 Visual Component Composition Environments

3 Feature Analysis (DESMET) Proposed framework is based on the DESMET approach for Feature Analysis. Feature Analysis process: 1. Select set of candidate methods/tools to evaluate.. Determine the required features of these methods/tools.. Prioritize these features with respect to the users.. Determine the required confidence level, and thus, the level of rigor required in the analysis.. Formulate a scoring/ranking system for all features. 6. Allocate responsibilities for carrying out the analysis. 7. Perform the analysis using the above criteria. 8. Analyze and interpret the results. 9. Present the results to decision makers. March, 006 Visual Component Composition Environments Proposed Framework Features are classified as either simple or compound. Simple features are accessed by a nominal scale (Y, N). Compound (specific) features are accessed by a ordinal scale. The ordinal judgment scale ranges from -1 (makes things worse) to (full support). Degree of importance (optional for simple features): M, HD, D, N. It is possible for methods/tools to have the same aggregate score, and one of the methods/tools is missing mandatory features (but has many highly desirable features). Solution: Divide compound features into groups and compute the average score of the features in each group. A framework is an eligible candidate if and only if it obtains a score of at least in every feature group. March, 006 Visual Component Composition Environments 6

4 Visual Composition Using Patterns Composition pattern specifies the interactions between roles. Extended MSCs are used to specify composition patterns. GUI provides a palette of components, palette of composition patterns. The Universe contains a single composition model: the Java Bean component model. Extended MSCs assist in automatic compatibility checking: 1. Component and role compatibility, and. Component set and composition pattern compatibility. Resulting automaton is used as glue code. Illegal events are ignored for a given state. Real-time mismatch feedback provided to the user. Composition checking and glue code generation occurs after all roles have been filled. March, 006 Visual Component Composition Environments 7 Composition Using Patterns - Prototype March, 006 Visual Component Composition Environments 8

5 CAT, CCAT, XCAT Based on the standard grid computing model. Application (physical processes, mathematical models, etc.) Composition Tool Resource Discovery, Location, and Management Hardware and Software Resources Interface programming: input and output ports. Uses COTS in lower-level infrastructure layers (e.g. Globus). GUI: graphical workspace manager and InfoBrowser. Instantiate, connect, and disconnect components. XCAT supports scripting and web services. Globus (resource) Creation Service Component X A B Y Connection Service Component March, 006 Visual Component Composition Environments 9 CCAT Demo March, 006 Visual Component Composition Environments 10

6 WREN Assumes and exploits component self-description/metainformation that is self-contained. Minimum self-description of a specific format (a Java description class) is required. Diagrammatic representation is optional. WREN interfaces are self-description wrappers for Java interfaces. GUI provides component repository search and selection views, and a design editor for composition. March, 006 Visual Component Composition Environments 11 WREN Prototype... March, 006 Visual Component Composition Environments 1

7 ITHACA SIB: Software Information Base (common component repository) RECAST: Requirement Collection and Specification Tool Vista: Visual Scripting Tool Component Presentation Behaviour Ports Name Type polarity Composition Interface March, 006 Visual Component Composition Environments 1 ITHACA Prototypes... March, 006 Visual Component Composition Environments 1

8 Conclusion Magic numbers: S1: Component searching procedure S: Analysis of component compatibility S: Analysis of resulting composition compatibility S: Explicitly defined composition rules S: GUI S6: Automatic glue-code generation S7: Formal specification of composition rules S8: Composition models previously defined S9: Multiple-view support S10: Component reusability HD M M M M HD HD D D D Patterns 1 CAT 0 1 WREN 1 1 ITHACA More numbers (no magic here): Patterns CAT WREN G1: S1, S, S, S8... G: S, S... G: S6, S9. G: S7, S ITHACA.. Non-numerical conclusion... March, 006 Visual Component Composition Environments 1 Challenges of VCC Convince component developers to provide sufficient and correct meta-information about the components. Convince component developers and users to follow a single standard for describing components. Develop VCCEs that support heterogeneous component models. Represent components graphically in VCCEs. Base compositions on specific software architectures. Support components with non-deterministic behavior. March, 006 Visual Component Composition Environments 16

9 Criticism Subjectivity. Failure to justify the necessity of the framework. Invalid basis for comparison. Failure to provide adequate basis for assigning the particular scores in the Feature Analysis. Obvious errors and inconsistencies in the writing. Failure to address the challenges of VCCs/VCCEs. March, 006 Visual Component Composition Environments 17

Grid-Based Data Mining and the KNOWLEDGE GRID Framework

Grid-Based Data Mining and the KNOWLEDGE GRID Framework Grid-Based Data Mining and the KNOWLEDGE GRID Framework DOMENICO TALIA (joint work with M. Cannataro, A. Congiusta, P. Trunfio) DEIS University of Calabria ITALY talia@deis.unical.it Minneapolis, September

More information

Component-Based Software Engineering TIP

Component-Based Software Engineering TIP Component-Based Software Engineering TIP X LIU, School of Computing, Napier University This chapter will present a complete picture of how to develop software systems with components and system integration.

More information

Verification and Validation

Verification and Validation Verification and Validation Assuring that a software system meets a user's needs Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 1 Objectives To introduce software verification

More information

J2EEML: Applying Model Driven Development to Autonomic Enterprise Java Bean Systems

J2EEML: Applying Model Driven Development to Autonomic Enterprise Java Bean Systems J2EEML: Applying Model Driven Development to Autonomic Enterprise Java Bean Systems Jules White jules@dre.vanderbilt.edu Institute for Software Integrated Systems (ISIS) Vanderbilt University Nashville,

More information

Design Pattern and Software Architecture: IV. Design Pattern

Design Pattern and Software Architecture: IV. Design Pattern Design Pattern and Software Architecture: IV. Design Pattern AG Softwaretechnik Raum E 3.165 Tele.. 60-3321 hg@upb.de IV. Design Pattern IV.1 Introduction IV.2 Example: WYSIWYG Editor Lexi IV.3 Creational

More information

Part 5. Verification and Validation

Part 5. Verification and Validation Software Engineering Part 5. Verification and Validation - Verification and Validation - Software Testing Ver. 1.7 This lecture note is based on materials from Ian Sommerville 2006. Anyone can use this

More information

Graphical Editor for the Metropolis Meta-model

Graphical Editor for the Metropolis Meta-model EE249 Project Report, Fall 2001 1 Graphical Editor for the Metropolis Meta-model Jiagen Ding (jgding@newton.berkeley.edu) Hongjing Zou (zouh@eecs.berkeley.edu) http://www-cad.eecs.berkeley.edu/ zouh/ee249project.html

More information

Petrel Studio for Reservoir Data Management Implementation to Eni Mozambique Assets. Massimo Dossola IT Advisor Eni Mozambique Engineering Ltd.

Petrel Studio for Reservoir Data Management Implementation to Eni Mozambique Assets. Massimo Dossola IT Advisor Eni Mozambique Engineering Ltd. Petrel Studio for Reservoir Data Management Implementation to Eni Mozambique Assets Massimo Dossola IT Advisor Eni Mozambique Engineering Ltd. Abstract The scope of this presentation is to outline the

More information

Knowledge Discovery Services and Tools on Grids

Knowledge Discovery Services and Tools on Grids Knowledge Discovery Services and Tools on Grids DOMENICO TALIA DEIS University of Calabria ITALY talia@deis.unical.it Symposium ISMIS 2003, Maebashi City, Japan, Oct. 29, 2003 OUTLINE Introduction Grid

More information

High-Fidelity analysis of software systems

High-Fidelity analysis of software systems High-Fidelity of software systems Dr. Nikolai Mansourov Chief Technology Officer, KDM Analytics http://www.kdmanalytics.com 5 March 2007 Agenda 1. Motivation: of security properties of existing software

More information

Visual Component Composition Using Composition Patterns

Visual Component Composition Using Composition Patterns Visual Component Composition Using Composition Patterns Bart Wydaeghe 1 Wim Vanderperren 2 Vrije Universiteit Brussel Pleinlaan 2 1050 Brussel, Belgium +32 2 629 {2975 2962} {bwydaegh wvdperre}@info.vub.ac.be

More information

Availability Management ITIL CMM Assessment Page 1 of 7

Availability Management ITIL CMM Assessment Page 1 of 7 Availability anagement ITIL C Assessment Page 1 of 7 The aspects of availability management to be covered by this questionnaire are: Reliability: the capability of an IT component to perform a required

More information

Computational Web Portals. Tomasz Haupt Mississippi State University

Computational Web Portals. Tomasz Haupt Mississippi State University Computational Web Portals Tomasz Haupt Mississippi State University What is a portal? Is it a web page? There is something going on behind the scene! Synopsis URL TCP/IP SSL HTTP HTTPS PKI Kerberos HTML

More information

Web Interface to Materials Simulations

Web Interface to Materials Simulations Web Interface to Materials Simulations Web Interface Generator and Legacy Application Façade Portal Development Team Funding Akos J. Czikmantory (JPL - Wiglaf) DARPA-PROM Hook Hua (JPL - Wiglaf ) JPL SRRF

More information

GRID Stream Database Managent for Scientific Applications

GRID Stream Database Managent for Scientific Applications GRID Stream Database Managent for Scientific Applications Milena Ivanova (Koparanova) and Tore Risch IT Department, Uppsala University, Sweden Outline Motivation Stream Data Management Computational GRIDs

More information

door Sasa Berberovic

door Sasa Berberovic door Sasa Berberovic Overview Reusable Components Subsystems Reusable Components Reuse Mechanisms The Role of Testing in Reuse Reusing Test Suites Test Design Patterns Abstract Class Test Generic Class

More information

Grid Computing Systems: A Survey and Taxonomy

Grid Computing Systems: A Survey and Taxonomy Grid Computing Systems: A Survey and Taxonomy Material for this lecture from: A Survey and Taxonomy of Resource Management Systems for Grid Computing Systems, K. Krauter, R. Buyya, M. Maheswaran, CS Technical

More information

Architecture of Distributed Systems Component-based Systems

Architecture of Distributed Systems Component-based Systems Architecture of Distributed Systems 2017-2018 Component-based Systems Original : J.J Lukkien Revision: R.H. Mak 25-Oct-17 Rudolf Mak TU/e Computer Science 2II45-CBSE Goals of this lecture Students have

More information

Draft Technical Note: FpML Validation Language Requirements

Draft Technical Note: FpML Validation Language Requirements Draft Technical Note: FpML Validation Language Requirements Abstract: This document sets out the requirements for a validation constraint language for FpML. This language will be used to specify constraints

More information

A Web-Services Based Architecture for Dynamic- Service Deployment

A Web-Services Based Architecture for Dynamic- Service Deployment A Web-Services Based Architecture for Dynamic- Service Deployment Christos Chrysoulas 1, Evangelos Haleplidis 1, Robert Haas 2, Spyros Denazis 1,3, Odysseas Koufopavlou 1 1 University of Patras, ECE Department,

More information

International Journal of Advanced Research in Computer Science and Software Engineering

International Journal of Advanced Research in Computer Science and Software Engineering Volume 3, Issue 4, April 2013 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Testing Techniques

More information

Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 22 Slide 1

Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 22 Slide 1 Verification and Validation Slide 1 Objectives To introduce software verification and validation and to discuss the distinction between them To describe the program inspection process and its role in V

More information

Minsoo Ryu. College of Information and Communications Hanyang University.

Minsoo Ryu. College of Information and Communications Hanyang University. Software Reuse and Component-Based Software Engineering Minsoo Ryu College of Information and Communications Hanyang University msryu@hanyang.ac.kr Software Reuse Contents Components CBSE (Component-Based

More information

WSRF Services for Composing Distributed Data Mining Applications on Grids: Functionality and Performance

WSRF Services for Composing Distributed Data Mining Applications on Grids: Functionality and Performance WSRF Services for Composing Distributed Data Mining Applications on Grids: Functionality and Performance Domenico Talia, Paolo Trunfio, and Oreste Verta DEIS, University of Calabria Via P. Bucci 41c, 87036

More information

The Tool Box of the System Architect

The Tool Box of the System Architect by Gerrit Muller Buskerud University College e-mail: gaudisite@gmail.com www.gaudisite.nl Abstract The toolbox of a systems architect is filled with a quite diverse collection of tools. We will discuss

More information

Building JavaServer Faces Applications

Building JavaServer Faces Applications IBM Software Group St. Louis Java User Group Tim Saunders ITS Rational Software tim.saunders@us.ibm.com 2005 IBM Corporation Agenda JSF Vision JSF Overview IBM Rational Application Developer v6.0 Build

More information

NUSGRID a computational grid at NUS

NUSGRID a computational grid at NUS NUSGRID a computational grid at NUS Grace Foo (SVU/Academic Computing, Computer Centre) SVU is leading an initiative to set up a campus wide computational grid prototype at NUS. The initiative arose out

More information

Collaborative Framework for Testing Web Application Vulnerabilities Using STOWS

Collaborative Framework for Testing Web Application Vulnerabilities Using STOWS Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology ISSN 2320 088X IMPACT FACTOR: 5.258 IJCSMC,

More information

Collaboration in Teams: Simulink Projects Demonstration

Collaboration in Teams: Simulink Projects Demonstration Collaboration in Teams: Simulink Projects Demonstration 김종헌차장 Senior Application Engineer MathWorks Korea 2011 The MathWorks, Inc. 1 Agenda Motivation 7 common technical challenges Next steps Q & A allen.kim@mathworks.com

More information

ADMINISTRATIVE MANAGEMENT COLLEGE

ADMINISTRATIVE MANAGEMENT COLLEGE First Semester ADMINISTRATIVE MANAGEMENT COLLEGE BACHELOR OF COMPUTER APPLICATION COURSE OUTCOME (CO) Problem solving techniques Using C CO 1: Understand the basic concepts of programming, software and

More information

Objectives. Chapter 19. Verification vs. validation. Topics covered. Static and dynamic verification. The V&V process

Objectives. Chapter 19. Verification vs. validation. Topics covered. Static and dynamic verification. The V&V process Objectives Chapter 19 Verification and Validation Assuring that a software system meets a user s need are to introduce software verification and validation (V&V) and to discuss the distinction between

More information

A Grid-Enabled Component Container for CORBA Lightweight Components

A Grid-Enabled Component Container for CORBA Lightweight Components A Grid-Enabled Component Container for CORBA Lightweight Components Diego Sevilla 1, José M. García 1, Antonio F. Gómez 2 1 Department of Computer Engineering 2 Department of Information and Communications

More information

Evaluating OO-CASE tools: OO research meets practice

Evaluating OO-CASE tools: OO research meets practice Evaluating OO-CASE tools: OO research meets practice Danny Greefhorst, Matthijs Maat, Rob Maijers {greefhorst, maat, maijers}@serc.nl Software Engineering Research Centre - SERC PO Box 424 3500 AK Utrecht

More information

A Business Aware Transaction Framework for Service Oriented Environments

A Business Aware Transaction Framework for Service Oriented Environments A Business Aware Transaction Framework for Service Oriented Environments Benedikt Kratz M.Sc. (B.Kratz@uvt.nl) Tilburg University Infolab Ph.D. Supervisor: Prof. Dr. M.P. Papazoglou ICSOC 2005 Ph.D. Symposium

More information

Review Sources of Architecture. Why Domain-Specific?

Review Sources of Architecture. Why Domain-Specific? Domain-Specific Software Architectures (DSSA) 1 Review Sources of Architecture Main sources of architecture black magic architectural visions intuition theft method Routine design vs. innovative design

More information

ΗΜΥ 317 Τεχνολογία Υπολογισμού

ΗΜΥ 317 Τεχνολογία Υπολογισμού ΗΜΥ 317 Τεχνολογία Υπολογισμού Εαρινό Εξάμηνο 2008 ΙΑΛΕΞΕΙΣ 18-19: Έλεγχος και Πιστοποίηση Λειτουργίας ΧΑΡΗΣ ΘΕΟΧΑΡΙ ΗΣ Λέκτορας ΗΜΜΥ (ttheocharides@ucy.ac.cy) [Προσαρμογή από Ian Sommerville, Software

More information

Marking Guidelines for MVK Projects. MVK11. Version 6.2 (PPD, URD, ADD, revised URD+ADD, and software demo)

Marking Guidelines for MVK Projects. MVK11. Version 6.2 (PPD, URD, ADD, revised URD+ADD, and software demo) Marking Guidelines for MVK Projects. MVK11 Version 6.2 (PPD, URD, ADD, revised URD+ADD, and software demo) 2012-05- 03 Final Grade formulas: MVK DD1365 Grade = PPD + URD. Bachelor s Thesis DD143X Grade

More information

Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence

Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence Ratko Orlandic Department of Computer Science and Applied Math Illinois Institute of Technology

More information

Part I: Preliminaries 24

Part I: Preliminaries 24 Contents Preface......................................... 15 Acknowledgements................................... 22 Part I: Preliminaries 24 1. Basics of Software Testing 25 1.1. Humans, errors, and testing.............................

More information

Model Design and Evaluation

Model Design and Evaluation Model Design and Evaluation The General Modeling Process YES Define Goals Compartments Systematize Add Spatial Dimension Complete? NO Formulate & Flowchart Return Return NO Complete? Deliver Implement

More information

DESIGN PATTERN - INTERVIEW QUESTIONS

DESIGN PATTERN - INTERVIEW QUESTIONS DESIGN PATTERN - INTERVIEW QUESTIONS http://www.tutorialspoint.com/design_pattern/design_pattern_interview_questions.htm Copyright tutorialspoint.com Dear readers, these Design Pattern Interview Questions

More information

Produced by. Design Patterns. MSc in Communications Software. Eamonn de Leastar

Produced by. Design Patterns. MSc in Communications Software. Eamonn de Leastar Design Patterns MSc in Communications Software Produced by Eamonn de Leastar (edeleastar@wit.ie) Department of Computing, Maths & Physics Waterford Institute of Technology http://www.wit.ie http://elearning.wit.ie

More information

Trusted Components. Reuse, Contracts and Patterns. Prof. Dr. Bertrand Meyer Dr. Karine Arnout

Trusted Components. Reuse, Contracts and Patterns. Prof. Dr. Bertrand Meyer Dr. Karine Arnout 1 Last update: 2 November 2004 Trusted Components Reuse, Contracts and Patterns Prof. Dr. Bertrand Meyer Dr. Karine Arnout 2 Lecture 5: Design patterns Agenda for today 3 Overview Benefits of patterns

More information

WiZNet Integration of different Web service Registries

WiZNet Integration of different Web service Registries WiZNet Integration of different Web service Registries Technical University of Vienna Information Systems Institute Distributed Systems Group Schahram Dustdar and Martin Treiber dustdar@infosys.tuwien.ac.at

More information

THE GLOBUS PROJECT. White Paper. GridFTP. Universal Data Transfer for the Grid

THE GLOBUS PROJECT. White Paper. GridFTP. Universal Data Transfer for the Grid THE GLOBUS PROJECT White Paper GridFTP Universal Data Transfer for the Grid WHITE PAPER GridFTP Universal Data Transfer for the Grid September 5, 2000 Copyright 2000, The University of Chicago and The

More information

Metaprogrammable Toolkit for Model-Integrated Computing

Metaprogrammable Toolkit for Model-Integrated Computing Metaprogrammable Toolkit for Model-Integrated Computing Akos Ledeczi, Miklos Maroti, Gabor Karsai and Greg Nordstrom Institute for Software Integrated Systems Vanderbilt University Abstract Model-Integrated

More information

Ingegneria del Software II academic year: Course Web-site: [www.di.univaq.it/ingegneria2/]

Ingegneria del Software II academic year: Course Web-site: [www.di.univaq.it/ingegneria2/] Course: Ingegneria del Software II academic year: 2004-2005 Course Web-site: [www.di.univaq.it/ingegneria2/] Verification and Validation Lecturer: Henry Muccini and Vittorio Cortellessa Computer Science

More information

Workflow, Planning and Performance Information, information, information Dr Andrew Stephen M c Gough

Workflow, Planning and Performance Information, information, information Dr Andrew Stephen M c Gough Workflow, Planning and Performance Information, information, information Dr Andrew Stephen M c Gough Technical Coordinator London e-science Centre Imperial College London 17 th March 2006 Outline Where

More information

Java Development and Grid Computing with the Globus Toolkit Version 3

Java Development and Grid Computing with the Globus Toolkit Version 3 Java Development and Grid Computing with the Globus Toolkit Version 3 Michael Brown IBM Linux Integration Center Austin, Texas Page 1 Session Introduction Who am I? mwbrown@us.ibm.com Team Leader for Americas

More information

Monitoring Grid Virtual Machine deployments

Monitoring Grid Virtual Machine deployments University of Victoria Faculty of Engineering Fall 2008 Work Term Report Monitoring Grid Virtual Machine deployments Department of Physics University of Victoria Victoria, BC Michael Paterson 0031209 Work

More information

POAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models

POAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models POAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU Outline Chapter 4: Design Patterns

More information

Design of Next Generation Internet Based on Application-Oriented Networking

Design of Next Generation Internet Based on Application-Oriented Networking Design of Next Generation Internet Based on Application-Oriented Networking Yu Cheng Department of Electrical and Computer Engineering Illinois Institute of Technology Chicago, Illinois, USA cheng@iit.edu

More information

Design Patterns. An introduction

Design Patterns. An introduction Design Patterns An introduction Introduction Designing object-oriented software is hard, and designing reusable object-oriented software is even harder. Your design should be specific to the problem at

More information

Compiler Technology for Problem Solving on Computational Grids

Compiler Technology for Problem Solving on Computational Grids Compiler Technology for Problem Solving on Computational Grids An Overview of Programming Support Research in the GrADS Project Ken Kennedy Rice University http://www.cs.rice.edu/~ken/presentations/gridcompilers.pdf

More information

The etrice Eclipse Project Proposal

The etrice Eclipse Project Proposal The etrice Eclipse Project Proposal Dipl.-Ing. Thomas Schütz, Protos Software GmbH Eclipse Embedded Day 2010, Stuttgart Agenda Motivation Scope of etrice ROOM Language Codegenerators Middleware Realization

More information

Applying the Semantic Web Layers to Access Control

Applying the Semantic Web Layers to Access Control J. Lopez, A. Mana, J. maria troya, and M. Yague, Applying the Semantic Web Layers to Access Control, IEEE International Workshop on Web Semantics (WebS03), pp. 622-626, 2003. NICS Lab. Publications: https://www.nics.uma.es/publications

More information

Component-Based Software Engineering TIP

Component-Based Software Engineering TIP Component-Based Software Engineering TIP X LIU, School of Computing, Napier University This chapter will present a complete picture of how to develop software systems with components and system integration.

More information

Creational. Structural

Creational. Structural Fitness for Future of Design Patterns & Architectural Styles Design patterns are difficult to teach, so we conducted a class collaboration where we all researched and reported on a variety of design patterns

More information

Sequence-Based Specification

Sequence-Based Specification Sequence-Based Specification Tom Swain tomswain@comcast.net Specification Objectives Completeness Consistency a response is defined for every stimulus history each stimulus history maps to only one response

More information

Module 16. Software Reuse. Version 2 CSE IIT, Kharagpur

Module 16. Software Reuse. Version 2 CSE IIT, Kharagpur Module 16 Software Reuse Lesson 40 Reuse Approach Specific Instructional Objectives At the end of this lesson the student would be able to: Explain a scheme by which software reusable components can be

More information

Grid Computing Fall 2005 Lecture 5: Grid Architecture and Globus. Gabrielle Allen

Grid Computing Fall 2005 Lecture 5: Grid Architecture and Globus. Gabrielle Allen Grid Computing 7700 Fall 2005 Lecture 5: Grid Architecture and Globus Gabrielle Allen allen@bit.csc.lsu.edu http://www.cct.lsu.edu/~gallen Concrete Example I have a source file Main.F on machine A, an

More information

Release Notes. PREEvision. Version 6.5 SP14 English

Release Notes. PREEvision. Version 6.5 SP14 English Release Notes PREEvision Version 6.5 SP14 English Imprint Vector Informatik GmbH Ingersheimer Straße 24 70499 Stuttgart, Germany Vector reserves the right to modify any information and/or data in this

More information

ISTQB Advanced Level (CTAL)

ISTQB Advanced Level (CTAL) ISTQB Advanced Level (CTAL) 2012 Syllabus - Overview Mike Smith Chairman, Advanced Level Working Group (ALWG) December 2012 Contents 1 2 3 4 5 6 Introduction to ISTQB CTAL 2012: What s changed? CTAL 2012:

More information

CoML Component Markup Language. Birngruber Dietrich System Software Group Johannes Kepler University of Linz Austria / Europe

CoML Component Markup Language. Birngruber Dietrich System Software Group Johannes Kepler University of Linz Austria / Europe CoML Component Markup Language Birngruber Dietrich System Software Group Johannes Kepler University of Linz Austria / Europe Story of Beana and Applicato Beana is a Software Engineer she develops software

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

FORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT

FORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT FORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT Otthein Herzog IBM Germany, Dept. 3100 P.O.Box 80 0880 D-7000 STUTTGART, F. R. G. ABSTRACT tn the IBM Boeblingen Laboratory some software was

More information

System Configuration. Paul Anderson. publications/oslo-2008a-talk.pdf I V E R S I U N T Y T H

System Configuration. Paul Anderson.  publications/oslo-2008a-talk.pdf I V E R S I U N T Y T H E U N I V E R S I System Configuration T H O T Y H F G Paul Anderson E D I N B U R dcspaul@ed.ac.uk http://homepages.inf.ed.ac.uk/dcspaul/ publications/oslo-2008a-talk.pdf System Configuration What is

More information

Scenario-based Synthesis of Annotated Class Diagrams in UML

Scenario-based Synthesis of Annotated Class Diagrams in UML Scenario-based Synthesis of Annotated Class Diagrams in UML Petri Selonen and Tarja Systä Tampere University of Technology, Software Systems Laboratory, P.O.Box 553, FIN-33101 Tampere, Finland {pselonen,tsysta}@cs.tut.fi

More information

SUMMARY: MODEL DRIVEN SECURITY

SUMMARY: MODEL DRIVEN SECURITY SUMMARY: MODEL DRIVEN SECURITY JAN-FILIP ZAGALAK, JZAGALAK@STUDENT.ETHZ.CH Model Driven Security: From UML Models to Access Control Infrastructres David Basin, Juergen Doser, ETH Zuerich Torsten lodderstedt,

More information

NextData System of Systems Infrastructure (ND-SoS-Ina)

NextData System of Systems Infrastructure (ND-SoS-Ina) NextData System of Systems Infrastructure (ND-SoS-Ina) DELIVERABLE D2.3 (CINECA, CNR-IIA) - Web Portal Architecture DELIVERABLE D4.1 (CINECA, CNR-IIA) - Test Infrastructure Document identifier: D2.3 D4.1

More information

Multi-Agent Multi-Model Simulation of Smart Grids in the MS4SG Project

Multi-Agent Multi-Model Simulation of Smart Grids in the MS4SG Project Multi-Agent Multi-Model Simulation of Smart Grids in the MS4SG Project J. Vaubourg, Y. Presse, B. Camus, C. Bourjot, L. Ciarletta, V. Chevrier, J.-P. Tavella and H. Morais PAAMS 3rd June 2015 2015-06-15

More information

Oscar Slotosch, Validas AG. Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools

Oscar Slotosch, Validas AG. Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools Oscar Slotosch, Proposal for a Roadmap towards Development of Qualifyable Eclipse Tools, 2012 Seite 1 Content Roadmap Requirements for Tool Qualification (Standards) Proposals for Goals for Eclipse Proposals

More information

Application: Programming Language Semantics

Application: Programming Language Semantics Chapter 8 Application: Programming Language Semantics Prof. Dr. K. Madlener: Specification and Verification in Higher Order Logic 527 Introduction to Programming Language Semantics Programming Language

More information

Question 1: What is a code walk-through, and how is it performed?

Question 1: What is a code walk-through, and how is it performed? Question 1: What is a code walk-through, and how is it performed? Response: Code walk-throughs have traditionally been viewed as informal evaluations of code, but more attention is being given to this

More information

P2: Collaborations. CSE 335, Spring 2009

P2: Collaborations. CSE 335, Spring 2009 P2: Collaborations CSE 335, Spring 2009 Milestone #1 due by Thursday, March 19 at 11:59 p.m. Completed project due by Thursday, April 2 at 11:59 p.m. Objectives Develop an application with a graphical

More information

Marking Guidelines for MVK Projects. MVK12. Version 6.2 (PPD, URD, RURD, ADD and software demo)

Marking Guidelines for MVK Projects. MVK12. Version 6.2 (PPD, URD, RURD, ADD and software demo) Marking Guidelines for MVK Projects. MVK12 Version 6.2 (PPD, URD, RURD, ADD and software demo) 2013-02- 13 Final Grade formulas: MVK DD1365 Grade = 33% PPD + 66% URD. Bachelor s Thesis DD143X Grade = ADD

More information

DataFinder A Scientific Data Management Solution ABSTRACT

DataFinder A Scientific Data Management Solution ABSTRACT DataFinder A Scientific Data Management Solution Tobias Schlauch (1), Andreas Schreiber (2) (1) German Aerospace Center (DLR) Simulation and Software Technology Lilienthalplatz 7, D-38108 Braunschweig,

More information

Verification and Validation. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1

Verification and Validation. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1 Verification vs validation Verification: "Are we building the product right?. The software should

More information

CSSE 490 Model-Based Software Engineering: Transformation Systems

CSSE 490 Model-Based Software Engineering: Transformation Systems CSSE 490 Model-Based Software Engineering: Transformation Systems Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Plan for Today FacePamphlet Demo and Discussion

More information

Oracle Application Express 5.1

Oracle Application Express 5.1 Oracle Application Express 5.1 New Features [Name] [Title] December 2016 2 Agenda 1 2 3 4 5 6 7 Oracle Application Express Overview Interactive Grid Oracle JET Charts Universal Theme Productivity Improvements

More information

Towards Reusable Heterogeneous Data-Centric Disentangled Parts

Towards Reusable Heterogeneous Data-Centric Disentangled Parts Towards Reusable Heterogeneous Data-Centric Disentangled Parts Michael Reinsch and Takuo Watanabe Department of Computer Science, Graduate School of Information Science and Technology, Tokyo Institute

More information

SEARCH AND INFERENCE WITH DIAGRAMS

SEARCH AND INFERENCE WITH DIAGRAMS SEARCH AND INFERENCE WITH DIAGRAMS Michael Wollowski Rose-Hulman Institute of Technology 5500 Wabash Ave., Terre Haute, IN 47803 USA wollowski@rose-hulman.edu ABSTRACT We developed a process for presenting

More information

1Z Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions

1Z Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions 1Z0-475 Oracle IT Architecture SOA 2013 Essentials Exam Summary Syllabus Questions Table of Contents Introduction to 1Z0-475 Exam on Oracle IT Architecture SOA 2013 Essentials 2 Oracle 1Z0-475 Certification

More information

HyperFrame - A Framework for Hypermedia Authoring

HyperFrame - A Framework for Hypermedia Authoring HyperFrame - A Framework for Hypermedia Authoring S. Crespo, M. F. Fontoura, C. J. P. Lucena, D. Schwabe Pontificia Universidade Católica do Rio de Janeiro - Departamento de Informática Universidade do

More information

On the Use of Peer-to-Peer Architectures for the Management of Highly Dynamic Environments

On the Use of Peer-to-Peer Architectures for the Management of Highly Dynamic Environments Pisa, Italy - March, 17-2006 On the Use of Peer-to-Peer Architectures for the Management of Highly Dynamic Environments Carlos Kamienski (cak@gprt.ufpe.br) Djamel Sadok (jamel@cin.ufpe.br) Joseane Fidalgo

More information

Issues raised developing

Issues raised developing Loughborough University Institutional Repository Issues raised developing AQuRate (an authoring tool that uses the question and test interoperability version 2 specification) This item was submitted to

More information

XOTcl an Object-Oriented Scripting Language. First European Tcl/Tk User Meeting, 15/16th June 2000

XOTcl an Object-Oriented Scripting Language. First European Tcl/Tk User Meeting, 15/16th June 2000 XOTcl an Object-Oriented Scripting Language Gustaf Neumann Department of Information Systems Vienna University of Economics Vienna, Austria gustaf.neumann@wu-wien.ac.at Uwe Zdun Specification of Software

More information

Software Engineering

Software Engineering Software Engineering chap 4. Software Reuse 1 SuJin Choi, PhD. Sogang University Email: sujinchoi@sogang.ac.kr Slides modified, based on original slides by Ian Sommerville (Software Engineering 10 th Edition)

More information

The SPIN Model Checker

The SPIN Model Checker The SPIN Model Checker Metodi di Verifica del Software Andrea Corradini Lezione 1 2013 Slides liberamente adattate da Logic Model Checking, per gentile concessione di Gerard J. Holzmann http://spinroot.com/spin/doc/course/

More information

International Journal for Management Science And Technology (IJMST)

International Journal for Management Science And Technology (IJMST) Volume 4; Issue 03 Manuscript- 1 ISSN: 2320-8848 (Online) ISSN: 2321-0362 (Print) International Journal for Management Science And Technology (IJMST) GENERATION OF SOURCE CODE SUMMARY BY AUTOMATIC IDENTIFICATION

More information

Introduction to ALM, UFT, VuGen, and LoadRunner

Introduction to ALM, UFT, VuGen, and LoadRunner Software Education Introduction to ALM, UFT, VuGen, and LoadRunner This course introduces students to the Application Lifecycle Management line products Introduction to ALM, UFT, VuGen, and LoadRunner

More information

Verification and Validation. Assuring that a software system meets a user s needs. Verification vs Validation. The V & V Process

Verification and Validation. Assuring that a software system meets a user s needs. Verification vs Validation. The V & V Process Verification and Validation Assuring that a software system meets a user s needs Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapters 19,20 Slide 1

More information

Software Testing MANUAL TESTING. Introduction to Testing. Software Quality Software Testing Definition. Different Life Cycle Models Waterfall Model

Software Testing MANUAL TESTING. Introduction to Testing. Software Quality Software Testing Definition. Different Life Cycle Models Waterfall Model Software Testing MANUAL TESTING Introduction to Testing 1. Brief History of Testing 2. Testing Opportunities 3. Testing Principles Software Quality Software Testing Definition 1. Verification 2. Validation

More information

Ganga The Job Submission Tool. WeiLong Ueng

Ganga The Job Submission Tool. WeiLong Ueng Ganga The Job Submission Tool WeiLong Ueng wlueng@twgrid.org Objectives This tutorial gives users to understand Why require Ganga in Grid environment What advantages of Ganga The Architecture of Ganga

More information

Architectures of Distributed Systems 2011/2012

Architectures of Distributed Systems 2011/2012 Architectures of Distributed Systems 2011/2012 Component Based Systems Johan Lukkien TU/e Computer TU/e Informatica, Science, System Architecture and Networking 1 Goals Students have an overview of motivation

More information

INSPECTOR, A ZERO CODE IDE FOR CONTROL SYSTEMS USER INTERFACE DEVELOPMENT

INSPECTOR, A ZERO CODE IDE FOR CONTROL SYSTEMS USER INTERFACE DEVELOPMENT INSPECTOR, A ZERO CODE IDE FOR CONTROL SYSTEMS USER INTERFACE DEVELOPMENT V. Costa, B. Lefort CERN, European Organization for Nuclear Research, Geneva, Switzerland Abstract Developing operational User

More information

A Visual Tool for Supporting Developers in Ontology-based Application Integration

A Visual Tool for Supporting Developers in Ontology-based Application Integration A Visual Tool for Supporting Developers in Ontology-based Application Integration Tobias Wieschnowsky 1 and Heiko Paulheim 2 1 SAP Research tobias.wieschnowsky@sap.com 2 Technische Universität Darmstadt

More information

Matrex Table of Contents

Matrex Table of Contents Matrex Table of Contents Matrex...1 What is the equivalent of a spreadsheet in Matrex?...2 Why I should use Matrex instead of a spreadsheet application?...3 Concepts...4 System architecture in the future

More information

Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software

Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software Sergey Smolov ISP RAS ssedai@ispras.ru Abstract In this article some questions of testing of infrastructural Grid

More information

EXAM PREPARATION GUIDE

EXAM PREPARATION GUIDE When Recognition Matters EXAM PREPARATION GUIDE PECB Certified ISO 22000 Lead Auditor www.pecb.com The objective of the Certified ISO 22000 Lead Auditor examination is to ensure that the candidate has

More information