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

  • Theodor Hildebrand
  • Nicolas Trèves
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 424)


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.

Key words

Application of Petri nets electronic payment systems value added communication systems software engineering methods formal specification net theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bages...88]
    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. [Behm 85]
    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. [Bernard... 88]
    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. [Berthelot 83]
    G. Berthelot: "Transformation et analyse des réseaux de Petri: application aux protocoles." Thèse d'Etat, Université Paris 6 (1983).Google Scholar
  5. [Berthomieu 79]
    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. [Borgoltz 89]
    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. [BRAMS 83]
    G.W. BRAMS: "Réseaux de Petri: théorie et pratique." Masson Ed., Paris (1983).Google Scholar
  8. [Budkowski... 87]
    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. [Choppy... 85]
    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. [Davis 88]
    A. Davis: "A Comparison of Techniques for the Specification of External Behavior." CACM, vol. 31, no9,pp. 1098–1115 (1988).Google Scholar
  11. [Devinast... 87]
    L. Devinast, K. Zografos: "Documentation OPA 87." Internal report ARS/SYS/87/100, Sligos, Puteaux (1987).Google Scholar
  12. [Genrich... 79]
    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. [Haddad... 87]
    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. [Halluitte... 86]
    P. Halluitte, T. Hildebrand: "Méthodologie des communications monétiques." Proc. Convention Informatique 1986, Paris (1986).Google Scholar
  15. [Hildebrand 85]
    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. [Hoare 78]
    C.A.R. Hoare: "Communicating Sequential Processes". Comm. ACM, vol. 21, no8, pp. 666–677 (1978).Google Scholar
  17. [ISO 82]
    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. [Jensen 81]
    K. Jensen: "Coloured Petri Nets and the Invariants Method." TCS 14, pp 317–336, North-Holland Publishing Company (1981).Google Scholar
  19. [Languepin... 89]
    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. [Lebas 88]
    P. Lebas: "Spécification et validation d'un protocole bancaire ISO". Rapport de stage de DEA, Université Paris 6 (1988).Google Scholar
  21. [Martinez... 82]
    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. [Memmi 83]
    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. [Merchant 89]
    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. [Montel... 83]
    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. [Peterson 81]
    J.L. Peterson: "Petri net theory and the modelling of systems." Prentice Hall (1981).Google Scholar
  26. [Petri 62]
    C.A. Petri: "Kommunikation mit Automaten." Institut für Instrumentelle Mathematik, Schriften des IIM no 2, Bonn (1962).Google Scholar
  27. [Reisig 87]
    "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. [Ross... 77]
    D.T. Ross, K.E. Schoman: "Structured analysis for Requirement Definition." In: IEEE-SE (January 1977).Google Scholar
  29. [Tardieu... 83]
    H. Tardieu, A. Rochfeld, R. Coletti: "La méthode MERISE, principes et outils." Edition d'Organisation ed. (1983).Google Scholar
  30. [Silva... 85]
    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. [Souissi... 89]
    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. [Trèves 87]
    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. [Vautherin 87]
    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. [Vidondo... 82]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Theodor Hildebrand
    • 1
  • Nicolas Trèves
    • 1
  1. 1.Département Recherche et Développements Techniques Cedex 49SLIGOSParis-La Défense

Personalised recommendations