From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:55 +0100
Subject: PEM: Amnon H. Eden (Tel Aviv U and Uppsala U) | Specification of Recurring Motifs in Object Oriented Architecture | 19.08.99

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting | 19.08.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,

   After  a summer long hiatus, PEM is back. And what better way to start
   off  the  new  season but with a guest from abroad. Amnon Eden, of Tel
   Aviv  U,  and currently visiting in Uppsala, will tell us about formal
   ways  of  expressing  recurring  motifs  in OO settings. See below for
   details.

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

     Specification of Recurring Motifs in Object Oriented Architecture

   Date:    19.08.99
   Time:    10:00
   Venue:   M2.80, CWI
   Speaker: Amnon H. Eden (Tel Aviv U and Uppsala U)
   Title:   Specification of Recurring Motifs in Object Oriented Architecture

   The   architecture  of  object  oriented  (O-O)  systems  incorporates
   recurring  motifs  of different abstraction levels, many of which were
   observed  and recorded in design patterns catalogs, the most prominent
   of  which is the Gang of Four's "Design Patterns: Elements of Reusable
   O-O  Software".  These  specifications,  however,  lack  precision and
   expressiveness.

   On  the  first  part  of this talk I will present observations made of
   well  defined building blocks of recurring motifs in O-O architecture.
   These  include  sets  of  classes  and  methods,  and  isomorphisms in
   relations amongst them.

   On  the  second  part of the talk I will present a compact fragment of
   higher  order  monadic logic, LePUS, with a graphic equivalent. I will
   demonstrate  how  LePUS  is sufficiently expressive to account for the
   motifs enumerated in a concise manner, as well as for many of the Gang
   of  Four  design patterns. I will also illustrate the utility of LePUS
   in  proving  relations  between  patterns,  in  resolving  ambiguities
   originated   from   the  imprecise  original  specifications,  and  in
   promoting  tool  support  in  the application and validation of design
   patterns.

   Keywords:  OOP,  design  patterns,  formal  methods,  symbolic  logic,
   software architecture

   Affiliation:  Amnon  Eden  graduated  his  PhD in Tel Aviv University,
   Israel,  and  is  currently  a  guest  lecturer  at  the department of
   computer  systems  in  Uppsala  University,  Sweden.  He  served  as a
   freelance  consultant in transition to software development in OOP for
   6   years.   Amnon  was  a  guest  lecturer,  teaching  OOP,  software
   engineering,  and  design  patterns  in  Aarhus  University,  Denmark;
   Technion  --  Israel  Institute  of  Technology;  Tel Aviv University,
   Israel.   During   1997-8   Amnon  chaired  the  software  engineering
   transition  program  in  the  Tel  Aviv College of Management. You are
   welcome to contract him and visit his home page
     _________________________________________________________________

   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
     _________________________________________________________________