| Alternate document: Details Evolutive Prototyping of Heterogeneous Distributed Systems Using Hierarchical Algebraic Petri Nets (96) D. Buchs, J. Hulaas |
Jarle Hulaas  Home/Search
Context Related
| lglftp.epfl.ch/pub/Pa...hulaasESM96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lglftp.epfl.ch/...thesis_overview (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a new prototyping methodology for large concurrent systems modelled by the means of hierarchical algebraic Petri nets. First, the source specifications are automatically translated into a main-stream object-oriented language, thus providing a portable and highlevel initial implementation. The generated class hierarchy is designed so that the developer may then independantly derive new sub-classes in order to make the simulator more efficient or to add functionalities that... (Update)
Context of citations to this paper: More
...oracle should introduce state memorization to compute the And HML operator. This is an intrusive way of implementing the oracle. See [8] for an explanation of the CO OPN 2 operational semantics. Definition: Satisfaction relationship = O Let P PROG a program, SP SPEC a...
Cited by: More
Exploiting Various Levels of Semantics in CO-OPN for the.. - Buchs, Hulaas, Racloz (Correct)
A Theory of Specification-Based Testing for.. - Barbey, Buchs, Péraire (1996) (Correct)
Active bibliography (related documents): More All
0.6: Evolutive Prototyping of Heterogeneous Distributed Systems.. - Buchs, Hulaas (1996) (Correct)
0.5: Applying Object-Oriented Modelling To Support Process.. - Shams-Aliee, Warboys (Correct)
0.5: Virtual Learning Environment For Object-Oriented.. - Hirschmüller.. (1998) (Correct)
Similar documents based on text: More All
0.1: Portable Resource Control in Java - The J-SEAL2 Approach - Binder, Hulaas, al. (2001) (Correct)
0.1: Mobile Agent-based Shared Registry System for Electronic.. - Gannoun, al. (1999) (Correct)
0.1: Evolutive Strategies for Adaptive Color Quantization - Gonzalez, Graña, D'Anjou.. (Correct)
Related documents from co-citation: More All
2: Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
2: Software testing based on formal specifications: a theory and a tool (context) - Bernot, Gaudel et al. - 1991
2: Structured algebraic nets with object-orientation - Biberstein, Buchs - 1995
BibTeX entry: (Update)
Jarle Hulaas. An evolutive distributed algebraic petri nets simulator. In A. Javor, A. Lehmann, and I. Molnar, editors, Modelling and Simulation 1996, pages 348--352, Budapest, Hungary, June 2-6 1996. 10th European Simulation Multiconference ESM96, Society for Computer Simulation International. http://citeseer.ist.psu.edu/hulaas96evolutive.html More
@inproceedings{ hulaas96evolutive,
author = "Jarle Hulaas",
title = "An Evolutive Distributed Algebraic Petri Nets Simulator",
booktitle = "Modelling and Simulation 1996, Budapest, Hungary, June 2-6 1996",
publisher = "Society for Computer Simulation International",
editor = "A. Javor and A. Lehmann and I. Molnar",
pages = "348--352",
year = "1996",
url = "citeseer.ist.psu.edu/hulaas96evolutive.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
159 Programming Styles and Idioms (context) - Coplien, Advanced - 1992
64 Beyond the Black Box: Open Implementation (context) - Kiczales - 1996
55 SIMULA - An ALGOLBased Simulation Language (context) - Dahl, Nygaard - 1966
21 A Concurrent ObjectOriented Petri Net Approach for System Sp.. (context) - Buchs, Guelfi - 1991
13 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
8 Ada Reference Manual (context) - Organization - 1995
7 Mixing Abstract and Concrete Modules: Specification, Develop.. (context) - Choppy, Kaplan - 1990
3 Introduction to Object-Oriented Mixed Prototyping with Algeb.. (context) - Hulaas - 1995
2 Rbc1: A Reflective Object-Oriented Concurrent Language witho.. (context) - Ichisugi, Matsuoka et al. - 1992
2 and Racloz (context) - Buchs, Biberstein et al. - 1995
2 and Vlissides (context) - de Geneve, Helm et al. - 1995
2 Formal Techniques Based on Nets, Object Orientation and Reus.. - Kordon - 1994
1 Distributed Simulation of Petri Nets (context) - Nov, Ferscha - 1993
1 Un environnement de développement de spécifications pour sys.. (context) - Flumet - 1995
1 Petri Nets and Algebraic Specifications (context) - International, Ltd et al. - 1991
Documents on the same site (http://lglftp.epfl.ch/Team/JH/thesis/thesis_overview.html): More
Evolutive Prototyping of Heterogeneous Distributed Systems.. - Buchs, Hulaas (1996) (Correct)
Exploiting Various Levels of Semantics in CO-OPN for the.. - Buchs, Hulaas, Racloz (Correct)
Incremental Object-Oriented Implementation of Concurrent.. - Didier Buchs (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC