Prototyping object oriented specifications

Authors:
Ali Al-Shabibi;Didier Buchs;Mathieu Buffo;Stanislav Chachkov;Ang Chen;David Hurzeler
Affiliations:
Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland;Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland;Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland;Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland;Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland;Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne, Switzerland
Venue:
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Year:
2003

Citing 10
Cited 6

Communicating sequential processes

Communicating sequential processes
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
A Formal Specification Framework for Object-Oriented Distributed Systems

IEEE Transactions on Software Engineering
A Coordination Model for Distributed Object Systems

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Cooperative Nets

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach

ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Rapid Prototyping of Formally Modelled Distributed Systems

RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
Interfacing Software Libraries from Non-deterministic Prototypes

RSP '02 Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP'02)
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping

System Prototype and Verification Using Metamodel-Based Transformations

IEEE Distributed Systems Online
A Monitoring Toolset for Paose

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Model Checking Techniques for Test Generation from Business Process Models

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Towards service-based business process modeling, prototyping and integration

RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Formal test generation from UML models

Dependable Systems
High-Level Petri Net Model Checking with AlPiNA

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010

Quantified Score

Hi-index	0.00

Visualization

Abstract

CoopnBuilder is an integrated development environment (IDE) for Concurrent Object Oriented Petri Nets (COOPN). It comes with a complete set of tools enabling the user to view, edit, check, simulate and generate code from CO-OPN specifications. The Code Generation tool allows the user to develop applications in an open way: the produced code can be integrated in larger projects or use existing libraries. The code generation will be emphasized in this paper, and we will focus on ease-of-use and extensibility. CoopnBuilder is an open-source Java program and can be downloaded from http://cui.unige.ch/smv