From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:55 +0100
Subject: PEM: Andreas Winter (U Koblenz) | GUPRO - Generic Understanding of Programs | 23.04.99

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting | 23.04.99 | M2.80, CWI 
Precedence: bulk
X-url: http://www.cwi.nl/~pem
Mime-Version: 1.0
Content-Type: text/plain;
        charset="iso-8859-1"

   Dear Environmentalists,

   As  promised, this week there is a second PEM. It is by Andreas Winter
   of  the  University  of Koblenz. He will tell us about the work he and
   his  group  are  doing in the area of Program Understanding. This talk
   will consist of two parts:

   The first part will be a talk on the project at Koblenz. Then, after a
   coffee break, Andreas will be giving a demo of the prototype they have
   developed.

   This announcement can be found at <http://www.cwi.nl/~pem>

                 GUPRO - Generic Understanding of Programs

   Date:    23.04.99
   Time:    10:00
   Venue:   M2.80, CWI
   Speaker: Andreas Winter (U Koblenz)
   Title:   GUPRO - Generic Understanding of Programs

   [joint  work  by: Jürgen Ebert, Thomas Pühler, Bernt Kullbach, Andreas
   Winter]

   GUPRO    presents    a    generic    and   query-based   approach   to
   software-reengineering  and program analysis. The perspective of GUPRO
   is   to  develop  a  general  workbench  supporting  various  software
   reengineering and analysis techniques.

   GUPRO  follows  a  graph-based  conceptual modeling approach. EER/GRAL
   models  are  used  for defining an internal source code representation
   suiting  to  the  problem  to  be  solved.  Typed, attributed, ordered
   directed  graphs  (TGraphs)  representing  source code information are
   generated   by  parsers  according  to  the  conceptual  model.  These
   structures  are analyzed by graph queries (GReQL). Queries are used in
   GUPRO for interrogating software structures as well as a general means
   in  software-reenineering  components as parsers, metric tools, source
   code browsers, program slicers, etc.

   The  GUPRO  approach was applied to program understanding and software
   certification.  One  program  understanding GUPRO workbench deals with
   multi-language  software-systems.  It offers querying programs (COBOL,
   CSP),  job  control  routines  (JCL)  and databases (SQL, IMSDBD) on a
   coarse  grained  level. Another GUPRO workbench deals with analyzing C
   and C++ programs for security certification. This instance is based on
   dataflow analysis and program slicing.

   In  this  talk  the general GUPRO-approach is presented and it will be
   shown  that  various  reengineering  techniques  can  be  based on the
   GUPRO-query-facility.  Afterwards  a  short tool demonstration will be
   given.
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________