[comp.software-eng] Research Contacts

andyv@minster.york.ac.uk (11/08/90)

Hello ! 

I'm a first year graduate at the University of York, England, who is 
just starting work on a Ph.D. I'm looking to correspond with anybody 
out there who might be working in the area described below.

I'm basically interested in Architectural Design Methods/Notations for
software systems, hopefully incorporating the specification of so called
`Non-Functional Requirements'. This may involve the concept of separate
logical and physical architectures. 

For these purposes, an Architecture is taken to broadly represent the 
information that defines the structure of the system, its 
functionality, etc, in such a way that the system can be built.

I'm also hoping to look at how to model timing, performance, resource usage, 
concurrency and state (amongst other things !) within the context described
above.

If you're doing anything along these lines, I'd like to hear about it
and hopefully exchange a few ideas !   

Andy

+--------------------------+-----------------------------------------------+
|Andy Vickers              |                                               |
|Dept. of Computer Science | JANET:  andyv@uk.ac.york.minster              |
|University of York        | EARN:   andyv@minster.york.ac.uk              |
|York  YO1 5DD  ENGLAND    | UUNET:  ..!uunet!mcsun!ukc!minster!andyv      |
|Tel: (0904) 432751        | ARPA:   andyv%york.minster@nsfnet-relay.ac.uk | 
|     (+44 904) 432751     |                                               |
+--------------------------+-----------------------------------------------+

jogr@wmt.UUCP (Jos Groenland) (11/22/90)

From article <657997277.449@minster.york.ac.uk>, by andyv@minster.york.ac.uk:
 
> I'm basically interested in Architectural Design Methods/Notations for
> software systems, hopefully incorporating the specification of so called
> `Non-Functional Requirements'. This may involve the concept of separate
> logical and physical architectures. 

Westmount Technology recently released new versions of the iCASE tools
TSEE (Technical Systems Engineering Enviroment) and RTEE (for Real Time
embedded systems). They include an special workbench for architectual
design.

With TSEE and RTEE first the Functional Requirements can be defined
(Analysis, Essential Model). This model can be used as input for the 
system architecture design, which results in another model (Architecture,
Implementation model).

> For these purposes, an Architecture is taken to broadly represent the 
> information that defines the structure of the system, its 
> functionality, etc, in such a way that the system can be built.

In the Architect you define processors (in case of a distributed
application) and for each processors a task-model. This includes
definition tasks, interrupt services and inter-task communication.
Note that this is operating system dependent.  You can either first make
your model and then choose the processor/operating system that can
handle it (the order it should be), or first determine processor/O.S.
and then make the architecture (the order that is usually taken). You can
configure the Architect for a particular O.S, so you won't get an
IPC feature in your model that your O.S. can't support.

>If you're doing anything along these lines, I'd like to hear about it
>and hopefully exchange a few ideas !
>
> Andy

For more information you can contact me, or Michiel Steltman in our office
in Redmond WA: mist@amc.com, Phone 206-882-5644

-------------------------------------------------------------------------
                                           Email: wmt!jogr@hp4nl.nl
   Jos Groenland                           tel: (+31)15610815
                                           fax: (+31)15565701
   Westmount Technology bv                 Poortweg 8
   Product Development                     2612 PA  Delft
                                           The Netherlands
-------------------------------------------------------------------------