Institute of Computer Languages
Compilers and Languages Group

Talks 2010 - Dines Bjørner

The Compilers and Languages Group invites you to a talk given by

Prof. Dr. Dr.h.c. Dines Bjørner, Emeritus

MAE, MRANS (AB), ACM Fellow, IEEE Fellow
Danmarks Tekniske Universitet, Lyngby, Danmark

on

Mereologies in Computing Science

Date: Wednesday, 14. April 2010
Time: 17:00 c.t.
Location: TU Wien, EI10 Fritz Paschke Hörsaal, Elektrotechnisches Institutsgebäude, Erdgeschoss, Gußhausstraße 25-29, 1040 Wien

Abstract:

Mereology is the study, knowledge and practice of part-hood relations: of the relations of part to whole and the relations of part to part within a whole. By parts we shall here understand simple entities -- of the kind illustrated in this talk.

In this talk we solve the following problems:

- we give a formal model of a large class of mereologies, with simple entities modelled as parts and their relations by connectors;

- we show that that class applies to a wide variety of societal infrastructure component domains;

- we show that there is a class of CSP channel and process structures that correspond to the class of mereologies where mereology parts become CSP processes and connectors become channels; and where simple entity attributes become process states.

We have yet to prove the (full) extent to which the models satisfy the axiom systems for mereologies of, for example, (Casati&Varzi 1999) and a calculus of individuals (Bowman&Clarke 1981).

Manifest simple entities of domains are either continuous (fluid, gaseous) or discrete (solid, fixed), and if the latter, then either atomic or composite. It is how the sub-entities of a composite entity are "put together" that "makes up" a mereology of that composite entity -- at least such as we shall study the mereology concept. In this talk we shall study some ways of modelling the mereology of composite entities. One way of modelling mereologies is using sorts, observer functions and axioms (McCarthy style), another is using CSP.

About Prof. Dines Bjørner

Dines Bjørner has been a professor at the Technical University of Denmark (DTU) in Lyngby, close to Copenhagen, Denmark from 1976 to 2007. He specializes in research into domain engineering, requirements engineering and formal methods. Prof. Bjørner is a knight of the Order of the Dannebrog and won the John von Neumann Medal in Budapest, Hungary in 1994. He received the Ths. Masaryk Gold Medal, Brno, Czech Republic in 1996 and a Dr.h.c. from the Masaryk University, Brno, Czech Republic in 2004. He is a Fellow of the IEEE (2004) and ACM (2005). (http://www2.imm.dtu.dk/~db)

Remark on additional lecture from Prof. Bjørner

LVA 185.346 From Domains to Requirements
12 -30 April 2010, daily, 9am-11am & 2pm-4pm
Infomation on this lecture in pdf.
http://www.complang.tuwien.ac.at/bjorner

Start of lecture on Mo, 12.04.2010, 9-11 a.m., SR Zemanek


Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)