From 8a9b9dbb2340478f89f1b66d672fc2f0b40f9d19 Mon Sep 17 00:00:00 2001 From: Your Name Date: Thu, 22 Mar 2012 13:45:19 +0000 Subject: [PATCH] Started on the paper. Copied the bib files so that this is easy to copy as a directory in case they compile it in Latex, not pdf. --- papers/software_fmea/mybib.bib | 603 ++++++++ papers/software_fmea/software_fmea.tex | 207 ++- papers/software_fmea/vmgbibliography.bib | 1756 ++++++++++++++++++++++ 3 files changed, 2537 insertions(+), 29 deletions(-) create mode 100644 papers/software_fmea/mybib.bib create mode 100644 papers/software_fmea/vmgbibliography.bib diff --git a/papers/software_fmea/mybib.bib b/papers/software_fmea/mybib.bib new file mode 100644 index 0000000..cb988ad --- /dev/null +++ b/papers/software_fmea/mybib.bib @@ -0,0 +1,603 @@ + + +% my bib file. + +@ARTICLE{fmd91, + AUTHOR = "Reliability Analysis Center", + TITLE = "Failure Mode/Mechanisms Distributions 1991", + JOURNAL = "United States Department of Commerce", + YEAR = "1991" +} + +% $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $ +@article{Clark200519, + title = "Failure Mode Modular De-Composition Using Spider Diagrams", + journal = "Electronic Notes in Theoretical Computer Science", + volume = "134", + number = "", + pages = "19 - 31", + year = "2005", + note = "Proceedings of the First International Workshop on Euler Diagrams (Euler 2004)", + issn = "1571-0661", + doi = "DOI: 10.1016/j.entcs.2005.02.018", + url = "http://www.sciencedirect.com/science/article/B75H1-4G6XT71-3/2/0e3a47df2ec15bfba9f85feae81786e3", + author = "R.P. Clark", + keywords = "Failsafe", + keywords = "EN298", + keywords = "gas-safety", + keywords = "burner", + keywords = "control", + keywords = "fault", + keywords = "double-fault", + keywords = "single-fault", + keywords = "fault-tolerance" +} + +@ARTICLE{ftahistory, + AUTHOR = "Clifton Ericsson", + TITLE = "Fault Tree Analysis a History", + JOURNAL = "Proceedings of the 17th international safety conference", + YEAR = "1999" +} + +@ARTICLE{fafmea, + AUTHOR = "Zigmund Bluvband, Pavel Grabov", + TITLE = "Failure Analysis of FMEA", + JOURNAL = "IEEE 1-4244-2509-9/09/", + YEAR = "2009" +} +@ARTICLE{fmeda, + AUTHOR = "John C. Grebe Dr. William M. Goble", + TITLE = "FMEDA – Accurate Product Failure Metrics", + JOURNAL = "EXIDA publication. www.exida.com/articles/FMEDA\%20Development.pdf", + YEAR = "2007" +} +@ARTICLE{canspec, + AUTHOR = "Bosch.", + TITLE = "CAN Specification 2.0", + JOURNAL = "Bosch Technical Standard", + YEAR = "1991" +} + +@ARTICLE{caninauto, + AUTHOR = "H. Zeltwanger", + TITLE = "Single Processor implementation of the CANopen Safety Protocol", + JOURNAL = "CAN in Automation (CiA)", + YEAR = "2008" +} + +@ARTICLE{valueoflife, + AUTHOR = "W.K. Viscusi", + TITLE = "The value of life: Estimates with risks by occupation and industry", + JOURNAL = "Harvard John M. Olin Canter for Law ISSN 1045-6333", + YEAR = "2003" +} + + +@ARTICLE{crcembedd, + AUTHOR = "Philip Koopman, Tridib Chakravarty", + TITLE = "Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks", + JOURNAL = "The International Conference on dependable systems and networks DSN-2004", + YEAR = "2004" +} + +@ARTICLE{nucfta, + AUTHOR = "US Nuclear reg commission", + TITLE = "Fault Tree Handbook", + JOURNAL = "Nuclear Safety Analysis Handbook", + YEAR = "1981" +} + +@ARTICLE{nasafta, + AUTHOR = "NASA", + TITLE = "Fault Tree Handbook with Aerospace Applications", + JOURNAL = "NASA Handbook", + YEAR = "2002" +} + +@BOOK{embupsys, + TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9", + AUTHOR = "Stuart R Ball", + PUBLISHER = "Newnes", + YEAR = "2002" +} + +@BOOK{alggraph, + AUTHOR = "Alan Gibbons", + TITLE = "Algorithmic Graph Theory ISBN:978-0521288811 ", + PUBLISHER = "Cambridge University PressCambridge University Press", + YEAR = "1985" +} + +@BOOK{git, + AUTHOR = "Jon Loeliger", + TITLE = "Version Control with Git ISBN:978-0-596-52012-0", + PUBLISHER = "O'Reilly Media", + YEAR = "2009" +} + +@BOOK{ince, + AUTHOR = "D. C. Ince", + TITLE = "In Introduction to discrete Mathematics, Formal System specification and Z", + PUBLISHER = "Oxford University Press", + YEAR = "1992" +} + +@BOOK{safeware, + AUTHOR = "Nancy Leveson", + TITLE = "Safeware: System safety and Computers ISBN: 0-201-11972-2", + PUBLISHER = "Addison-Wesley", + YEAR = "2005" +} + +@BOOK{bfmea, + AUTHOR = "Robin E McDermot et all", + TITLE = "The Basics of FMEA ISBN: 0-527-76320-9", + PUBLISHER = "Productivity", + YEAR = "1996" +} + +@BOOK{mil1991, + AUTHOR = "United~States~DOD", + TITLE = "Reliability Prediction of Electronic Equipment", + PUBLISHER = "DOD", + YEAR = "1991" +} + + +@BOOK{faa, + AUTHOR = "Federal Aviation Administration", + TITLE = "System Safety Handbook", + PUBLISHER = "http://www.faa.gov/library/ manuals/aviation /risk\_management/ss\_handbook/", + YEAR = "2008" +} + + +@BOOK{sccs, + AUTHOR = "Neil~Storey", + TITLE = "Safety-Critical Computer Systems ISBN 0-201-42787-7", + PUBLISHER = "Prentice Hall", + YEAR = "1996" +} + + + + +@PHDTHESIS{maikowski, + AUTHOR = "Leo M Maikowski", + TITLE = "Toleranced Multiple Fault Diagnosis of Analog Circuits", + SCHOOL = " Brighton University, School of Electrical Engineering", + YEAR = "1995" +} + +@BOOK{sem, + AUTHOR = "J.~Woodcock,~Martin~Loomes", + TITLE = "Software Engineering Mathematics ISBN 0-273-02673-9", + PUBLISHER = "Pitman", + YEAR = "1988" +} + + + + +@BOOK{allfour, + AUTHOR = "Betty Tootell", + TITLE = "All Four Engines Have Failed ISBN 0-233-97758-9", + PUBLISHER = "Andre deutsch", + YEAR = "1985" +} + + +@BOOK{f77, + AUTHOR = "A.~Balfour D.H.~Marwick", + TITLE = "Programming in Standard Fortran 77 ISBN 0-435-77486-7", + PUBLISHER = "Heinemann Educational Books", + YEAR = "1979" +} + +@BOOK{ctw, + AUTHOR = "Gregory~J.E.~Rawlins", + TITLE = "Compared to What ? An introduction to the analysis of algorithms ISBN 0-7167-8243-x", + PUBLISHER = "Computer Science Press", + YEAR = "1991" +} + + + +@BOOK{alg, + AUTHOR = "Alan~Gibbons", + TITLE = "Algorithmic Graph Theory ISBN 0-521-28881-9", + PUBLISHER = "Cambridge University Press", + YEAR = "1985" +} + +@BOOK{found, + AUTHOR = "Ian~Stewart, David~Tall", + TITLE = "The Foundations of Mathematics : ISBN 0-19-853165-6", + PUBLISHER = "Oxford University Press", + YEAR = "1977" +} + +@BOOK{shin, + AUTHOR = "Sun-Joo~Shin", + TITLE = "The Iconic Logic of Peirces Graphs", + PUBLISHER = "Bradford", + YEAR = "2002" +} + + +@BOOK{probstat, + AUTHOR = " M~R~Spiegel", + TITLE = "Probability and Statistics Second edition : SHCAUM'S : ISBN 0-07-135004-7", + PUBLISHER = "Oxford University Press", + YEAR = "1988" +} + +@BOOK{idmfssz, + AUTHOR = " D~C~Ince", + TITLE = " An Introduction to Discrete Mathematics, Formal System Specification and Z : Oxford : ISBN 0-19-853836-7", + PUBLISHER = "Oxford University Press", + YEAR = "1988" +} + + +@BOOK{wdycwopt, + AUTHOR = " Richard~P~Feynman", + TITLE = " What do you care what other people think: Harper Collins : ISBN 0-586-21855-6", + PUBLISHER = " harpercollins", + YEAR = "1988" +} + +@BOOK{joyofsets, + AUTHOR = " Keith~devlin", + TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6", + PUBLISHER = " Springer", + YEAR = "1993" +} + + +@MISC{microchip, + author = "Microchip", + title = "Microchip technology Inc. Home Page", + howpublished = "Available from http://www.microchip.com/", + year = "2009" +} + +@MISC{gnuplot, + author = "Various Open~source~Project", + title = "", + howpublished = "Available from http://www.gnuplot.info/", + year = "2005" +} + +@MISC{eulerviz, + author = "Peter~Rodgers, John~Howse, Andrew~Fish", + title = "Visualization of Euler Diagrams", + howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf", + year = "2005" +} + +@MISC{eulerprop, + author = "Peter~Rodgers, John~Howse, Gem~Stapleton", + title = "Properties of Euler Diagrams", + howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/", + year = "2007" +} + +@MISC{en161, + author = "E N Standard", + title = "EN161:2007 Automatic shutoff valves for gas burners and gas appliances", + howpublished = "British standards Institution http://www.bsigroup.com/", + year = "2003" +} + +@MISC{en298, + author = "E N Standard", + title = "EN298:2003 Gas Burner Controllers with forced draft", + howpublished = "British standards Institution http://www.bsigroup.com/", + year = "2003" +} + +@MISC{en60730, + author = "E N Standard", + title = "EN60730: Automatic Electrical controls for household and similar use", + howpublished = "British standards Institution http://www.bsigroup.com/", + year = "1994" +} + +@MISC{challenger, + author = "U.S. Presidential Commission", + title = "Report of the SpaceShuttle Challanger Accident", + howpublished = "Available from http://science.ksc.nasa.gov/shuttle/missions/51-l/docs/rogers-commission/table-of-contents.html", + year = "1986" +} + +@MISC{en61508, + author = "E N Standard", + title = "EN61508:2002 Functional safety of electrical/electronic/programmable electronic safety related systems", + howpublished = "British standards Institution http://www.bsigroup.com/", + year = "2002" +} + +@MISC{javaarea, + author = "Sun~Micro~Systems", + title = "Java Area Operations", + howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html", + year = "2000" +} + + +@Manual{tlp181, + title = {TLP 181 Datasheet}, + key = {TOSHIBA Photocoupler GaAs Ired and Photo−Transistor}, + author = {Toshiba inc.}, + OPTorganization = {}, + address = {http://www.toshiba.com/taec/ components2/Datasheet\_Sync//206/4191.pdf}, + OPTedition = {}, + OPTmonth = {}, + year = {2009}, +OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, +OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + + + + +@Manual{pic18f2523, + title = {PIC18F2523 Datasheet}, + OPTkey = {}, + author = {Microchip inc}, + OPTorganization = {}, + address = {http://ww1.microchip.com/downloads/en/DeviceDoc/39755c.pdf}, + OPTedition = {}, + OPTmonth = {}, + year = {2009}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + + +@Book{wt, + title = {Water Treatment Essentials for Boiler Plant Operation}, + publisher = {Mc Graw Hill ISBN 0-07-048291-5}, + year = {1997}, + author = {Robert G Nunn}, + ALTALTeditor = {}, + OPTkey = {}, + OPTvolume = {}, + OPTnumber = {}, + OPTseries = {}, + OPTaddress = {}, + OPTedition = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {ISBN 0-07-048291-5}, + OPTlocalfile = {}, + OPTabstracts = {}, +} + + +@TechReport{spiraxsarco, + author = {Spirax Sarco}, + title = {http://www.spiraxsarco.com/resources/steam-engineering-tutorials.asp}, + institution = {Spirax Sarco}, + year = {2010}, + OPTkey = {}, + OPTtype = {}, + OPTnumber = {}, + OPTaddress = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + +@Book{aoe, + title = {The Art of Electronics}, + publisher = {Cambridge}, + year = {1989}, + author = {Paul Horowitz, Winfield Hill}, + OPTkey = {}, + OPTvolume = {}, + OPTnumber = {}, + OPTseries = {}, + OPTaddress = {}, + OPTedition = {2nd}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {ISBN 0-521-37095-7}, + OPTlocalfile = {}, + OPTabstracts = {}, +} + + +@TechReport{eurothermtables, + author = {Eurotherm Ltd.}, + title = {Thermocouple Emf TABLES and PLATINUM 100 RESISTANCE THERMOMETER TABLES}, + institution = {Eurotherm, UK}, + year = {1973}, + OPTkey = {}, + OPTtype = {}, + OPTnumber = {}, + OPTaddress = {}, + OPTmonth = {June}, + OPTnote = {Bulletin TT-1}, + OPTannote = {}, + OPTurl = {}, + OPTdoi = {}, + OPTissn = {}, + OPTlocalfile = {}, + OPTabstract = {}, +} + + +@Book{ldd, +author = {Jonathon Corbet}, +ALTeditor = {Alessandro Rubini}, +ALTeditor = {Greg Kroah-Hartman}, +title = {Linux Device Drivers}, +publisher = {O'Reilly ISBN 0-596-00590-3}, +year = {1998}, +OPTkey = {ISBN 0-596-00590-3}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {linux}, +OPTaddress = {}, +OPTedition = {3rd}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + + +@Book{bash, +author = {Carl Albing}, +title = {Bash Cookbook}, +publisher = {O'Reilly ISBN 0-596-52678-4}, +year = {2007}, +OPTkey = {ISBN 0-596-52678-4}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {unix/linux}, +OPTaddress = {}, +OPTedition = {}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{sedawk, +author = {Dale Dougherty, Arnold Robbins}, +title = {Sed and Awk}, +publisher = {O'Reilly ISBN 1-56592-225-5}, +year = {1997}, +OPTkey = {ISBN 1-56592-225-5}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {unix/linux}, +OPTaddress = {}, +OPTedition = {}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{bels, +author = {Karim Yaghmour}, +title = {Building Embedded LINUX systems}, +publisher = {O'Reilly ISBN ISBN 0-596-00222-X}, +year = {2003}, +OPTkey = {ISBN 0-596-00222-X}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {linux}, +OPTaddress = {}, +OPTedition = {3rd}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.oreilly.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{can, +author = {Olaf Pfeiffer}, +ALTeditor = {Andrew Ayre}, +ALTeditor = {Christian Keydel}, +title = {Embedded networking with CAN and CANopen}, +publisher = {RTC ISBN 0-929392-78-7}, +year = {2003}, +OPTkey = { }, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {Embedded Systems}, +OPTaddress = {}, +OPTedition = {1st}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {www.rtcbooks.com}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Article{article, +author = {dd}, +title = {dd}, +journal = {dd}, +year = {2008}, +OPTkey = {}, +OPTvolume = {}, +OPTnumber = {}, +OPTpages = {1,2}, +OPTmonth = {JAN}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + +@Book{sqlite, +author = {Micheal Owens}, +title = {The definitive guide to SQLite}, +publisher = {Apres ISBN 1-59059-673-0}, +year = {2006}, +OPTkey = {}, +OPTvolume = {}, +OPTnumber = {}, +OPTseries = {Databases/SQLite}, +OPTaddress = {}, +OPTedition = {}, +OPTmonth = {}, +OPTnote = {}, +OPTannote = {}, +OPTurl = {}, +OPTdoi = {}, +OPTissn = {}, +OPTlocalfile = {}, +OPTabstract = {} +}; + diff --git a/papers/software_fmea/software_fmea.tex b/papers/software_fmea/software_fmea.tex index a4a0ea3..b2f0ec2 100644 --- a/papers/software_fmea/software_fmea.tex +++ b/papers/software_fmea/software_fmea.tex @@ -1,35 +1,184 @@ +%%% OUTLINE - -Software FMEA - - -No known method of software failure mode effects analysis--- some work has been done on -Sofware FTA a top down approach--- -Bottom up approach means all known failure modes must be modelled. -SIL does not have metric or tools to analyse software for saefty, -it instead applies best practises and constraints on computer language features (i.e. -in C limited use of pointers no recursion etc). - - -Introduce concept of FMEA -* bottom up -* all failure modes for all componnts - -Concept of FMMD - -Look at the structure of software -* a natural hierarchy - -Software written for a controlled -Contract programming -* describe concept -* describe how this fits in with failure modes and failure symptoms concepts - -Describe how contract programming represents the failure modes of software - -Now describe how this fis in with the structure of FMMD +% Software FMEA +% +% +% Glaring hole in approvals FMEA is performed on hardware +% and electronics, but with software we only get guidlines ( which mostly consist of constraints!) +% +% No known method of software failure mode effects analysis--- some work has been done on +% Sofware FTA a top down approach--- +% Bottom up approach means all known failure modes must be modelled. +% SIL does not have metric or tools to analyse software for safety, +% it instead applies best practises and constraints on computer language features (i.e. +% in C limited use of pointers no recursion etc). +% +% +% Introduce concept of FMEA +% * bottom up +% * all failure modes for all componnts +% +% Concept of FMMD +% +% Look at the structure of software +% * a natural hierarchy +% +% Software written for a controlled +% Contract programming +% * describe concept +% * describe how this fits in with failure modes and failure symptoms concepts +% +% Describe how contract programming represents the failure modes of software +% +% Now describe how this fits in with the structure of FMMD +\documentclass[twocolumn]{article} +%\documentclass[twocolumn,10pt]{report} +\usepackage{graphicx} +\usepackage{fancyhdr} +\usepackage{tikz} +\usepackage{amsfonts,amsmath,amsthm} +\usetikzlibrary{shapes.gates.logic.US,trees,positioning,arrows} +%\input{../style} +\usepackage{ifthen} +\usepackage{lastpage} +\usetikzlibrary{shapes,snakes} +\newcommand{\tickYES}{\checkmark} +\newcommand{\fc}{fault~scenario} +\newcommand{\fcs}{fault~scenarios} +\date{} +%\renewcommand{\encodingdefault}{T1} +%\renewcommand{\rmdefault}{tnr} +%\newboolean{paper} +%\setboolean{paper}{true} % boolvar=true or false + +\newcommand{\oc}{\ensuremath{^{o}{C}}} +\newcommand{\adctw}{{${\mathcal{ADC}}_{12}$}} +\newcommand{\adcten}{{${\mathcal{ADC}}_{10}$}} +\newcommand{\ohms}[1]{\ensuremath{#1\Omega}} +\newcommand{\fg}{functional~group} +\newcommand{\fgs}{functional~groups} +\newcommand{\dc}{derived~component} +\newcommand{\dcs}{derived~components} +\newcommand{\bc}{base~component} +\newcommand{\bcs}{base~components} +\newcommand{\irl}{in real life} +\newcommand{\enc}{\ensuremath{\stackrel{enc}{\longrightarrow}}} +\newcommand{\pin}{\ensuremath{\stackrel{pi}{\longleftrightarrow}}} +%\newcommand{\pic}{\em pure~intersection~chain} +\newcommand{\pic}{\em pair-wise~intersection~chain} +\newcommand{\wrt}{\em with~respect~to} +\newcommand{\abslevel}{\ensuremath{\Psi}} +\newcommand{\fmmdgloss}{\glossary{name={FMMD},description={Failure Mode Modular De-Composition, a bottom-up methodolgy for incrementally building failure mode models, using a procedure taking functional groups of components and creating derived components representing them, and in turn using the derived components to create higher level functional groups, and so on, that are used to build a failure mode model of a system}}} +\newcommand{\fmodegloss}{\glossary{name={failure mode},description={The way in which a failure occurs. A component or sub-system may fail in a number of ways, and each of these is a +failure mode of the component or sub-system}}} +\newcommand{\fmeagloss}{\glossary{name={FMEA}, description={Failure Mode and Effects analysis (FMEA) is a process where each potential failure mode within a system, is analysed to determine system level failure modes, and to then classify them {\wrt} perceived severity}}} +\newcommand{\frategloss}{\glossary{name={failure rate}, description={The number of failure within a population (of size N), divided by N over a given time interval}}} +\newcommand{\pecgloss}{\glossary{name={PEC},description={A Programmable Electronic controller, will typically consist of sensors and actuators interfaced electronically, with some firmware/software component in overall control}}} +\newcommand{\bcfm}{base~component~failure~mode} +\def\layersep{1.8cm} + +\newboolean{pld} +\setboolean{pld}{false} % boolvar=true or false : draw analysis using propositional logic diagrams + +\newboolean{dag} +\setboolean{dag}{true} % boolvar=true or false : draw analysis using directed acylic graphs + +\setlength{\topmargin}{0in} +\setlength{\headheight}{0in} +\setlength{\headsep}{0in} +\setlength{\textheight}{22cm} +\setlength{\textwidth}{18cm} +\setlength{\oddsidemargin}{0in} +\setlength{\evensidemargin}{0in} +\setlength{\parindent}{0.0in} +\setlength{\parskip}{6pt} + +\begin{document} +%\pagestyle{fancy} +%\fancyhf{} +%\fancyhead[LO]{} +%\fancyhead[RE]{\leftmark} + +%\cfoot{Page \thepage\ of \pageref{LastPage}} +%\rfoot{\today} +%\lhead{Developing a rigorous bottom-up modular static failure mode modelling methodology} +%\lhead{Developing a rigorous bottom-up modular static failure modelling methodology} + % numbers at outer edges +\pagenumbering{arabic} % Arabic page numbers hereafter +\author{R.Clark$^\star$ \\ % , A.~Fish$^\dagger$ , C.~Garrett$^\dagger$, J.~Howse$^\dagger$ \\ + $^\star${\em Energy Technology Control, UK. r.clark@energytechnologycontrol.com} \and $^\dagger${\em University of Brighton, UK} +} + +%\title{Developing a rigorous bottom-up modular static failure mode modelling methodology} +\title{Applying FMEA to Software} +%\nodate +\maketitle + +\paragraph{Keywords:} static failure mode modelling safety-critical +%\small + +\abstract{ \em +%The certification process of safety critical products for European and +%other international standards often demand environmental stress, +%endurance and Electro Magnetic Compatibility (EMC) testing. Theoretical, or 'static testing', +%is often also required. +% +Failure Mode Effects Analysis (FMEA), is a is a bottom-up technique that aims to assess the effect all +component failure modes on a system. +It is used both as a design tool (to determine weakness), and is a requirement of certification of safety critical products. +FMEA has been successfully applied to mechanical, electrical and hybrid electro-mechanical systems. + +At present no known technique for Software FMEA exists. +Standards~\cite{en298}~\cite{en61508} that use FMEA +do not specify it for Software, but do specify, good practise, +review processes and language feature constraints. +Software gnerally, sits on top of most safety critical control systems +and +This is a weakness; if software FMEA were possible electro-mechanical-software hybrids could +be modelled. + +This paper presents an FMEA methodology which can be applied to software, and is compatible +and integrate-able with FMEA performed on mechanical and electronic systems. +} + +\section{Introduction} +{ +This paper describes and appraises four current failure modelling methodologies. +Their advantages and deficiencies are discussed and a desirable criteria list +for an `ideal' static failure mode methodology is developed. +A proposed +methodology is then described. % and discussed. +A worked example is then presented, using the new methodology, which models the failure mode +behaviour of a non-inverting op-amp circuit. +Using the worked example the new methodology is evaluated. +Finally the desirable criteria list is presented as a check box table alongside +four current methodologies. +} + +\subsection{Evaluation of FMMD} + +%\clearpage +\section{Conclusion} + + +\paragraph{Future work} +\begin{itemize} +\item To provide bounds on the size of the state space for the application of the methodology to certain classes of systems. +\item To build a {\dcs} library of common electrical, mechanical and software models (i.e. a collection of worked example {\dcs}). +\item To provide formal generic translations from the constructed model of any given system to the other models. +\end{itemize} +%\today +% +{ %\tiny %\footnotesize +\bibliographystyle{plain} +\bibliography{vmgbibliography,mybib} +} + +%\today +\end{document} + diff --git a/papers/software_fmea/vmgbibliography.bib b/papers/software_fmea/vmgbibliography.bib new file mode 100644 index 0000000..3d8657b --- /dev/null +++ b/papers/software_fmea/vmgbibliography.bib @@ -0,0 +1,1756 @@ +% $Id: vmgbibliography.bib,v 1.1 2008/08/29 16:26:03 robin Exp $ + +% bib file from vmg group +% emailed from Andrew Fish late May 2007 + + +@CONFERENCE{stapleton:inivlacsued, + author = {G.~Stapleton and J.~Masthoff}, + title = {Incorporating Negation into Visual Logics: A Case Study Using {E}uler Diagrams}, + booktitle = {Submitted to Visual Languages and Computing 2007}, + year = {2007} +} + + + +@ARTICLE{stapleton:atpieds, + AUTHOR = "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern", + TITLE = "Automated Theorem Proving in {E}uler Diagrams Systems", + JOURNAL = "Accepted for Journal of Automated Reasoning", + YEAR = "to appear 2007" +} + +@ARTICLE{stapleton:teacosdawc, + AUTHOR = "G. Stapleton and J. Taylor and J. Howse and S. Thompson", + TITLE = "The Expressiveness and Completeness of Spider Diagrams Augmented with Constants", + JOURNAL = "Submitted to Formal Aspects of Computing", + YEAR = "2005" +} + +@ARTICLE{stapleton:vfol, + AUTHOR = "G.~Stapleton and A.~Fish and S.~Thompson and J.~Howse and S.~Thompson", + TITLE = "Visual First Order Logic", + JOURNAL = "Submitted to Journal of Symbolic Logic", + YEAR = "2006", +} + + + +%%%%%%%%%%%%%%%%%%%%%%% WEB SITES ONLY %%%%%%%%%%%%%%%%%%%% + +@MISC{dau:website, + author = {{F.~Dau}}, + howpublished = "{http://www.dr-dau.net/eg\_readings.shtml}", + year = "2006" +} + +@MISC{diagrams:website, + author = "S.J.~Shin \and O.~Lemon", + title = "Stanford Enyclopedia of Philosophy: Diagrams", + howpublished = "http://plato.stanford.edu/entries/diagrams/", + year = "2001" +} + +@MISC{puml, + author = {{The Precise UML Group}}, + howpublished = {http://www.cs.york.ac.uk/puml/index.html}, + year = {1997} +} + +@MISC{rwd, + author = {{Reasoning with Diagrams}}, + howpublished = "http://www.cs.kent.ac.uk/projects/rwd/", + year = "2006" +} + +@MISC{uml, + author = {{Unified Modelling Language}}, + howpublished = "http://www.uml.org/", + year = "2006" +} + + +@MISC{visualocl, + author = {{VisualOCL: Editor plugin for Eclipse}}, + howpublished = "http://tfs.cs.tu-berlin.de/vocl/", + year = "2004" +} + +@MISC{vmg:website, + author = {{Visual Modelling Group}}, + howpublished = "http://www.cmis.bton.ac.uk/research/vmg", + year = "2006" + +} + + + +@ARTICLE{akehurst:aratdattim, + AUTHOR = "D.~Akehurst and S.~Kent and O.~Patrascoiu", + TITLE = "A Relational Approach to Defining and Implementing Transformations in Metamodels", + JOURNAL = "Journal of Software and Systems Modeling", + volume = "2", + number = "4", + pages = "215-239", + month = "December", + YEAR = "2003" +} + + +@ARTICLE{howse:spider, + AUTHOR = "John Howse, Gem Stapleton and John Taylor", + TITLE = "Spider Diagrams", + JOURNAL = "London Mathematical Society", + volume = "8", + number = "0", + pages = "145-194", + month = "December", + YEAR = "2005" +} + +@conference{akehurst:o2.0its, + author = "D.~Akehurst and P.~Linington and O.~Patrascoiu", + booktitle = "Technical Report", + title = "OCL 2.0: Implementing the Standard", + year = 2003 +} + +@conference{akehurst:oits, + author = "D.~Akehurst and O.~Patrascoiu", + title = "{OCL}: Implementing the Standard", + pages = "19", + booktitle = "OCL2.0-Industry standard or scientific playground?, Proceedings of the UML'03 workshop", + series = "ENTCS", + year = "2003" +} + +@conference{akehurst:tmwpao, + author = "D.~Akehurst and O.~Patrascoiu", + booktitle = "Proceedings of the Metamodelling for MDA Workshop", + title = "Tooling Metamodels with Patterns and {OCL}", + year = "2003" +} + + + + +@BOOK{armstrong:bt, + AUTHOR = "M.~Armstrong", + TITLE = "Basic Topology", + PUBLISHER = "Springer-Verlag", + YEAR = "1979" +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BBBBB %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@BOOK{barwise:h, + AUTHOR = "J.~Barwise and J.~Etchemendy", + TITLE = "Hyperproof", + PUBLISHER = "CSLI Press", + YEAR = "1994" +} + + +@INCOLLECTION{barwise:hlrwd, + AUTHOR = "J.~Barwise and J.~Etchemendy", + booktitle = "Reasoning with Diagrammatic Representations", + editor= "B.~Chandrasekaran and H.~Simon ", + title = "Hyperproof: Logical Reasoning with Diagrams", + pages = "80-84", + PUBLISHER = "AAAI press", + YEAR = "1992" +} + + +@incollection{barwise:datcols, + author = "J.~Barwise and E.~Hammer ", + publisher = "Oxford University Press", + title = "Diagrams and the Concept of Logical System", + booktitle = "Logical Reasoning with Diagrams", + editor = "G.~Allwein and J.~Barwise", + year = 1996 +} + +@INCOLLECTION{barwise:vivr, + AUTHOR = "J.~Barwise and J.~Etchemendy", + TITLE = "Visual Information and Valid Reasoning", + BOOKTITLE = "Logical Reasoning with Diagrams", + PUBLISHER = "Oxford University Press", + YEAR = "1996", + editor = "G.~Allwein and J.~Barwise", + pages = "3-25" +} + + +@BOOK{battista:gdaftvog, + AUTHOR = "G.~Di~Battista and P.~Eades and R.~Tamassia and I.~G.~Tollis", + TITLE = "Graph Drawing: Algorithms for the visualization of graphs", + PUBLISHER = "Prentice Hall", + YEAR = "1999", + isbn = "0-13-301615-3" +} + + +@CONFERENCE{benoy:etcoed, + author = {F.~Benoy and P.~Rodgers}, + title = {Evaluating the Comprehension of {E}uler Diagrams}, + booktitle = {Euler Diagrams 2005}, + year = {2006} +} + + +@CONFERENCE{bertault:dhitss, + author = {F.~Bertault and P.~Eades.}, + title = {Drawing hypergraphs in the subset standard}, + booktitle = {Proceedings of the 8th International Symposium on Graph Drawing}, + year = {2000}, + volume = {1984}, + series = {LNCS}, + pages = {164 - 169}, + publisher = {Springer Verlag} +} + + +@BOOK{biggs:gt17361936, + AUTHOR = "N.~Biggs and E.~Lloyd and R.~Wilson.", + TITLE = "Graph Theory 1736-1936", + PUBLISHER = "Oxford University Press", + YEAR = "1976" +} + +@BOOK{blackett:et, + AUTHOR = "D.~Blackett", + TITLE = "Elementary Topology", + PUBLISHER = "Academic Press", + YEAR = "1983" +} + +@conference{blackwell:acdqofu, + author = "A.~Blackwell and T.~Green", + booktitle = "Proceedings of 12th Workshop on the Psychology of Programming Interest Group", + publisher = "", + pages = "137--154", + title = "A Cognitive Dimensions Questionnaire Optimised for Users", + year = 2000 +} + +@BOOK{borger:tcdp, + AUTHOR = "E.~Borger and E.~Gradel and E.~Gurevich", + TITLE = "The Classical Decision Problem", + PUBLISHER = "Springer-Verlag", + YEAR = "1997" +} + +@CONFERENCE{bosworth:taapsfs, + author = {P.~Bosworth}, + title = {Towards an Automatic Proof System for Scalecharts}, + booktitle = {Proceedings of Diagrams 2004, Cambridge, UK}, + year = {2004}, + series = {LNAI}, + pages = {227-229}, + month = {March}, + publisher = {Springer-Verlag} +} + +@conference{bottoni:avoouc, + author = {P.~Bottoni and M.~Koch and F.~Parisi-Presicce and G.~Taentzer}, + title = {A Visualization of {OCL} using Collaborations}, + booktitle = {UML 2001 -- The Unified Modeling Language}, + editor = {Gogolla, M. and Kobryn, C.}, + publisher = {Springer}, + series = {LNCS 2185}, + pages = {257 -- 271}, + year = 2001 +} + +@CONFERENCE{bovey:maaatug, + author = {J.~Bovey and P.~Rodgers and F.~Benoy}, + title = {Movment as an Aid to Understanding Graphs}, + booktitle = {Seventh International Conference on Information Visualization}, + year = {2003}, + pages = {472-478}, + month = {July}, + publisher = {IEEE} +} + + + +@ARTICLE{bultena:vdwfv, + AUTHOR = "B.~Bultena and F.~Ruskey", + TITLE = "{V}enn Diagrams with Few Vertices", + JOURNAL = "Electronic Journal of Combinatorics", + YEAR = "1998", + pages = "1--21", + volume = "5" +} + +@ARTICLE{bundy:avmd, + AUTHOR = "A.~Bundy", + TITLE = "A Very Mathematical Dilemma", + JOURNAL = "The Computer Journal", + YEAR = "2006", + volume = "49", + number = "4", + pages = "480--486" +} + + +@BOOK{burris:lfmacs, + AUTHOR = "S.~Burris", + TITLE = "Logic for Mathematics and Computer Science", + PUBLISHER = "Prentice Hall", + YEAR = "1998" +} + + + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CCCCCCCCC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@article{cheng:csatudr, + author ="P.~Cheng and R.~Lowe and M.~Scaife", + title ="Cognitive Science Approaches To Understanding Diagrammatic Representations", + journal ="Artificial Intelligence Review", + volume ="15", + number ="16", + pages ="79--94", + year ="2001" +} + +@conference{cheng:csatudr:2, + author ="P. Cheng and R. Lowe and M. Scaife", + booktitle ="Proceedings of 1st International Conference, Diagrams 2000", + pages ="", + year = "2000", + series = "LNAI", + title = "Cognitive Science Approaches To Understanding Diagrammatic Representations", + publisher = "Springer-Verlag" +} + + +@CONFERENCE{chiara:asfvdued, + author = {R.~DeChiara and U.~Erra and V.~Scarano.}, + title = {A System for Virtual Directories Using {E}uler Diagrams}, + booktitle = {Proceedings of Euler Diagrams 04}, + year = {2005}, + volume = {134}, + series = {Electronic Notes in Theoretical Computer Science}, + pages = {33–-53} +} + +@CONFERENCE{chiara:vavdfm, + author = {R.~DeChiara and U.~Erra and V.~Scarano.}, + title = {Venn{FS}: A {V}enn Diagram file manager}, + booktitle = {Proceedings of Information Visualisation}, + year = {2003}, + pages = {120-–126}, + publisher = {IEEE Computer Society} +} + +@CONFERENCE{choudhury:oevdbanoi, + author = {L.~Choudhury and M.~K.~Chakraborty}, + title = {On Extending {V}enn Diagrams by Augmenting Names of Individuals}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + year = {2004}, + series = {LNAI}, + volume = {2980}, + pages = {142-146}, + month = {March}, + publisher = {Springer-Verlag} +} + +@CONFERENCE{chow:capvaedwtc, + author = {S.~Chow and P.~Rodgers}, + title = {Constructing Area-Proportional {V}enn and {E}uler Diagrams with Three Circles}, + booktitle = {Proceedings of {E}uler Diagrams 2005}, + year = {2005} +} + +@CONFERENCE{chow:dapvaed, + author = {S.~Chow and F.~Ruskey}, + title = {Drawing Area-Proportional {V}enn and {E}uler Diagrams}, + booktitle = {Proceedings of Graph Drawing 2003, Perugia, Italy}, + year = {2003}, + series= {LNCS}, + volume = {2912}, + pages = {466-477}, + month = {September}, + publisher = {Springer-Verlag} +} + +@CONFERENCE{chow:tagstdaped, + author = {S.~Chow and F.~Ruskey}, + title = {Towards a General Solution to Drawing Area-Proportional {E}uler Diagrams}, + booktitle = {Proceedings of {E}uler Diagrams}, + year = {2005}, + volume = {134}, + pages = {3--18}, + series = {ENTCS} +} + + + + +@CONFERENCE{clark:fmmdcusd, + author = {R.~Clark}, + title = {Failure Mode Modular De-Composition Using Spider Diagrams}, + booktitle = {Proceedings of Euler Diagrams 2004}, + year = {2005}, + volume = {134}, + series = {Electronic Notes in Theoretical Computer Science}, + pages = {19–-31} +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% DDDDDDD %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@ARTICLE{dechter:gbfssatooa, + AUTHOR = "R.~Dechter and J.~Pearl", + TITLE = "Generalized Best-First Search Strategies and the Optimality of A*", + JOURNAL = "Journal of the Association for Computing Machinery, 32(3):505–536", + volume = "32", + number = "3", + pages = "505-536", + YEAR = "1985" +} + +@BOOK{dreben:tdpscoqf, + AUTHOR = "B.~Dreben and D.~Goldforb", + TITLE = "The Decision Problem. Solvable Classes of Quantificational Formulas", + PUBLISHER = "Addison Wesley Publishing Company Inc.", + YEAR = "1979" +} + +@CONFERENCE{dunndavies:psfaip, + author = {H.~Dunn-Davies and R.~Cunningham}, + title = {Propostional Statecharts for Agent Interaction Protocols}, + booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, + series = {ENTCS}, + year = {2005}, + volume = {134}, + pages = {55-75} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% EEEEEEE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@BOOK{ebbinghaus:fmt, + AUTHOR = "H.-D.~Ebbinghaus and J.~Flum.", + TITLE = "Finite Model Theory", + PUBLISHER = "Springer-Verlag", + YEAR = "1991" +} + +@misc{eloff:icadvd, + author = "J.~Eloff and L.~van Zijl", + title = "Incremental Construction and Drawing of {V}enn Diagrams", + note = "citeseer.ist.psu.edu/eloff00incremental.html", + year = 2000 +} + +@ARTICLE{euler:laupdsdsdpedp, + AUTHOR = "L.~Euler.", + TITLE = "Lettres a une Princesse d’Allemagne sur divers sujets de physique et de philosophie", + JOURNAL = "Letters", + YEAR = "1775", + volume = "2", + pages = "102--108", + note = "Berne, Socit Typographique" +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% FFFFFFF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{fish:aesitdrocd, + author = {A.~Fish and J.~Masthoff}, + title = {An Experimental Study into the Default Reading of Constraint Diagrams}, + booktitle = {Visual Languages and Human Centric Computing}, + year = {2005}, + pages = {287--289}, + address = {Dallas}, + month = {September}, + publisher = {IEEE} +} + +@CONFERENCE{fish:aoed, + author = {A.~Fish and J.~Flower}, + title = {Abstractions of {E}uler Diagrams}, + booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, + year = {2005}, + series = {ENTCS}, + volume = {134}, + pages = {77-101}, +} + +@conference{fish:arafcd, + author ="A.~Fish and J.~Flower, and J.~Howse", + title ="A Reading Algorithm for Constraint Diagrams", + booktitle ="IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand", + publisher ="IEEE", + month = "September", + pages = "161-168", + year =2003 +} + +@conference{fish:crtfcd, + author ="A.~Fish and J.~Howse", + title ="Computing Reading Trees for Constraint Diagrams", + booktitle ="AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September", + publisher ="Springer-Verlag", + pages ="260-274", + year =2003 +} + + +@TECHREPORT{fish:dmleodelmaesitdrocd, + AUTHOR = "A.~Fish and J.~Mashtoff", + TITLE = "Do Monkeys Like Elephants or Do Elephants like Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams", + INSTITUTION = "University of Brighton", + YEAR = "2005", + address = "\texttt{http://cmis.mis.brighton.ac.uk/research/vmg/publications}" +} + +@conference{fish:dedsow, + author = "A.~Fish and G.~Stapleton", + booktitle = "Proceedings of 4th International Conference on the Theory and Application of Diagrams", + address ="Stanford, USA", + pages = "109-111", + title = "Defining {E}uler Diagrams: Simple or What?", + publisher ="Springer", + year = 2006 +} + +@conference{fish:fiilbocc, + author = "A.~Fish and G.~Stapleton", + booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop + on Visual Languages and Computings", + address ="Grand Canyon, USA", + pages = "161-167", + title = "Formal Issues in Languages Based on Closed Curves", + publisher ="Knowledge Systems Institute", + year = 2006 +} + +@CONFERENCE{fish:hntded, + author = {A.~Fish and G.~Stapleton}, + title = {How Not to Define {E}uler Diagrams}, + booktitle = {Euler diagrams 2005}, + year = {2005} +} + +@CONFERENCE{fish:irwcd, + author = {A.~Fish and J.~Flower}, + title = {Investigating Reasoning with Constraint Diagrams}, + booktitle = {Visual Language and Formal Methods 2004}, + year = {2005}, + series = {ENTCS}, + volume = {127}, + publisher = {Elsevier}, + pages = {53-69}, + address = {Rome, Italy} +} + +@CONFERENCE{fish:tadrfcd, + author = {A.~Fish and J.~Howse}, + title = {Towards a Default Reading for Constraint Diagrams}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + pages = {51-65}, + month = {March}, + publisher = {Springer-Verlag} +} + + +@ARTICLE{fish:tsoacd, + AUTHOR = "A.~Fish and J.~Flower and J.~Howse", + TITLE = "The Semantics of Augmented Constraint Diagrams", + JOURNAL = "Journal of Visual Languages and Computing", + YEAR = "2005", + volume = "16", + issue = "6", + pages = "541-573" +} + +@conference{flower:atpwsd, + author ="J.~Flower and G.~Stapleton", + booktitle ="Proceedings of Computing: The Australasian Theory Symposium", + address ="Dunedin, New Zealand", + volume ="91", + series ="ENTCS", + publisher ="Science Direct", + title ="Automated Theorem Proving with Spider Diagrams", + pages ="116-132", + month ="January", + year = 2004 +} + +@conference{flower:avffmwhn, + author ="J.~Flower and J.~Howse and J.~Taylor and S.~Kent", + booktitle ="Proceedings of Human Centric Computing Languages and Environments", + publisher ="IEEE", + title ="A Visual Framework for Modelling with Heterogeneous Notations", + pages ="71-73", + year = 2002 +} + +@mastersthesis{flower:gcd, + author ="J.~Flower", + title ="Generating Constraint Diagrams", + year =2000, + school ="University of Brighton" +} + +@conference{flower:ged, + author = "J.~Flower and J.~Howse", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + address ="Georgia, USA", + publisher = "Springer-Verlag", + title = "Generating {E}uler Diagrams", + pages ="61-75", + month ="April", + year = 2002 +} + +@conference{flower:gpwsduh, + author = "J.~Flower and J.~Masthoff and G.~Stapleton", + booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop + on Visual Languages and Computing", + publisher = "Knowledge Systems Institute", + pages ="279-285", + title = "Generating Proofs with Spider Diagrams Using Heuristics", + year = 2004 +} + + + +@conference{flower:grpahattpwsd, +author = {J.~Flower and J.~Masthoff and G.~Stapleton}, +booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, +address = {Cambridge, UK}, +series= {LNAI}, +volume= {2980}, +publisher = {Springer}, +title = {Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams}, +pages = {166-181}, +year = 2004 +} + +@conference{flower:lmfed, + author ="J.~Flower and P.~Rodgers and P.~Mutton", + booktitle ="7th International Conference on Information Visualisation", + publisher ="IEEE Computer Society Press", + title ="Layout metrics for {E}uler Diagrams", + pages ="272-280", + year =2003 +} + + +@conference{flower:nied, + author ="J.~Flower and J.~Howse and J.~Taylor", + booktitle ="International Workshop on Graph Transformation and Visual Modeling Techniques", + publisher ="", + title ="Nesting in {E}uler Diagrams", + pages ="99-108", + year = 2002 +} + +@ARTICLE{flower:niedssac, + AUTHOR = "J.~Flower and J.~Howse and J.~Taylor", + TITLE = "Nesting in {E}uler diagrams: syntax, semantics and construction", + JOURNAL = "Software and Systems Modelling", + YEAR = "2004", + volume = "3", + pages = "55-67", + month = "March", + publisher= "Springer" + } + + + +%%%%%%%%%%%%%%%%%%%%%%%%%% GGGG %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@conference{gil:cdasbu, + author = "J.~Gil and J.~Howse and S.~Kent", + booktitle = "Proceedings of TOOLS USA 1999, Santa Barbara, California, USA", + publisher = "IEEE Computer Science Press", + title = "Constraint Diagrams: A step beyond {UML}", + pages = "453-463", + month = "August", + year = 1999 +} + +@conference{gil:fsd, + author = "J.~Gil and J.~Howse and S.~Kent", + booktitle = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo", + publisher = "IEEE Computer Society Press", + title = "Formalising Spider Diagrams", + pages = "130-137", + month ="September", + year = 1999 +} + +@conference{gil:pived, + author ="J.~Gil and J.~Howse and S.~Kent and J.~Taylor", + title ="Projections in {V}enn-{E}uler Diagrams", + booktitle ="Proc. IEEE Symposium on Visual Languages", + month ="September", + publisher ="IEEE Computer Society Press", + pages ="119--126", + year =2000 +} + + +@ARTICLE{gil:psop, + AUTHOR = "J.~Gil and J.~Howse and E.~Tulchinsky", + TITLE = "Positive semantics of projections", + JOURNAL = "Journal of Visual Languages and Computing", + YEAR = "2001", + volume = "13", + number = "2", + pages = "197-227", + month = "April" +} + + +@conference{gil:tafocd, + author ="J. Gil and J. Howse and S. Kent", + title ="Towards a formalization of constraint diagrams", + booktitle ="Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy", + publisher ="IEEE Computer Society Press", + month ="September", + pages ="72-79", + year =2001 +} + + +@misc{gil:tcde, + author ="J. Gil and Y. Sorkin", + title ="The Constraint Diagrams Editor", + note ="Available at www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/" +} + + +@conference{gil:tdsm, + AUTHOR = "J.~Gil and S.~Kent", + TITLE = "Three dimensional software modeling", + YEAR = "1998", + booktitle = "ICSE 98", + pages = "105--114", + publisher = "IEEE" +} + +@CONFERENCE{good:vplsanpchddlc, + author = {J.~Good}, + title = {{VPL}s and Novice Program Comprehension: How do Different Languages Compare?}, + booktitle = {15th IEEE Symposium on Visual Languages}, + year = {1999}, + pages = {262--269}, + publisher = {IEEE Computer Society Press} +} + +@BOOK{greaves:tpsod, + AUTHOR = "M.~Greaves", + TITLE = "The Philosophical Status of Diagrams", + PUBLISHER = "CSLI Publications", + YEAR = "2002" +} + +@misc{gurr:todrdcp, + author ="C. Gurr and J. Lee and K. Stenning", + title ="Theories of diagrammatic reasoning: Distinguishing component problems", + howpublished="Minds and Machines", + pages ="533--557", + year =1998 +} + +@CONFERENCE{gurr:ttpdosed, + author = {C.~Gurr and K.~Tourlas}, + title = {Towards the Principled Design of Software Engineering Diagrams}, + booktitle = {Proceedings of 22nd International Conference on Software Engineering}, + year = {2000}, + pages = {509--518}, + publisher = {ACM Press} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% HHHHH %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@ARTICLE{hammer:evl, + AUTHOR = "E.~Hammer and S.~J.~Shin", + TITLE = "Euler's Visual Logic", + JOURNAL = "History and Philosophy of Logic", + YEAR = "1998", + pages = "1-29" +} + +@book{hammer:lavi, + author = "E. Hammer", + publisher = "CSLI Publications", + title = "Logic and Visual Information", + year = 1995 +} + + +@INCOLLECTION{hammer:tamtofd, + AUTHOR = "E. Hammer and N. Danner", + TITLE = "Towards a model theory of {V}enn diagrams", + BOOKTITLE = "Logical Reasoning with Diagrams", + PUBLISHER = "Oxford University Press", + YEAR = "1996", + editor = "G.~Allwein and J.~Barwise", + pages = "109-127" +} + +@ARTICLE{hammer:tamtovd:02, + AUTHOR = "E.~Hammer and N.~Danner", + TITLE = "Towards a model theory of {V}enn diagrams", + JOURNAL = "Journal of Philosophical Logic", + YEAR = "1996", + volume = "25", + number = "4", + pages = "463-482" +} + + + + +@conference{harel:ovf, + author ="D. Harel", + title ="On visual formalisms", + booktitle ="Diagrammatic Reasoning", + editor ="J. Glasgow and N. H. Narayan and B. Chandrasekaran", + publisher ="MIT Press", + pages ="235--271", + year =1998 +} + +@CONFERENCE{hayes:ckcio, + author = {P.~Hayes and T.~Eskridge and R.~Saavedra and T.~Reichherzer and M.~Mehrotra and D.~Bobrovnikoff}, + title = {Collaborative Knowledge Capture in Ontologies}, + booktitle = {Proceedings of the 3rd International Conference on Knowledge Capture}, + year = {2005}, + pages = {99-106} +} + + + +@conference{hegarty:ditmaitwrbiaev, + author = {M. Hegarty}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher = {Springer}, + title = {Diagrams in the Mind and in the World: Relations between Internal and External Visualizations}, + pages = {1--13}, + year = 2004 +} + +@conference{howse:asacdrs, + author ="J. Howse and F. Molina and J. Taylor", + title ="A sound and complete diagrammatic reasoning system", + booktitle ="Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing", + address ="Banff", + publisher ="IASTED/ACTA Press", + pages ="402-408", + year =2000 +} + +@conference{howse:cried, + author = "J. Howse and G. Stapleton and J. Flower and J. Taylor", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + publisher = "Springer", + address = "Georgia, USA", + title = "Corresponding Regions in {E}uler Diagrams", + pages ="76-90", + month ="April", + year = 2002 +} + +@conference{howse:odtat, + author = "J. Howse and F. Molina and S-J. Shin and J. Taylor", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + publisher = "Springer", + address = "Georgia, USA", + publisher = "Springer", + title = "On Diagram Tokens and Types", + pages ="146-160", + month ="April", + year = 2002 +} + +@conference{howse:otcaeosds, + author = "J. Howse and F. Molina and J. Taylor", + booktitle = "Proceedings of 1st International Conference on the Theory and Application of Diagrams", + publisher = "Springer", + address = "Edinburgh, UK", + title = "On the completeness and expressiveness of spider diagram systems", + pages = "26-41", + month = "September", + year = 2000 +} + +@ARTICLE{howse:pvm, + AUTHOR = "J.~Howse and S.~Schuman", + TITLE = "Precise Visual Modelling", + JOURNAL = "Journal of Software and Systems Modeling", + volume = "4", + issue = "3", + pages = "310-325", + YEAR = "2005" +} + +@conference{howse:rwsd, + author = "J. Howse and F. Molina and J. Taylor and S. Kent", + booktitle = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo", + publisher = "IEEE Computer Society Press", + title = "Reasoning with Spider Diagrams", + pages = "138-147", + month = "September", + year` = 1999 +} + +@conference{howse:sasacdrs, + author = "J. Howse and F. Molina and J. Taylor", + booktitle = "Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, USA", + publisher = "IEEE Computer Society Press", + title = "{SD2}: A sound and complete diagrammatic reasoning system", + pages = "127-136", + year = 2000 +} + +@ARTICLE{howse:sd, + author = {J.~Howse and G.~Stapleton and J.~Taylor.}, + title = {Spider Diagrams}, + JOURNAL = {LMS Journal of Computation and Mathematics}, + volume = {8}, + pages = {145--194}, + year = {2005} +} + +@article{howse:sdadrs, + author ="J. Howse and F. Molina and J. Taylor and S. Kent and J. Gil", + title ="Spider Diagrams: A Diagrammatic Reasoning System", + journal ="Journal of Visual Languages and Computing", + volume ="12", + number ="3", + month ="June", + pages ="299--324", + year =2001 +} + +@conference{howse:tsatsids, + author ="J. Howse and F. Molina and S-J. Shin and J. Taylor", + booktitle ="Proceedings FOIS-2001: 2nd International Conference on + Formal Ontology in Information Systems, Maine, USA", + publisher ="ACM Press", + title ="Type-syntax and Token-syntax in Diagrammatic Systems", + pages ="174--185", + year = 2001 +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JJJJJJJJJJ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@BOOK{jamnik:mrwd, + AUTHOR = "M.~Jamnik", + TITLE = "Mathematical Reasoning with Diagrams", + PUBLISHER = "CSLI", + YEAR = "2001", +} + +@CONFERENCE{jamnik:aodr, + author = {M.~Jamnik and A.~Bundy and I.~Green}, + title = {Automation of Diagrammatic Reasoning}, + booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence}, + year = {1997}, + volume = {1}, +pages = {528--533}, + publisher = {Morgan Kaufmann Publishers}, +} + + + +@conference{john:etnocied, + author = "Chris John and Andrew Fish and John Howse and John Taylor", + booktitle = "Accepted for the 4th International Conference on the Theory and Application of Diagrams", + pages = "267-282", + address ="Stanford, USA", + title = "Exploring the notion of Clutter in {E}uler diagrams", + publisher ="Springer", + year = 2006 +} + +@conference{john:pcied, + author ="C.~John", + booktitle ="{E}uler Diagrams 2004", + volume = "134", + series = "ENTCS", + title ="Projected Contours in {E}uler Diagrams", + pages ="103--126", + year =2005 +} + +@conference{john:rwpc, + author ="C.~John", + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher ="Springer", + title ="Reasoning with Projected Contours", + pages ="147-150", + year =2004 +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%% KKKKKKK %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@conference{kent:cdviioom, +author = "S. Kent", +title = "Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling", +month = "October", +year = "1997", +pages = "327-341", +booktitle = "Proceedings of OOPSLA97", +publisher = "ACM Press" +} + +@incollection{kent:ctiaiomwo, + author = "S. Kent and J. Howse", + title = "Constraint trees. In Advances in object modelling with {OCL}", + Editors = "A Clark and J Warmer", + publisher = "Springer Verlag", + year = "2002" +} + +@conference{kent:mvatcl, + author ="S. Kent and J. Howse", + title ="Mixing Visual and Textual Constraint Languages", + booktitle ="Proceedings of UML99", + year ="1999" +} + +@CONFERENCE{kestler:edfvaged, + author = {H.~Kestler and A.~Muller and H.~Liu and D.~Kane and B.~Zeeberg and J.~Weinstein}, + title = {{E}uler diagrams for visualizing annotated gene expression data}, + booktitle = {Proceedings of {E}uler Diagrams 2005}, + year = {2005}, + address = {Paris}, + month = {September} +} + +@ARTICLE{kestler:gvdanmfvcgsr, + AUTHOR = "H.~Kestler and A.~Muller and T.~Gress and M.~Buchholz", + TITLE = "Generalized {V}enn Diagrams: A New Method for Visualizing Complex Genetic Set Relations", + JOURNAL = "Journal of Bioinformatics", + YEAR = "2005", + volume = "21", + number = "8", + pages = "1592-1595" +} + + + +@TECHREPORT{kiesner:voavnofocl, + AUTHOR = "C. Kiesner and G. Taentzer and J. Winkelmann", + TITLE = "{V}isual {O}{C}{L}: A {V}isual {N}otation of the {O}bject {C}onstraint {L}anguage", + INSTITUTION = "Technical University of Berlin", + YEAR = "2002", + number = "2002/23" +} + +@CONFERENCE{kim:vofs, + author = {S.-K.~Kim and D.~Carrington}, + title = {Visualization of Formal Specifications}, + booktitle = {6th Aisa Pacific Software Engineering Conference}, + pages = {102--109}, + address = {Los Alamitos, CA, USA}, + publisher = {IEEE Computer Society Press}, + year = {1999} +} + +@conference{kuljis:acoesacdaiteoud, + author = "J. Kuljis and L. Baldwin and R. Scoble", + booktitle = "Proceedings of 14th Workshop on the Psychology of Programming Interest Group", + publisher = "", + pages = "1--14", + title = "A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams", + year = 2002 +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LLLLL %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@article{larkin:wadiswttw, + author ="J. Larkin and H. Simon", + title ="Why a Diagram is (Sometimes) Worth Ten Thousand Words", + journal ="Journal of Cognitive Science", + volume ="11", + pages ="65--99", + year =1987 +} + + +@incollection{lemon:cteovl, + AUTHOR = "O.~Lemon", + editor = "D.~Barker-Plummer and D.~I.~Beaver and J.~van~Benthem and P.~Scotto\hspace{2pt}di\hspace{2pt}Luzio", + TITLE = "Comparing the Efficacy of Visual Languages", + booktitle ="Words, Proofs and Diagrams", + pages = "47-69", + PUBLISHER = "CSLI Publications", + YEAR = "2002" +} + +@ARTICLE{lemon:slatcodr, + AUTHOR = "O.~Lemon and I.~Pratt", + TITLE = "Spatial Logic and the Complexity of Diagrammatic Reasoning", + JOURNAL = "Machine GRAPHICS and VISION", + YEAR = "1997", + volume = "6", + number = "1", + pages = "89-108", +} + +@phdthesis{lovdahl:taveeftlotsw, + AUTHOR = "J.~Lovdahl", + TITLE = "Towards a Visual Editing Environment for the Languages of the Semantic Web", + SCHOOL = "Linkoping University", + YEAR = "2002" +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%% MMMMMMMM %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5 + +@INBOOK{mclaughlin:ce, + AUTHOR = "J.~McLaughlin and S>~Gallinger", + TITLE = "The Basic Science of Oncology", + CHAPTER = "Cancer Epidemiology", + PUBLISHER = "McGraw-Hill", + YEAR = "2004", +} + + +@CONFERENCE{meyer:fovmn, + author = {B.~Meyer}, + title = {Formalization of Visual Mathematical Notations}, + booktitle = {AAAI Symposium on Diagrammatic Reasoning}, + year = {1997}, + address = {Boston, USA}, + month = {November} +} + +@MISC{mod:tposcside, + author = {{UK Ministry of Defence}}, + title = {The Procurement of Saftey Critical Software in Defence Equipment}, + year = {1993}, + note = {MOD Interim Standard 00-55} +} + +@phdthesis{molina:rwevpds, + author = "F. Molina", + school = "University of Brighton", + address = "", + title = "Reasoning with extended {V}enn-{P}eirce diagrammatic systems", + year = 2001 +} + +@article{more:otcovd, + author ="T. More", + title ="On the construction of {V}enn diagrams", + journal ="Journal of Symbolic Logic", + volume ="23", + pages ="303--304", + year =1959 +} + + +@CONFERENCE{mutton:dgied, + author = {P. Mutton and P. Rodgers and J. Flower}, + title = {Drawing Graphs in {E}uler Diagrams}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + pages = {66-81}, + month = {March}, + publisher = {Springer} +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% OOOO %%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{oberlander:htmm, + author = {J.~Oberlander and K.~Stenning and R.~Cox}, + title = {Hyperproof: The Multimodal Moral}, + booktitle = {Second Conference on Information-Theoretic Approaches to Logic, Language and Computation}, + year = {1996} +} + + + +@MISC{omg:o2.0sr1.6, + author = "O{M}{G}", + title = "{OCL} 2.0 Specification, revision 1.6", + howpublished = "Available from http://www.omg.org", + year = "2003" +} + +@MISC{omg:u2.0s, + author = "O{M}{G}", + title = "U{M}{L} 2.0 Specification", + howpublished = "Available from http://www.omg.org", + year = "2004" +} + +@misc{omg:usv1.3, + author ="O{M}{G}", + howpublished="Available from www.omg.org.", + title ="U{M}{L} Specification, Version 1.3.", + note ="" +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPPPPPP %%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@CONFERENCE{patrascoiu:eoeiy, + author = {O.~Patrascoiu and P.~Rodgers}, + title = {Embedding {OCL} Expressions in {YATL}}, + booktitle = {Proceedings of the {OCL} and Model Driven Engineering Workshop}, + year = {2004}, + month = {October} +} + +@CONFERENCE{patrascoiu:metwsuy, + author = {O.~Patrascoiu}, + title = {Mapping {EDOC} to Web Services using {YATL}}, + booktitle = {Proceedings of the 8th International IEEE Enterprise Distributed +Object Computing Conference (EDOC 2004)}, + year = {2004}, + pages = {12}, + month = {September} +} + + +@conference{patrascoiu:mtiysae, + author = "Octavian Patrascoiu", + booktitle = "Technical Report", + pages ="", + title = "Model Transformations in {YATL}. Studies and Experiments", + year = 2004 +} + + +@CONFERENCE{patrascoiu:tfdr, + author = {O.~Patrascoiu and S.~Thompson and P.~Rodgers}, + title = {Tableaux for Diagrammatic Reasoning}, + booktitle = {Proceedings of the Eleventh International Conference on Distributed +Multimedia Systems, International Workshop on Visual Languages and +Computing}, + year = {2005}, + pages = {279-286}, + month = {September}, + publisher = {Knowledge Systems Institute} +} + +@conference{patrascoiu:ttatlrmv1.0, + author = "Octavian Patrascoiu", + booktitle = "Technical Report", + title = "{YATL}: Yet Another Transformation Language - Reference Manual Version 1.0", + year = 2004 +} + +@conference{patrascoiu:yyatl, + author = "Octavian Patrascoiu", + booktitle = "Proceedings of the 1st European {MDA} Workshop, {MDA-IA}", + pages = "83-90", + title = "{YATL}: Yet Another Transformation Language", + month = "January 2004", + year = 2004 +} + +@book{peirce:cp, + author ="C. Peirce.", + title ="Collected Papers", + volume ="4", + publisher ="Harvard University Press", + year =1933 +} + +@book{polya:htsi, + AUTHOR = "G. ~Polya", + TITLE = "How to Solve It", + PUBLISHER = "Princeton University Press", + YEAR = "1957" +} + + +@CONFERENCE{puigsegur:vlpbmodt, + author = {J.~Puigsegur and J.~Agusti}, + title = {Visual Logic Programming by Means of Diagram Transformations}, + booktitle = {joint Conference on Declarative Programming}, + year = {1998} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% RRRRRRR %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@MISC{rector:sviowl, + author = "A.~Rector", + title = "Specifying Values in OWL: Value Partitions +and Value Sets", + howpublished = "W3C Editors Draft 02", + year = "2005" +} + + +@BOOK{roberts:tegocsp, + AUTHOR = "D.~D.~Roberts", + TITLE = "The Existential Graphs of Charles S. Peirce", + PUBLISHER = "Mouton", + YEAR = "1973" +} + + + + +@CONFERENCE{rodgers:dedd, + author = {P. Rodgers and P. Mutton and J. Flower }, + title = {Dynamic {E}uler Diagram Drawing}, + year = {2004}, + booktitle= {Visual Languages and Human Centric Computing, Rome, Italy}, + pages ="147-156", + month = {September}, + publisher = {IEEE Computer Society Press}, +} + +@ARTICLE{ruskey:asovd, + AUTHOR = "F.~Ruskey", + TITLE = "A Survey of {V}enn Diagrams", + JOURNAL = "Electronic Journal of Combinatorics", + note = "www.combinatorics.org/Surveys/ds5/VennEJC.html", + YEAR = "1997" +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SSSSSSS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{sawamura:javrswdas, + author = {H.~Sawamura and K.~Kiyozuka}, + title = {{JV}enn: A Visual Reasoning System with Diagrams and Sentences}, + booktitle = {Proceedings of 1st International Conference on the Theory and Application of Diagrams}, + publisher = {Springer-Verlag}, + address = {Edinburgh, UK}, + series = {LNAI}, + volume = {1889}, + pages = {271-285}, + year = {2000} +} + +@conference{scotto:pualovd, + author ="P. Scotto~di~Luzio", + title ="Patching up a logic of {V}enn diagrams", + booktitle ="Proceedings 6th CSLI Workshop on Logic, Language and Computation", + publisher ="CSLI Publications", + year = "2000" +} + +@conference{shimojima:iaecogrsasg, + author ="A. Shimojima", + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher ="Springer", + title ="Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations", + pages ="18--21", + year = 2004 +} + + +@incollection{shimojima:lrwd, + author ="A. Shimojima", + publisher ="Oxford University Press", + title ="Operational constraints in diagrammatic reasoning", + booktitle ="Logical Reasoning with Diagrams", + note ="Edited by Gerard Allwein and Jon Barwise", + pages ="27-48", + year =1996 +} + + +@incollection{shin:staovrwvd, + author ="S.-J.~Shin", + publisher ="Oxford University Press", + title ="Situation-Theoretic Account of Valid Reasoning with {V}enn Diagrams", + booktitle ="Logical Reasoning with Diagrams", + editor ="G.~Allwein and J.~Barwise", + pages ="81-108", + year =1996 +} + +@BOOK{shin:tilopg, + AUTHOR = "S.-J.~Shin", + TITLE = "The Iconic Logic of Peirce's Graphs", + PUBLISHER = "Bradford Book", + YEAR = "2002" +} + + +@book{shin:tlsod, + author = "S.-J. Shin", + publisher = "Cambridge University Press", + title = "The Logical Status of Diagrams", + year = 1994 +} + +@article{stenning:ialihrasi, + author = {K.~Stenning and P.~Yule}, + title = {Image and Language in Human Reasoning: A Syllogistic Illustration}, + journal = {Cognitive Psychology}, + year = {1997}, + pages = {109--159}, +} + + +@TECHREPORT{stapleton:afatpieds, + AUTHOR = "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern", + TITLE = "Appendices for Automated Theorem Proving in Euler Diagram Systems", + INSTITUTION = "University of Brighton", + YEAR = "2006", + number = "Technical Report VMG06.2" +} + + +@conference{stapleton:acdrs, + author = "G. Stapleton and J. Howse and J. Taylor", + booktitle = "Proceedings of International Conference on Visual Languages and Computing", + publisher = "Knowledge Systems Insitute", + title = "A Constraint Diagram Reasoning System", + pages ="263-270", + year = 2003 +} + + +@ARTICLE{stapleton:adcdrs, + AUTHOR = "G.~Stapleton and J.~Howse and J.~Taylor", + TITLE = "A Decidable Constraint Diagram Reasoning System", + JOURNAL = "Journal of Logic and Computation", + YEAR = "2005", + volume = "15", + number = "6", + pages = "975-1008", + month = "December" +} + +@CONFERENCE{stapleton:anlftvolar, + author = {G.~Stapleton and S.~Thompson and A.~Fish and J.~Howse and J.~Taylor}, + title = {A New Language for the Visualisation of Logic and Reasoning}, + booktitle = {11th International Conference on Distributed Multimedia Systems, International Workshop on + Visual Languages and Computing}, + year = {2005}, + month = {September}, + publisher = {Knowledge Systems Institute} +} + +@CONFERENCE{stapleton:asf, + author = {G.~Stapleton and J.~Howse and K.~Toller}, + title = {On Spiders' Feet}, + booktitle = {{E}uler Diagrams 2005}, + year = {2005} +} + +@CONFERENCE{stapleton:asorsboed, + author = {G.~Stapleton}, + title = {A Survey of Reasoning Systems Based on {E}uler Diagrams}, + booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, + year = {2005}, + pages = {127-151}, + volume = {134}, + series = {ENTCS} +} + +@conference{stapleton:eteosds, + author = "G.~Stapleton and J.~Howse", + booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop + on Visual Languages and Computings", + address ="Grand Canyon, USA", + pages = "129--138", + title = "Enhancing the Expressiveness of Spider Diagram Systems", + publisher ="Knowledge Systems Institute", + year = 2006 +} + + +@conference{stapleton:gs, + author = "G.~Stapleton and J.~Howse and K.~Toller", + booktitle = "4th International Conference on the Theory and Application of Diagrams", + address ="Stanford, USA", + pages = "148-150", + title = "Generalizing Spiders", + publisher ="Springer", + year = 2006 +} + +@PHDTHESIS{stapleton:rwcd, + AUTHOR = "G.~Stapleton", + TITLE = "Reasoning with Constraint Diagrams", + SCHOOL = "University of Brighton", + publisher = "British Computer Society", + YEAR = "2004", + source = "http://www.bcs.org/server.php?show=conWebDoc.2842", + month = "August" +} + + + +@ARTICLE{stapleton:teosd, + AUTHOR = "G.~Stapleton and S.~Thompson and J.~Howse and J.~Taylor", + TITLE = "The Expressiveness of Spider Diagrams", + JOURNAL = "Journal of Logic and Computation", + YEAR = "2004", + volume = "14", + number = "6", + pages = "857-880", + month = "December" +} + +@CONFERENCE{stapleton:teosdawc, + author = {G.~Stapleton and J.~Howse and J.~Taylor and S.~Thompson}, + title = {The Expressiveness of Spider Diagrams Augmented with Constants}, + year = {2004}, + booktitle= {Visual Languages and Human Centric Computing, Rome, Italy}, + pages = {91-98}, + month = {September}, + publisher = {IEEE Computer Society Press}, +} + +@conference{stapleton:wcsds, + author ="G. Stapleton and J. Howse and J. Taylor and S. Thompson", + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + publisher ="Springer", + title ="What Can Spider Diagrams Say?", + pages ="112-127", + year = 2004 +} + +@incollection{swoboda:acsotdaiohrs, + author = "N. Swoboda and G. Allwein", + booktitle = "Logical and Computational Aspects of Model-Based Reasoning", + publisher = "Kluwer Academic Publishers", + title = "A case study of the design and implementation of heterogeneous reasoning systems", + editor ="L.~Magnani and N.~J.~Neressian and C.~Pizzi", + pages ="1--18", + year = 2002 +} + +@conference{swoboda:hrwevdcncaf, + author = "N. Swoboda and G. Allwein", + booktitle = "Proceedings of Euler Diagrams 2004", + publisher = "Elsevier Science", + series = "ENTCS", + volume = "134", + title = "Heterogeneous Reasoning with {E}uler/{V}enn Diagrams Containing Named Constants and {FOL}", + year = 2005 +} + +@incollection{swoboda:ievrs, + author = "N. Swoboda", + booktitle = "Diagrammatic Representation and Reasoning", + publisher = "Springer-Verlag", + title = "Implementing {E}uler/{V}enn Reasoning Systems", + editor = "M.~Anderson and B.~Meyer and P.~Olivier", + pages = "371--386", + year = 2001 +} + +@conference{swoboda:mhs, + author = "N. Swoboda and G. Allwein", + booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", + address = "Gardens, Georgia, USA", + publisher = "Springer-Verlag", + title = "Modeling Heterogeneous Systems", + series = "LNAI", + volume = "2317", + pages = "131-145", + year = 2002 +} + +@conference{swoboda:ticoevd, + author = "N.~Swoboda and J.~Barwise", + booktitle = "Proceedings LICS workshop on Logic and Diagrammatic Information", + title = "The Information Content of {E}uler/{V}enn Diagrams", + year = 1998 +} + + + +@conference{swoboda:udttvevhaevfhroi, + author = "N. Swoboda and G. Allwein", + booktitle = "Proceedings of GT-VMT", + publisher = "Elsevier Science", + series = "ENTCS", + title = "Using {DAG} transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Interence", + year = 2002 +} + +@article{swoboda:udttvevhaevfhroi:02, + author = {N.~Swoboda and G.~Allwein}, + title = {Using {DAG} Transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Inference}, + journal = {Journal on Software and System Modeling}, + year = {2004}, + volume = {3}, + number = {2}, + pages = {136--149} +} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TTTTTT %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +@CONFERENCE{thievre:ueditle, + author = {J.~Thi`evre and M.~Viaud and A.~ Verroust-Blondet}, + title = {Using Euler Diagrams in Traditional Library Environments}, + booktitle = {Euler Diagrams 2004}, + year = {2005}, + volume = {134}, + series = {ENTCS}, + pages = {189-202}, + publisher = {ENTCS} +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% UUUUUUUUUU %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% VVVV %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + + +@article{venn:otdamropar, + author ="J. Venn", + title ="On the diagrammatic and mechanical representation of propositions and reasonings", + journal ="Phil.Mag", + year =1880 +} + + +@CONFERENCE{verroust:etdoedfutes, + author = {A.~Verroust and M.-L.~Viaud}, + title = {Ensuring the Drawability of {E}uler Diagrams for up to Eight Sets}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + address = {Cambridge, UK}, + series= {LNAI}, + volume= {2980}, + pages = {128--141}, + publisher = {Springer}, + year = {2004} +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WWWWWWW %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@book{warmer:toclpmwu, + author ="J. Warmer and A. Kleppe", + title ="The Object Constraint Language: Precise Modeling with UML", + publisher ="Addison-Wesley", + year =1998 +} + + + +@MASTERSTHESIS{winkelmann:sovavotocl, + AUTHOR = "Jessica Winkelmann", + TITLE = "Specification of {V}isual{O}{C}{L}: {A} {V}isualisation of the + {O}bject {C}onstraint {L}anguage", + SCHOOL = "TU Berlin", + YEAR = "2005", + note = "(in German)" +} + + +@CONFERENCE{winterstein:ddadtp, + author = {D.~Winterstein and A.~Bundy and C.~Gurr}, + title = {Dr {D}oodle: A Diagrammatic Theorem Prover}, + booktitle = {Proceedings of The International Joint Conference on Automated Reasoning}, + year = {2004}, + series = {LNCS}, + publisher = {Springer-Verlag} +} + +@CONFERENCE{winterstein:odbtrapp, + author = {D.~Winterstein and A.~Bundy and M.~Jamnik}, + title = {On Differences Between the Real and Physical Plane}, + booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, + year = {2004}, + series = {LNAI}, + volume = {2980}, + pages = {29-31}, + month = {March}, + publisher = {Springer-Verlag} +} + +@BOOK{wos:afcitwocygtar, + AUTHOR = "L.~Wos and G.~Pieper", + TITLE = "A Fascinating Country in the World of Computing Your Guide to Automated Reasoning", + PUBLISHER = "World Scientific", + YEAR = "1999" +} + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ZZZZZZZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@ARTICLE{zhang:ridct, + AUTHOR = {J.~Zhang and D.~Norman}, + TITLE = {Representations in Distributed Cognitive Tasks}, + JOURNAL = {Cognitive Science}, + YEAR = {1994}, + pages = {87--122}, + vol = {18} +} + +@CONFERENCE{zhao:arbmodtofep, + author = {Y.~Zhao and J.~L\"{o}vdahl}, + title = {A Reuse Based Method of Developing the Ontology for E-Procurement}, + booktitle = {Proceedings of the Nordic Confernce on Web Services}, + year = {2003}, + pages = {101-112} +} + + + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%