Skip to main content
SpringerLink
Log in

Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse

  • Conference paper
  • First Online:
Software Reuse: Methods, Techniques, and Tools (ICSR 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2319))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Biggerstaff and A. Perlis. Software Reusability: Applications and Experience, volume II of Frontier Series. ACM Press, New York, 1989.

    MATH  Google Scholar 

  2. T. Biggerstaff and A. Perlis. Software Reusability: Concepts and Models, volume I of Frontier Series. ACM Press, New York, 1989.

    MATH  Google Scholar 

  3. Allan Cheng, Søren Christensen, and Kjeld Høyer Mortensen. Model checking coloured petri nets exploiting strongly connected components. Technical report, Computer Science Department, Aarhus University, Aarhus C, Denmark, March 1997.

    Google Scholar 

  4. Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.

    Google Scholar 

  5. Edmund M. Clarke and Jeannette M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28, December 1996.

    Google Scholar 

  6. Peter Freeman. Tutorial: Software Reusability. IEEE Computer Society Press, Washington, D.C., 1987.

    Google Scholar 

  7. D.D.S. Guererro, J.C.A. de Figueiredo, and A. Perkusich. An object-based modular “cpn” approach: Its application to the specification of a cooperative editing environment. Advances on Petri Nets: Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, Volume 2001, pages 338–354, 2001.

    Chapter  Google Scholar 

  8. Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, volume 1 of EACTS — Monographs on Theoretical Computer Science. Springer-Verlag, 1992.

    Google Scholar 

  9. Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, volume 2 of EACTS — Monographs on Theoretical Computer Science. Springer-Verlag, 1995.

    Google Scholar 

  10. Charles W. Krueger. Software reuse. ACM Computing Surveys, 24(2):131–183, June 1992.

    Google Scholar 

  11. C. Lakos. From coloured petri nets to object petri nets. In Application and Theory of Petri Nets, volume 935, pages 278–297, Torino, Italy, June 1995.

    Google Scholar 

  12. N. H. Lee, J. E. Hong, S. D. Cha, and D. H. Bae. Towards reusable colored petri nets. In Proc. Int. Symp. on Software Engineering for Parallel and Distributed Systems, pages 223–229, Kyoto, Japan, April 1998.

    Google Scholar 

  13. A.J.P. Lemos and A. Perkusich. Reuse of coloured petri nets software models. In Proc. of The Eighth International Conference on Software Engineering and Knowledge Engineering, SEKE’01, pages 145–152, Buenos Aires, Argentina, June 2001.

    Google Scholar 

  14. M. D. McIlroy. “mass produced” software components. In P. Naur and B. Randell, editors, Software Engineering, pages 138–155, Brussels, 1969. Scientific Affairs Division, NATO. Report of a conference sponsored by the NATO Science Co.

    Google Scholar 

  15. Tadao Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541–580, April 1989.

    Google Scholar 

  16. Martin Naedele and Jorn W. Janneck. Design patterns in petri net system modeling. In Proceedings of ICECCS’98, pages 47–54, October 1998.

    Google Scholar 

  17. P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81–97, 1989.

    Article  Google Scholar 

  18. D. Ribot, B. Blongard, and C. Villermain. Development life-cycle with reuse. In ACM Symposium on Applied Computing SAC 94, March 1994.

    Google Scholar 

  19. W. Tracz. Tutorial: Software Reuse. Emerging Technology. IEEE Computer Society Press, Los Alamitos, CA, 1988.

    Google Scholar 

  20. Jeffrey D. Ullman. Elements of ML Programming. Prentice Hall, 2 edition, 1998.

    Google Scholar 

  21. W. M. P. van der Aalst and T. Basten. Life-cycle inheritance: A petri-net-based approach. Computing Science Reports 96/06, Eindhoven University of Technology, Eindhoven, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical Engineering Department, Federal University of Paraíba, Caixa Postal 10105, Campina Grande, Paraíba, Brasil

    Kyller Costa Gorgônio & Angelo Perkusich

Authors
  1. Kyller Costa Gorgônio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Angelo Perkusich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science Centre for Software Reliability, University of Newcastle, Newcastle upon Tyne, NE1 7RU, UK

    Cristina Gacek

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gorgônio, K.C., Perkusich, A. (2002). Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse. In: Gacek, C. (eds) Software Reuse: Methods, Techniques, and Tools. ICSR 2002. Lecture Notes in Computer Science, vol 2319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46020-9_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-46020-9_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43483-2

  • Online ISBN: 978-3-540-46020-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation