Abstract
In this paper we describe a method for automatic implementation of systems based on models made by means of Coloured Petri Nets (CP-nets or CPN). The Design/CPN tool has been extended in order to support this method. We do not describe the algorithms and data-structures used to implement the code generation tool but rather the context such a tool is used in.
The contribution of this work origins from the fact that the code used to simulate the CPN model and the code used to generate the final system implementation are identical. Hence the behaviour of the model and final system are the same, and analysis results found by means of Design/CPN also hold for the final running system. This is different from other CPNbased code generation methods. Furthermore, since the method is fully automatic the traditional manual implementation phase has been eliminated. Thus the method described in this paper dramatically reduces development time and cost compared with prevailing system development methods where system implementation is accomplished manually. In this paper we demonstrate that the method is usable in practice for an industrial case, namely an access control system developed by the Danish security company Dalcotech A/S. A CPN model was made of a realistic access control system scenario. We describe this model and how Dalcotech applied the automatic code generation method in order to obtain a system implementation quickly and safely. In this way Dalcotech now has the capability to reduce the resources spent on the implementation phase.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Agha and F. de Cindio, editors. Workshop on Object-oriented Programming and Models of Concurrency of the 16th International Conference on Application and Theory of Petri Nets, Turin, Italy, 1995.
G. Agha, F. de Cindio, and A. Yonezawa, editors. Workshop on Object-oriented Programming and Models of Concurrency of the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, 1996.
T. Andersen. SECU-DES, Improved Methodology for the Design of Communication Protocols in Security Systems. Final Report, ESSI Project 10937, Dalcotech A/S, May 1996. Online version: http://www.esi.es/ESSI/Reports/All/10937/.
B. Grahlmann. The PEP Tool. In Tool Presentations of ATPN’97 (Application and Theory of Petri Nets), June 1997.
T.B. Haagh and T.R. Hansen. Optimising a Coloured Petri Net Simulator. Master’s thesis, University of Aarhus, Department of Computer Science, Denmark, 1994.
Persimmon IT. MLj a SML to Java Bytecode Compiler. Web site. http://www.dcs.ed.ac.uk/home/mlj/.
K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 1992.
B. Jørgensen. Målte dybden før springet. CIT NYT, 2:8–9, June 1999. Article in newsletter, in Danish.
J.L. Knudsen and B. Magnusson M. Löfgren, O.L. Madsen, editors. Object-Oriented Environments: The Mjølner Approach. Prentice-Hall, 1993.
M. Kristensen, S. Christensen, and K. Jensen. The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98–132, December 1998.
MARS-Team. The CPN-AMI environment. Technical report, MASI lab, Institut Blaise Pascal, Universit Pierre & Marie Curie, Paris, France, October 1993.
D. McQueen. Standard ML of New Jersey. Web site. http://www.cm.bell-labs.com/cm/cs/what/smlnj/.
R. Milner, R. Harper, and M. Tofte. The Definition of Standard ML. MIT Press, 1990.
University of Aarhus, Dalcotech A/S, DELTA, and CIT. Automatisk kodegenerering fra Farvede Petri Net. Final report for CIT-project number 106. In Danish, May 1999.
J.-H. Paulsen. Design/CPN Automatic Code Generation User’s Guide. University of Aarhus, Department of Computer Science, Denmark, June 1999.
J.-H. Paulsen. Design/CPN LonTalk Library User’s Guide. University of Aarhus, Department of Computer Science, Denmark, June 1999.
L.C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
J.L. Rasmussen and M. Singh. Designing a Security System by Means of Coloured Petri Nets. In J. Billington and W. Reisig, editors, 17th International Conference on Application and Theory of Petri Nets 1996, volume LNCS 1091 of Lecture Notes in Computer Science, pages 400–419, Osaka, Japan, June 1996. Springer-Verlag.
S. Romanenko and P. Sestoft. Moscow ML owner’s manual, April 1998. Web site: http://www.dina.kvl.dk/~sestoft/mosml.html.
Harald Störrle. An Evaluation of High-End Tools for Petri-Nets. Technical Report 9802, Ludwig-Maximilians-Universität München, 1997.
M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, and P. Bertelsen. Programming with Regions in the ML Kit. Technical Report 25, University of Copenhagen, Department of Computer Science, 1998.
S. Weeks. MLton User’s Guide. Available online: http://www.neci.nj.nec.com/PLS/MLton/.
AC/DC Project. CIT project number 106. Web Site. http://www.daimi.au.dk/CPnets/ACDC.
Artifex by ARTIS. Web Site. http://www.artis-software.com.
The Danish National Centre for IT Research. Web Site. http://www.cit.dk.
Coloured Petri Nets at the University of Aarhus. Web Site. http://www.daimi.au.dk/CPnets.
Dalcotech A/S. Web Site. http://www.dalcotech.dk.
DELTA Software Engineering. Web Site. http://www.delta.dk.
Design/CPN Online. Web Site. http://www.daimi.au.dk/designCPN.
Echelon Corporation. Web Site. http://www.echelon.com.
World of Petri Nets. Web Site. http://www.daimi.au.dk/PetriNets.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mortensen, K.H. (2000). Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_21
Download citation
DOI: https://doi.org/10.1007/3-540-44988-4_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67693-5
Online ISBN: 978-3-540-44988-1
eBook Packages: Springer Book Archive