Automatic code generation from high-level Petri-Nets for model driven systems engineering

Journal of Systems and Software

Volumn 79, Issue 10, 2006, Pages 1444-1455

  Philippi, Stephan ^a  

^a Department of Computer Science ^*  (Germany)

Author keywords

Code generation; Model driven architecture; Modelling; Object orientation; Petri Nets; Systems engineering; Visual languages

Indexed keywords

BENCHMARKING; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS; SYSTEMS ENGINEERING;

CODE GENERATION; MODEL DRIVEN ARCHITECTURE; MODELING; OBJECT-ORIENTATION; VISUAL LANGUAGES;

CODES (SYMBOLS);

EID: 33747888563     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2005.12.022     Document Type: Article

References (21)

1. Arnold K., and Gosling J. The Java Programming Language (1996), Addison-Wesley
2. Baresi L., and Pezzè M. Improving UML with Petri nets. Electronic Notes in Theoretical Computer Science vol. 44 (2001), Elsevier
3. Bernardi S., Donatelli S., and Merseguer J. From UML sequence diagrams and statecharts to analysable Petri net models. Proceedings of the 3rd International Workshop on Software and Performance (2002), ACM Press 35-45
4. Christensen S., Jorgensen J.B., and Kristensen L.M. Design/CPN-A computer tool for coloured Petri nets. TACAS'97-Tools and Algorithms for the Construction and Analysis of Systems. LNCS vol. 1217 (1997), Springer, Berlin
5. Genrich H.J., and Lautenbach K. System modelling with high-level Petri nets. Theoretical Computer Science 13 1 (1981) 109-136
6. George, T., 1999. OOPr/T-modeller: a Tool for the modelling of object-oriented systems based on UML and Petri-Nets. Diploma Thesis, University of Koblenz (in German).
7. Girault C., and Valk R. Petri-Nets for Systems Engineering (2003), Springer, Berlin
8. Kummer, O., Wienberg, F., Duvigneau, M., 2004. Renew-User Guide, Release 2.0. www.renew.de.
9. Lautenbach K. Linear algebraic techniques for place/transition nets. Petri Nets, Central Models and their Properties. LNCS vol. 254 (1987), Springer, Berlin
10. Lee G., Zandong H., and Lee J. Automatic generation of ladder diagram with control Petri Nets. Journal of Intelligent Manufacturing 15 2 (2004)
11. Object Management Group (OMG), 2003. MDA guide version 1.0.1. www.omg.org/mda.
12. Object Management Group (OMG), 2004. 'UML specification 2.0'. www.omg.org/uml.
13. Philippi, S., 2000. Seamless object-oriented software development on a formal base. In: Workshop on Software Engineering and Petri-Nets, 2000, Aarhus, Denmark.
14. Philippi S. Visual programming of concurrent object-oriented systems. Journal of Visual Languages and Computing 12 2 (2001)
15. Philippi S. A CASE-tool for the development of concurrent object-oriented systems based on Petri-nets. Petri-Net Newsletter 62 (2002) 9-22
16. Philippi S., Pinl A., and Rausch G. A first view on a generalised modelling toolkit for graph-based languages. Proceedings of the 12th Workshop on Algorithms and Tools for Petri-Nets (2005), Humboldt-University, Berlin, Germany
17. Rumbaugh J., Blaha M., Premerlani W., Eddy F., and Lorensen W. Object-oriented Modeling and Design (1991), Prentice Hall International
18. Uzam M., and Jones A.H. Discrete event control system design using automation Petri nets and their ladder diagram implementation. International Journal of Advanced Manufacturing Systems 14 10 (1998) 716-728 (Special Issue on Petri Nets Applications in Manufacturing Systems)
19. von Hutten, P., 2000. Modelling a ray tracing system with OOPr/T-models. Diploma thesis, University of Koblenz (in German).
20. von Hutten, P., Philippi, S., 2001. Modeling a concurrent ray-tracing algorithm using object-oriented Petri-nets. Technical Report 01-2001, University of Koblenz.
21. Wojke, P., 2002. Generation of efficient Java code from visual models in the NEPTUN CASE Tool. Diploma thesis, University of Koblenz (in German).