Skip to main content
SpringerLink
Log in

S-CORT®: A method for the development of electronic payment systems

  • Conference paper
  • First Online:
Advances in Petri Nets 1989 (APN 1988)

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

Included in the following conference series:

Abstract

Unlike many preconceived ideas, industrial software development may be very expensive when no formal design method is used. Only the graphical representation of objects allows an efficient design process. Because of these reasons, the S-CORT® method, which relies on the formal model of net theory and the coherent graphical representation of different levels of nets, has been elaborated for the rapid development and reliable operations of distributed communication systems in the domain of electronic payment. This method is demonstrated through its five stages using an example of payment authorisation. The usage of nets through all stages presents an advantage over other methods when distributed value added communication system are designed.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C.Bages, N. Trèves: "S-CORT, a design method for telecommunications systems." Proc. International Workshop Software Engineering & Its Applications, Toulouse, France (1988).

    Google Scholar 

  2. P. Behm: "RAFAEL: A tool for analysing parallel systems in the L environment." Proc. 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland (1985).

    Google Scholar 

  3. JM. Bernard, JL. Mounier, N. Beldiceanu, S. Haddad: "AMI an extensible Petri nets interactive Workshop." Proc. 9th European Workshop on Applications and Theory of Petri nets, Venice, Italy (1988).

    Google Scholar 

  4. G. Berthelot: "Transformation et analyse des réseaux de Petri: application aux protocoles." Thèse d'Etat, Université Paris 6 (1983).

    Google Scholar 

  5. B. Berthomieu: "Analyse structurelle des réseaux de Petri: méthodes et outils." Thèse de Docteur Ingénieur, Université Paul Sabatier, Toulouse (1979).

    Google Scholar 

  6. H. Borgoltz: "Closing the Circuit; the role of the system integrator" proc. Intl. Conf. on Smart card applications and technologies, Smart card 1989, London (March 1989).

    Google Scholar 

  7. G.W. BRAMS: "Réseaux de Petri: théorie et pratique." Masson Ed., Paris (1983).

    Google Scholar 

  8. S. Budkowski, P. Dembinski: "An introduction to Estelle: a Specification Language for Distributed Systems." In: Computer Networks no 14, pp. 3–23, Elsevier Science Publishers B.V. (1987).

    Google Scholar 

  9. C. Choppy, C. Johnen: "Petrireve: Petri net transformations and proofs with rewriting systems." 6th European Workshop on Applications and Theory of Petri nets, Espoo, Finland (1985).

    Google Scholar 

  10. A. Davis: "A Comparison of Techniques for the Specification of External Behavior." CACM, vol. 31, no9,pp. 1098–1115 (1988).

    Google Scholar 

  11. L. Devinast, K. Zografos: "Documentation OPA 87." Internal report ARS/SYS/87/100, Sligos, Puteaux (1987).

    Google Scholar 

  12. H. Genrich, K. Lautenbach: "The analysis of distributed systems by means of Predicate/Transition nets." In: LNCS vol. 70, pp. 123–146, G. Kahn ed., Springer Verlag (1979).

    Google Scholar 

  13. S. Haddad, C. Girault: "Algebraic structure of flows of a regular coloured net." In: Advances in Petri nets 87, LNCS vol. 266, G. Rozenberg ed., Springer Verlag (1987).

    Google Scholar 

  14. P. Halluitte, T. Hildebrand: "Méthodologie des communications monétiques." Proc. Convention Informatique 1986, Paris (1986).

    Google Scholar 

  15. T. Hildebrand: "Design and Programming of Interfaces for Monetic Applications Using Petri Nets." In: Advances in Petri nets 84, LNCS vol. 188, G. Rozenberg ed., Springer Verlag (1985).

    Google Scholar 

  16. C.A.R. Hoare: "Communicating Sequential Processes". Comm. ACM, vol. 21, no8, pp. 666–677 (1978).

    Google Scholar 

  17. ISO: "Concepts and terminology for the conceptual schema and the information base". ISO report, ref. ISO/TC97/SC5-N695, Van Griethuysen JJ. (Ed.) (1982).

    Google Scholar 

  18. K. Jensen: "Coloured Petri Nets and the Invariants Method." TCS 14, pp 317–336, North-Holland Publishing Company (1981).

    Google Scholar 

  19. O. Languepin, C. Vincent: "VISA et MASTERCARD: les réseaux des géants." In: Ressources/Temps Réel no47, pp. 69–74, Paris (1989).

    Google Scholar 

  20. P. Lebas: "Spécification et validation d'un protocole bancaire ISO". Rapport de stage de DEA, Université Paris 6 (1988).

    Google Scholar 

  21. J. Martinez, M. Silva: "A simple and fast algorithm to obtain all invariants of a generalized Petri Net." In: C. Girault and W. Reisig ed., Informatik-Fachberichte 52, Springer-Verlag, pp. 301–310 (1982).

    Google Scholar 

  22. G. Memmi: "Méthodes d'analyse des Réseaux de Petri, Réseaux à Files, et applications aux sytèmes Temps-Réel." Thèse de Doctorat d'Etat, Université Pierre et Marie Curie, Paris (1983).

    Google Scholar 

  23. R1055: MERCHANT — Methods in Electronic Retail Cash Handling using Advanced Network Technologies. In: Research and Development in Advanced Communications Technologies in Europe, RACE'89, CEC DGXIII-F, Brussels (March 1989).

    Google Scholar 

  24. B. Montel, D. Grissault, E. Le Mer, C. Robert, A. Sivet, P. Azema, S. Bachmann, B. Berthomieu, M. Diaz, B. Pradin: "OVIDE, a software package for the validation of systems represented by Petri nets based models." 4th Workshop on Application and Theory of Petri nets, pp. 292–308, Toulouse, France (1983).

    Google Scholar 

  25. J.L. Peterson: "Petri net theory and the modelling of systems." Prentice Hall (1981).

    Google Scholar 

  26. C.A. Petri: "Kommunikation mit Automaten." Institut für Instrumentelle Mathematik, Schriften des IIM no 2, Bonn (1962).

    Google Scholar 

  27. "Petri nets in software engineering." In: Petri nets: applications and relationship to other models of concurrency, LNCS vol. 255, W. Brauer, W. Reisig, G. Rozenberg ed., Springer-Verlag (1987).

    Google Scholar 

  28. D.T. Ross, K.E. Schoman: "Structured analysis for Requirement Definition." In: IEEE-SE (January 1977).

    Google Scholar 

  29. H. Tardieu, A. Rochfeld, R. Coletti: "La méthode MERISE, principes et outils." Edition d'Organisation ed. (1983).

    Google Scholar 

  30. M. Silva, J. Martinez, P. Ladet, H. Alla: "Generalized inverses and the calculation of symbolic invariants for Coloured Petri Nets." TSI vol. 4 no1 numéro special Réseaux de Petri, G. Memmi ed., pp. 113–126 (1985).

    Google Scholar 

  31. Y. Souissi, G. Memmi: "Composition of nets via a communication medium." 10th Conference on Application and Theory of Petri nets, pp. 292–311, Bonn, Germany (1989).

    Google Scholar 

  32. N. Trèves: "COMBAG: a tool for the computation of a basis and a set of generators of semi-flows in Pr/T systems." Proc. of PPA'87, pp. 181–193, l'Aquila, Italy (1987).

    Google Scholar 

  33. J. Vautherin: "Parallel system specifications with coloured Petri nets and algebraic specifications." In: Advances in Petri nets 87, LNCS vol. 266, G. Rozenberg ed., Springer-Verlag (1987).

    Google Scholar 

  34. F. Vidondo, I. Lopez: "GALILEO: a methodology for modelling and designing real time systems." In: Application and Theory of Petri Nets, IFB vol. 52, Springer-Verlag (1982).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département Recherche et Développements Techniques Cedex 49, SLIGOS, F-92067, Paris-La Défense

    Theodor Hildebrand & Nicolas Trèves

Authors
  1. Theodor Hildebrand
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicolas Trèves
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hildebrand, T., Trèves, N. (1990). S-CORT®: A method for the development of electronic payment systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52494-0_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-52494-0_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52494-6

  • Online ISBN: 978-3-540-46998-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation