D. Buchs, J. Hulaas  Home/Search
Context Related
| ec.org/deva/trs/../papers/09.ps lglftp.epfl.ch/pub/Pa...buchsIEEE_96.ps ec.org/deva/trs/../papers/09.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: ec.org/deva/trs/ (more) From: lglftp.epfl.ch/...thesis_overview (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents several extensions to a new evolutive prototyping process, called object-oriented mixed prototyping. Our application field is complex distributed systems modelled by the means of CO-OPN, a hierarchical algebraic Petri net language. CO-OPN being a strong synchronous language, we also show an original implementation scheme for its high-level communication model in heterogeneous wide-area networks. 1. INTRODUCTION The advantage of formal methods resides by definition in... (Update)
Similar documents based on text: More All
0.2: Using the COOPN/2 Formal Method for Groupware Systems.. - Biberstein, Buchs, Guelfi (Correct)
0.2: Exploiting Various Levels of Semantics in CO-OPN for the.. - Buchs, Hulaas, Racloz (Correct)
0.2: An Evolutive Distributed Algebraic Petri Nets Simulator - Hulaas (1996) (Correct)
BibTeX entry: (Update)
Didier Buchs and Jarle Hulaas. Evolutive Prototyping of Heterogeneous Distributed Systems using Hierarchical Algebraic Petri Nets. In Proceedings of the International Conference on Systems, Man and Cybernetics, Beijing, China, October 1996. IEEE. http://citeseer.ist.psu.edu/buchs96evolutive.html More
@inproceedings{ buchs96evolutive,
author = "Didier Buchs and Jarle Hulaas",
title = "Evolutive Prototyping of Heterogeneous Distributed Systems Using Hierarchical Algebraic Petri Nets",
booktitle = "{IEEE} International Conference on Systems, Man and Cybernetics, Beijing, China, October 14-17 1996",
pages = "3021--3026",
year = "1996",
url = "citeseer.ist.psu.edu/buchs96evolutive.html" }
Citations (may not include all citations):1174 Statecharts: a Visual Formalism for Complex Systems - Harel - 1987
457 The Esterel Synchronous Programming Language: Design, Semant.. - Berry, Gonthier - 1988
167 Dimensions of Object-Based Language Design (context) - Wegner - 1987
29 Petri Nets and Algebraic Specifications (context) - Reisig - 1991
21 A Concurrent Object Oriented Petri Net Approach (context) - Buchs, Guelfi - 1991
13 Delta-Prolog: A Distributed Backtracking Extension with Even.. (context) - Pereira, Monteiro et al. - 1986
13 Fundamentals of algebraic specification 1: equations and ini.. (context) - Ehrig, Mahr - 1985
11 Implementation and Performance of Multi-level Transaction Ma.. (context) - Schaad, Scheck et al. - 1995
10 Refined Compilation of Pattern-Matching for Functional Langu.. (context) - Schnoebelen - 1988
9 Eiffel: A Language and Environment for Software Engineering (context) - Meyer - 1987
8 Language and Standard Libraries (context) - Manual - 1995
7 Mixing Abstract and Concrete Modules: Specification, Develop.. (context) - Choppy, Kaplan - 1990
6 Programming Distributed Reactive Systems: a Strong and Weak .. - Boniol, Adelantado - 1993
6 CS-Prolog: a Communicating Sequential Prolog (context) - Ferrenczi, Futo - 1992
4 Taxonomy of Rapid-Prototyping Methods and Tools (context) - Asur, Hufnagel - 1993
[Article contains additional citations not shown here]
Documents on the same site (http://www.newcastle.research.ec.org/deva/trs/): More
Formal Specification and Verification of Object-Based.. - Canver, von Henke (Correct)
A Theory of Specification-Based Testing for.. - Barbey, Buchs, Péraire (1996) (Correct)
Using Metaobject Protocols to Separate Functional and.. - Stroud, Wu (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