Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse

Authors:
Kyller Costa Gorgônio;Angelo Perkusich
Affiliations:
-;-
Venue:
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Year:
2002

Citing 13
Cited 1

Tutorial, software reusability

Tutorial, software reusability
Software reuse: emerging technology

Software reuse: emerging technology
Software reusability: vol. 1, concepts and models

Software reusability: vol. 1, concepts and models
Software reusability: vol. 2, applications and experience

Software reusability: vol. 2, applications and experience
Software reuse

ACM Computing Surveys (CSUR)
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Elements of ML programming (ML97 ed.)

Elements of ML programming (ML97 ed.)
Development life-cycle WITH reuse

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Model checking

Model checking
An object-based modular CPN approach: its application to the specification of a cooperative editing environment

Concurrent object-oriented programming and petri nets
From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Towards Reusable Colored Petri Nets

PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems

A model-based approach to formal specification and verification of embedded systems using colored petri nets

Component-Based Software Development for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we introduce an automatic adaptation approach for Coloured Petri Nets models. For this approach we define a procedure for the synthesis of a new model based on a given model and a set of behavior restrictions. This procedure was defined based on the concepts and techniques of the supervisory control theory and model checking. Moreover, we tackle the adaptation problem in the context of models reuse.