Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Developing safe concurrent and distributed applications with an architectural environment
 
conference paper

Developing safe concurrent and distributed applications with an architectural environment

Duval, G.
•
Cattel, T.
1999
TOOLS 29, Technology of Object-Oriented Languages and Systems

The developing environment presented in the paper is built around an interactive tool that can accompany the software engineer for the whole software development process of concurrent and distributed applications. This environment relies on a concept of active object that is used homogeneously from the specification of the architecture down to the implementation. It provides support for architecture design, behaviour specification, automatic code production, compilation, debugging as well as formal verification. First of all, the application architecture is built with a graphical editor, translated into an architecture description language compatible with CORBA-IDL, and used to produce code that may be automatically linked and compiled into CORBA compatible implementation. The debugging of a distributed application is supported by features such as event stepping, simulation of the CORBA mechanism within a single Unix process, code tracing, etc. The formal verification is supported by a translator providing Promela code that call be analysed by the SPIN model checker

  • Details
  • Metrics
Type
conference paper
DOI
10.1109/TOOLS.1999.778996
Author(s)
Duval, G.
Cattel, T.
Date Issued

1999

Publisher

IEEE Comput. Soc

Published in
TOOLS 29, Technology of Object-Oriented Languages and Systems
Start page

20

End page

32

Written at

EPFL

EPFL units
LTI  
Event place
Available on Infoscience
January 11, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/238866
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés