RE: SDL-News: Need some help on selecting a research problem


Subject: RE: SDL-News: Need some help on selecting a research problem
From: Dr. Reuven Gallant (rgallant#hdq.iai.co.il)
Date: Tue Aug 04 1998 - 05:28:13 GMT


The originator of this message is responsible for its content.
-----From "Dr. Reuven Gallant" <rgallant#hdq.iai.co.il> to sdlnews -----

I would add the following:

1. I believe that Verilog has a representative to the OMG who is working UML-SDL integration issues. You should
check this out with Verilog to keep informed and to avoid duplication of effort.

2. Look at UML Activity Diagrams, which have some similarities to SDL.

3. Formaliztion of Sequence Diagrams and their verification relative to Statecharts/SDL is another important issue.

3. The relationship between UML and SDL can be approached on 2 levels:
a. What problems/solutions can or cannot be specified in either of the two notations?
b. For problems/solutions that can be adequately specified in both notations, what are the relative merits of
each from a cognitive/epistemological perspective?

-------------------------------------
Name: Dr. Reuven Gallant
E-mail: Dr. Reuven Gallant <rgallant#hdq.iai.co.il>
Date: 08/04/98
Time: 07:28:13

Israel Aircraft Industries Ltd.
Corporate R&D, Embedded Computer Systems
Dept. 9100
Ben-Gurion International Airport 70100
Israel
Tel. +972 3 935-8274, 935-8775, 935-3716
Fax. +972 3 935-3636
-------------------------------------

------------------------
  From: Philippe Leblanc <leblanc#tlse.verilog.fr>
  Subject: RE: SDL-news: Need some help on selecting a research problem
  Date: Fri, 31 Jul 1998 09:33:33 +-200
  To: "Prakash R." <prak#axpb.cdotb.ernet.in>
  Cc: 'Leslie Munday' <lmunday#gmswireless.com>, "mscnews#sdl-forum.org" <mscnews#sdl-forum.org>, "sdlnews#sdl-forum.org"
<sdlnews#sdl-forum.org>

The originator of this message is responsible for its content.
-----From Philippe Leblanc <leblanc#tlse.verilog.fr> to sdlnews -----

To go further in this direction, according to my mind there are (at least) two separate hot topics:

1. Mapping between a UML object model and an SDL architecture:
mapping between the different UML and SDL entities - active classes vs. block/process types, class instances vs. blocks and
types, packages, passive classes and ADTs...-; communication means - associations vs. channels, synchronous/asynchronous
interactions...; class aggregation vs. SDL refinement; how to mix parts of UML object models with parts of SDL
architectures?, etc.

2. Mapping between a UML statechart and an SDL finite state machine:
comparison of the semantics (if UML statechart has a defined semantics ;-) ); hierarchical states; internal concurrency;
entry/exit actions; etc.

I am sure the SDL community will be interested to have some concrete results in these fields, in particular with the
objectives for industrial users to be able to mix UML models and SDL models.

Regards,

Philippe Leblanc

--
Tel.: +33 (0)5 61 19 29 33
Switchboard: +33 (0)5 61 19 29 39
Fax: +33 (0)5 61 40 84 52
Email: leblanc#verilog.fr
VERILOG S.A.
BP 1310
F-31106 Toulouse Cedex - France
http://www.verilogusa.com

---------- De: Leslie Munday[SMTP:lmunday#gmswireless.com] Date d'envoi: jeudi 30 juillet 1998 18:11 A: Prakash R.; sdlnews#sdl-forum.org; mscnews#sdl-forum.org Objet: Re: SDL-news: Need some help on selecting a research problem

How about some sort of automated translation between UML and SDL?

Leslie.

I'm post-graduate student at IISc, Bangalore. I've narrowed down on SDL as the area of research. I need some help in choosing a research topic. The amount of work should be such that I can finish it in a year.

Could somebody suggest a few topics, problems? Any pointers are also most welcome.

- Regards Prakash ======================================================================== Prakash R Research Engineer. email : prak#axpb.cdotb.ernet.in Centre for Development of Telematics Phone : 91-80-2263399 Ext: 235,245 Sneha Complex, 91-80-2282915 71/1, Miller Road, Fax : 91-80-2263256 Bangalore - 560052, India =========================================================================

-----End text from prak#axpb.cdotb.ernet.in (Prakash R.) to sdlnews ----- For help, email "majordomo#sdl-forum.org" with the body of your email as: help or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org

-----End text from Philippe Leblanc <leblanc#tlse.verilog.fr> to sdlnews ----- For help, email "majordomo#sdl-forum.org" with the body of your email as: help or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org

---------------End of Original Message-----------------

-----End text from "Dr. Reuven Gallant" <rgallant#hdq.iai.co.il> to sdlnews ----- For help, email "majordomo#sdl-forum.org" with the body of your email as: help or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org



This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT