Message Flow Control

  • A. T. M. Aerts
  • W. Hofman
  • L. J. Somers
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT)


High level communication by means of the exchange of messages between different organizations or organizational units is studied. The concepts of business transaction and business transaction protocol are discussed. Message exchanges are controlled by a message handler that enforces a transaction protocol. The design and implementation of a generic message handler is described. The design is independent of a specific application. It offers a flexible implementation of protocols: dedicated subprocesses handle each message type. Changes in a protocol can easily be accommodated by adapting the subprocesses. A prototype has been written in the executable specification language ExSpect. The protocols can be validated by simulating the message exchange for a number of cases. As an application of the prototype, a party in a logistic chain using EDI is described.


Business transactions Transaction protocol Simulation EDI Petri nets 


  1. Bernstein, P.A., Hadzilacos, V., Goodman, N. (1987) Concurrency Control and Recovery in Database Systems. Addison-Wesley Publishing Co.Google Scholar
  2. Gray, J. and Reuter, A. (1993) Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc.Google Scholar
  3. van Hee, K.M., Somers L.J., Voorhoeve, M. (1989) Executable specifications for distributed information systems, in Information system concepts: an in-depth analysis, (eds. E.D. Falkenberg, P. Lindgreen ), North-Holland.Google Scholar
  4. Hofman, W.J. (1994) A conceptual model of a Business Transaction Management System. Tutein Nolthenius, Amsterdam.zbMATHGoogle Scholar
  5. Jensen, K. (1992) Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1: Basic concepts. EATCS monographs on Theoretical Comp. Sci., Springer-Verlag.zbMATHGoogle Scholar
  6. Koop, C. (1993) ExSpect prototype of a party in External Logistics. Masters thesis, Eindhoven University of Technology. (In Dutch.)Google Scholar
  7. Leyland, V. (1993) Electronic Data Interchange. Prentice Hall International.Google Scholar
  8. Mullen, J.G., Elmagarmid, A.K., Kim, W., Sharif-Askary, J. (1991) On the impossibility of Atomic Commitment in Multidatabase Systems, in Proc. First Int’l Workshop on Interoperability in Multidatabase Systems, pp. 625–634.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • A. T. M. Aerts
    • 1
  • W. Hofman
    • 2
  • L. J. Somers
    • 1
  1. 1.Dept. Math. and Comp. Sci.Eindhoven Univ. of TechnologyEindhovenThe Netherlands
  2. 2.Bakkenist Management ConsultantsAmsterdamThe Netherlands

Personalised recommendations