From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1856 Path: news.gmane.org!not-for-mail From: Amiguet Matthieu Newsgroups: gmane.science.mathematics.categories Subject: statecharts and categories Date: Wed, 14 Feb 2001 14:58:54 +0100 Message-ID: <3A8A8F1F.E49648BE@info.unine.ch> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018154 832 80.91.229.2 (29 Apr 2009 15:15:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:54 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Feb 15 16:08:29 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f1FJX2s05167 for categories-list; Thu, 15 Feb 2001 15:33:02 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.6 (Macintosh; I; PPC) X-Accept-Language: fr-CH,fr,en Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 38 Original-Lines: 21 Xref: news.gmane.org gmane.science.mathematics.categories:1856 Archived-At: Dear Categoricians, I'm wondering if there has been any work in formalizing statecharts [1] in categorical terms. If not, do you know of an other algebraic description of this specification language? Also, it seems to me that the operationnal semantic STATEMATE of Statecharts as described in [2] is very coalgebraic in nature. Did anybody write something about this? Thank you for any information or pointer, Matthieu REFERENCES: [1] Harel, D. (1987) Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 231--274. [2] Harel, D. and Naamad, A. (1996) The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4), 293--333