An Interface Group for Process Components

• Autorzy: Bergstra J.A. , Middelburg C.A.
• Języki publikacji: EN

Abstrakty

EN

We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize the interfaces of interacting process components by means of an interface group. An interesting feature of the interface group is that it allows for distinguishing between expectations and promises in interfaces of process components. This distinction comes into play in case components with both client and server behaviour are involved.

Słowa kluczowe

EN

interface group; process component; process algebras

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 99, nr 4
• Strony: 335--382
• Opis fizyczny: Bibliogr. 22 poz.

Twórcy

autor

Bergstra J.A.

autor

Middelburg C.A.

• Informatics Institute, University of Amsterdam, Science Park 107, 1098 XG Amsterdam, the Netherlands,

Bibliografia

• [1] Aceto, L., Fokkink,W. J., Verhoef, C.: Structural Operational Semantics, in: Handbook of Process Algebra (J. A. Bergstra, A. Ponse, S. A. Smolka, Eds.), Elsevier, Amsterdam, 2001, 197-292.
• [2] de Alfaro, L., Henzinger, T. A.: Interface Automata, ESEC/FSE 2001, ACM Press, 2001, 109-120.
• [3] Baeten, J. C. M., Bergstra, J. A., Klop, J. W.: Conditional Axioms and _/_-Calculus in Process Algebra, Formal Description of Programming Concepts III (M. Wirsing, Ed.), North-Holland, 1987, 53-75.
• [4] Baeten, J. C. M., Verhoef, C.: Concrete Process Algebra, in: Handbook of Logic in Computer Science (S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Eds.), vol. IV, Oxford University Press, Oxford, 1995, 149-268.
• [5] Baeten, J. C. M., Weijland, W. P.: Process Algebra, vol. 18 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1990.
• [6] Bergstra, J. A., Heering, J., Klint, P.: Module Algebra, Journal of the ACM, 37(2), 1990, 335-372.
• [7] Bergstra, J. A., Klop, J. W.: Process Algebra for Synchronous Communication, Information and Control, 60(1-3), 1984, 109-137.
• [8] Bergstra, J. A., Klop, J. W.: Process Algebra: Specification and Verification in Bisimulation Semantics, Proceedings Mathematics and Computer Science II (M. Hazewinkel, J. K. Lenstra, L. G. L. T. Meertens, Eds.), 4, North-Holland, 1986, 61-94.
• [9] Bergstra, J. A., Ponse, A.: Interface Groups and Financial Transfer Architectures, Electronic Report PRG0702, Programming Research Group, University of Amsterdam, May 2007, Available from http://www.science.uva.nl/research/prog/publications.html.
• [10] Feijs, L. M. G., Qian, Y.: Component Algebra, Science of Computer Programming, 42, 2002, 173-228.
• [11] Fokkink,W. J.: Introduction to Process Algebra, Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag, Berlin, 2000.
• [12] Groote, J. F., Ponse, A.: The Syntax and Semantics of μCRL, Algebra of Communicating Processes 1994 (A. Ponse, C. Verhoef, S. F. M. van Vlijmen, Eds.), Workshops in Computing Series, Springer-Verlag, 1995, 26-62.
• [13] Hoare, C. A. R.: Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, 1985.
• [14] Lynch, N., Tuttle, M.: Hierarchical Correctness Proofs for Distributed Algorithms, Proceedings 6th ACM Symposium on Principles of Distributed Computing, ACM Press, 1987, 137-151.
• [15] Mauw, S., Veltink, G. J.: A Process Specification Formalism, Fundamenta Informaticae, 13(2), 1990, 85-139.
• [16] Middelburg, C. A.: An Alternative Formulation of Operational Conservativity with Binding Terms, Journal of Logic and Algebraic Programming, 55(1-2), 2003, 1-19.
• [17] Milner, R.: Communication and Concurrency, Prentice-Hall, Englewood Cliffs, 1989.
• [18] Pahl, C.: An Ontology for Software Component Matching, FASE 2003 (M. Pezz`e, Ed.), 2621, Springer- Verlag, 2003, 6-21.
• [19] Sannella, D., Tarlecki, A.: Algebraic Preliminaries, in: Algebraic Foundations of Systems Specification (E. Astesiano, H.-J. Kreowski, B. Krieg-Br¨uckner, Eds.), Springer-Verlag, Berlin, 1999, 13-30.
• [20] Scheben, U.: Hierarchical Composition of Industrial Components, Science of Computer Programming, 56(1-2), 2005, 117-139.
• [21] Vaandrager, F. W.: Some Observations on Redundancy in a Context, in: Applications of Process Algebra (J. C. M. Baeten, Ed.), vol. 17 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1990, 237-260.
• [22] Wirsing,M.: Algebraic Specification, in: Handbook of Theoretical Computer Science (J. van Leeuwen, Ed.), vol. B, Elsevier, Amsterdam, 1990, 675-788.