comp.lang.ada
 help / color / mirror / Atom feed
From: sjw <simon.j.wright@mac.com>
Subject: Re: Pseudo code for Ada tasking
Date: Wed, 6 May 2009 13:32:38 -0700 (PDT)
Date: 2009-05-06T13:32:38-07:00	[thread overview]
Message-ID: <df1d07e9-b89d-402b-82fa-224b872dad0a@r13g2000vbr.googlegroups.com> (raw)
In-Reply-To: 01a80781-90fa-4afb-a911-5994561e6323@l5g2000vbc.googlegroups.com

On May 6, 9:00 pm, Martin <martin.do...@btopenworld.com> wrote:
> On May 6, 4:18 am, Adrian Hoe <aby...@gmail.com> wrote:
>
> > Hi,
>
> > I am wondering, is there any reference or example about writing pseudo
> > code for Ada tasking?
>
> > Also, how can I model Ada tasking with a diagram?
>
> > Thanks.
> > --
> > Adrian Hoe

Raymond Buhr wrote a (very expensive!) book 'System Design with
Ada' (Prentice Hall 1984) notable for a complete diagrammatic
representation of Ada (83, of course) tasking which to my mind was
more complicated than the Ada language.

> ASGs (Ada Structure Graphs) were the natural diagram for this but I
> don't know of a tool that supports then apart from Teamwork which has
> long gone.
>
> In UML, a statechart comes close. There are professional tools that
> can produce Ada code from this (for instance, Rhapsody in Ada (from
> iLogix, then Telelogic, now IBM-Rational).

'professional'?

There are commercial tools as above, and there are open-source tools
(not sure whether Umbrello can do this, but ColdFrame
http://coldframe.sourceforge.net/coldframe/ certainly can).

In any case, tasking and state machines don't necessarily go and-in-
hand.

--S




  reply	other threads:[~2009-05-06 20:32 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-05-06  4:18 Pseudo code for Ada tasking Adrian Hoe
2009-05-06 19:03 ` Nicholas Paul Collin Gloucester
2009-05-06 20:00 ` Martin
2009-05-06 20:32   ` sjw [this message]
2009-05-06 21:52     ` Georg Bauhaus
2009-05-07 12:39     ` Martin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox