Skip to main content
SpringerLink
Log in

Input-Output Conditions for Automatic Program Generation Using Petri Nets

  • Conference paper
Knowledge-Based and Intelligent Information and Engineering Systems (KES 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6881))

  • 1302 Accesses

Abstract

Recently, demand for software has been increasing due to the influence of factory and office automation, so a software crisis has begun. Concerned with this situation, interest of automatic program generation has been increased. An automatic program generation system MAPP(Module Aided Programming system by Prolog) uses specifications written in easily understood language, and data structures with customized target objects using the generic Prolog module library. During program generation, using input and output conditions of modules, MAPP tries to compensate for any missing specifications when they are not completely described. In this paper, Petri nets will be used corresponds input-output conditions check of MAPP modules. The reachability of Petri net is mathematically analyzable using state equation, algebraic equation or incidence matrices of Petri nets.

This research was supported in part by the Grant-in-Aid for Scientific Research(C) 23560543, Japan Society for the Promotion of Science (JSPS).

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. Martin, J., McClure, C.: Diagramming Techniques for Analysis and Programmers. Prentice-Hall, Englewood Cliffs (1985)

    Google Scholar 

  2. Kai, Y., Endo, Y.: Structured Programming Diagram Techniques. Kyoritsu-Pub. (1992) (written in Japanese)

    Google Scholar 

  3. Nishida, F., Takamatsu, S., Fujita, Y., Tani, T.: Semi-Automatic Program Construction form Specifications using Library Modules. IEEE Trans. SE 17(9), 853–871 (1991)

    Article  Google Scholar 

  4. Osogami, M., Nishida, F.: Prolog based Module Retrieval and Program Generation. Memoirs of Fukui Univ. of Tech. 23, 313–320 (1993) (written in Japanese)

    Google Scholar 

  5. Harada, M.: The Everything of CASE. Ohm Corp. (1991) (written in Japanese)

    Google Scholar 

  6. Osogami, M., Nishida, F.: A Method of Automatic Program Designing and Soft Code Generation using Informal Procedure Call Sentences. In: Proc. of IASTED - ASC 1998, pp. 161–164 (1998)

    Google Scholar 

  7. Osogami, M.: A Method of Automatic Program Generation and Stractured Diagram using Informal Procedure Call Sentences. In: Proc. of IASTED - SEA 1999, pp. 104–108 (1999)

    Google Scholar 

  8. Murata, T.: Petri Nets:Properties, Analiysis and Applications. Proc. of IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  9. Osogami, M.: A study of Input and Output Conditions for Automatic Program Generation. Memoirs of Fukui Univ. of Tech. 37, 273–278 (2007) (written in Japanese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Management Informatioin Science, Fukui University of Technology, 3–6–1 Gakuen, Fukui–shi, Fukui–pref., 910–8505, Japan

    Masahiro Osogami, Teruya Yamanishi & Katsuji Uosaki

Authors
  1. Masahiro Osogami
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Teruya Yamanishi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Katsuji Uosaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Integrated Sensor Systems, University of Kaiserslautern, Erwin-Schroedinger-str. 12, 67663, Kaiserslautern, Germany

    Andreas König

  2. Knowledge-Based Systems Group, Department of omputer Science, University of Kaiserslautern, P.O. Box 3049, 67653, Kaiserslautern, Germany

    Andreas Dengel

  3. School of Business, University of Applied Sciences Northwestern Switzerland, Riggenbachstr. 16, 4600, Olten, Switzerland

    Knut Hinkelmann

  4. Graduate School of Engineering, Osaka Prefecture University, 1-1 Gakuen-cho, 599-8531, Sakai, Osaka, Japan

    Koichi Kise

  5. KES International, P.O. Box 2115, BN43 9AF, Shoreham-by-sea, UK

    Robert J. Howlett

  6. University of South Australia, Mawson Lakes, 5095, Adelaide, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Osogami, M., Yamanishi, T., Uosaki, K. (2011). Input-Output Conditions for Automatic Program Generation Using Petri Nets. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2011. Lecture Notes in Computer Science(), vol 6881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23851-2_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23851-2_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23850-5

  • Online ISBN: 978-3-642-23851-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation