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)
Context of citations to this paper: More
.... here such as verification issues that can be found in [Barbey, Buchs, P eraire 1996] and validation issues that are presented in [Buchs, Hulaas 1996]. With the progressive development of the Transit node, we have shown the possible ways of refining specifications, starting...
.... CO OPN 2 have not been presented here such as verification issues that can be found in [2] and validation issues that are presented in [6]. Complete CO OPN 2 semantics is presented in [3] With the progressive development of the Transit node, we have shown the possible ways...
Cited by: More
From Formal Specifications to Ready-to-Use Software.. - Chachkov, Buchs (2001) (Correct)
. Introduc tion - Distributeda Plica Ions (Correct)
Hierarchical Algebraic Nets - Guelfi (Correct)
Similar documents (at the sentence level):
11.8%: Incremental Object-Oriented Implementation of Concurrent.. - Didier Buchs (1995) (Correct)
Active bibliography (related documents): More All
0.6: An Evolutive Distributed Algebraic Petri Nets Simulator - Hulaas (1996) (Correct)
0.5: Exploiting Various Levels of Semantics in CO-OPN for the.. - Buchs, Hulaas, Racloz (Correct)
0.5: Using the COOPN/2 Formal Method for Groupware Systems.. - Biberstein, Buchs, Guelfi (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Active Network Service Management Based on Meta-level.. - Villazon, Hulaas (Correct)
0.1: Modelling and Validation of Tasks With Algebraic - Structured Nets Buchs (Correct)
0.1: Evolutive Strategies for Adaptive Color Quantization - Gonzalez, Graña, D'Anjou.. (Correct)
Related documents from co-citation: More All
2: ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
2: Inheritance and subtyping in a parallel object-orientedlanguage (context) - America - 1987
2: Petri nets and algebraic specifications (context) - Reisig - 1991
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
3 Introduction to Object-Oriented Mixed Prototyping with Algeb.. (context) - Hulaas - 1995
3 Process-based Parallel Logic Programming: A Survey of the Ba.. - De Bosschere - 1994
3 Deriving Parallel Programs Using SANDS Tools (context) - Buchs, Racloz et al. - 1996
2 SANDS1.5/CO-OPN1.5: An Overview of the Language and its Supp.. (context) - Buchs, Biberstein et al. - 1995
2 Nested Actions: an Approach to Reliable Distributed Computin.. (context) - Moss - 1981
1 Formal Specifications, Prototyping and Integration Tests (context) - Choppy - 1987
1 An Evolutive Distributed Petri Nets Simulator (context) - Hulaas - 1996
1 Les Réseaux Algébriques Hiérarchiques: un formalisme de spéc.. (context) - Guelfi - 1994
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