CSE Faculty Candidate Seminar

[Thomas Bartold]

DATE: Monday, October 16, 2000
TIME: 9:00 to 10:30 a.m.
ROOM: Room 1005 EECS
CSE FACULTY SEMINAR
Dr. Jose Meseguer
SRI International-Computer Science Laboratory

THE UNIVERSITY OF MICHIGAN
Department of Electrical Engineering and Computer Science
Computer Science and Engineering Division

"Rewriting Logic and Maude: a Wide-spectrum Semantic Framework for
Object-based Distributed Systems"

Rewriting logic is ideally suited as a semantic framework for
object-based distributed systems. Both the distributed states and
the concurrent transitions of such systems can be naturally specified
by rewrite theories in which local concurrent transitions are
described by rewrite rules. Maude is a high-performance rewriting
logic language and system developed by our group at SRI International
that supports executable specification and programming, and a
flexible variety of formal analyses.

As a wide-spectrum semantic framework, rewriting logic can span the
gap between high-level architectural designs and distributed or
mobile system implementations. Rewriting logic has been used to give
a precise semantics to a number of distributed architectural
notations, and to generate formal executable specifications from such
notations. Using Maude, such executable specifications can then be
analyzed in a variety of ways, including symbolic simulation and
debugging, and flexible forms of model checking analysis.
Furthermore, using model checking analysis and formal proofs, formal
properties of such specifications can be verified. Since under quite
reasonable assumptions rewriting logic specifications can be directly
implemented with competitive performance as distributed and mobile
systems, it is in fact possible to span the gap from high-level
designs to implementations without leaving the formal framework.

All this is quite ambitious, and should be regarded as work in
progress. However, thanks to the collaborative efforts of several
research teams, a substantial body of encouraging experience at all
levels of this project already exists. I will introduce rewriting
logic and Maude, and will survey the experience gained so far in
applying them to object-based distributed systems, including
distributed architectures and open components, networks and
communication protocols, and agent and mobile languages.

DATE: Monday, October 16, 2000
TIME: 9:00 to 10:30 a.m.
ROOM: Room 1005 EECS

****************************
Jeanne C. Patterson
CSE Division Secretary
Executive Secretary to the Associate Chair for
Computer Science and Engineering
(734) 764-8504
http://www.eecs.umich.edu/~jeannecp
****************************

--
CSEG Web Page: http://www.eecs.umich.edu/CSEG
See the CSEG web page for unsubscription instructions.

Please support CSEG by buying your soda from CSEG vending machines.