loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Symposium on Autonomous Decentralized Systems (ISADS'95)
Automatic transition from rapid prototyping to target code for distributed systems
Phoenix, Arizona, USA
April 25-April 27
ISBN: 0-8186-7087-8
ASCII Text
x 
 
G. Bucci, R. Mattolini, E. Vicario, "Automatic transition from rapid prototyping to target code for distributed systems," Autonomous Decentralized Systems, International Symposium on, pp. 0104, Second International Symposium on Autonomous Decentralized Systems (ISADS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ISADS.1995.398962,
author = {G. Bucci and R. Mattolini and E. Vicario},
title = {Automatic transition from rapid prototyping to target code for distributed systems},
journal ={Autonomous Decentralized Systems, International Symposium on},
volume = {0},
year = {1995},
isbn = {0-8186-7087-8},
pages = {0104},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISADS.1995.398962},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Autonomous Decentralized Systems, International Symposium on
TI - Automatic transition from rapid prototyping to target code for distributed systems
SN - 0-8186-7087-8
SP
EP
A1 - G. Bucci,
A1 - R. Mattolini,
A1 - E. Vicario,
PY - 1995
KW - parallel programming; distributed algorithms; specification languages; formal specification; software prototyping; Petri nets; computer aided software engineering; object-oriented programming; automatic transition; rapid prototyping; target code; distributed systems; high level operational languages; validation results; operational specification languages; complex reactive systems; automatic prototype generation; development lifecycle; performance requirements; transformation method; Petri net based specification language; performance improvement; object oriented programming; parallel systems
VL - 0
JA - Autonomous Decentralized Systems, International Symposium on
ER -
 
G. Bucci, Dept. of Syst. & Inf., Florence Univ., Italy
R. Mattolini, Dept. of Syst. & Inf., Florence Univ., Italy
E. Vicario, Dept. of Syst. & Inf., Florence Univ., Italy
Abstract: High level operational languages support the specification and validation of complex reactive systems through the automatic generation of rapid prototypes since the early stages of the development lifecycle. However, when it comes to the implementation stage, these prototypes must be translated into target code to accomplish performance requirements without losing validation results. A transformation method supporting the incremental and automatic transition from rapid prototypes to target code is presented, which relies on a Petri net based specification language. Experimental results are presented to evaluate the performance improvement achieved by this automatic transformation.
Index Terms:
parallel programming; distributed algorithms; specification languages; formal specification; software prototyping; Petri nets; computer aided software engineering; object-oriented programming; automatic transition; rapid prototyping; target code; distributed systems; high level operational languages; validation results; operational specification languages; complex reactive systems; automatic prototype generation; development lifecycle; performance requirements; transformation method; Petri net based specification language; performance improvement; object oriented programming; parallel systems
Citation:
G. Bucci, R. Mattolini, E. Vicario, "Automatic transition from rapid prototyping to target code for distributed systems," isads, pp.0104, Second International Symposium on Autonomous Decentralized Systems (ISADS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.