PROGRAMMING IN PROTOCOLS - A Paradigm of Behavioral Programming

Ashley McNeile, Ella Roubtsova

2008

Abstract

We present work in the creation of a programming paradigm based on the event protocols of objects. Our claim is this results in a high level executable language that bridges the gap between behavioral models and code for a large class of systems. The language is based on the idea of composing partial behavioral descriptions using process algebraic techniques. We show that the concepts forming the basis of this language shed light on questions relating to the description of behavior in object models, particularly in the areas of reuse, abstraction, and behavioral conformance.

References

  1. Benveniste, A. and Berry, G. (2002). The synchronous approach to reactive and real-time systems. Kluwer Academic Publishers.
  2. Bracha, G. and Cook, W. (1990). Mixin-based inheritance. In ASM conference on Object-Oriented Programming, Systems, Langiuages, Applications, pages 179-183.
  3. Cook, S. and Daniels, J. (1994). Designing Object Systems: Object-oriented Modelling with Syntropy. PrenticeHall.
  4. Cook, W., Hill, W., and P.Canning (1990). Inheritance is not subtyping. In 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 125-135. ACM.
  5. Dantas, D. and Walker, D. (2006). Harmless advice. In 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 383-396. ACM.
  6. Ebert, J. and Engels, G. (1994a). Dynamic models and behavioural views. LNCS 858.
  7. Ebert, J. and Engels, G. (1994b). Observable or invocable behaviour - you have to choose. Technical report 94-38. Department of Computer Science, Leiden University.
  8. Fielding, R. (2000). Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine.
  9. Gray, J. (1981). The transaction concept: Virtues and limitations. In 7th International Conference on Very Large Data Bases, pages 144-154.
  10. Jackson, M. (1983). System Development. Prentice Hall.
  11. McNeile, A. and Simons, N. (2003). State machines as mixins. Journal of Object Technology, 2(6):85-101.
  12. McNeile, A. and Simons, N. (2006). Protocol modelling. a modelling approach that supports reusable behavioural abstractions. Journal of Software and System Modeling, 5(1):91-107.
  13. McNeile, A. and Simons, N. (2007). A typing scheme for behavioural models. Journal of Object Technology, 6(10):81-94.
  14. Schrefli, M. and Stumptner, M. (2000). On the design of behavior consistent specialization of object life cycles in obd and uml. In Advances in Object-Oriented Data Modelling, pages 65-104. MIT Press.
  15. Shlaer, S. and Mellor, S. (1992). Object Life Cycles - Modeling the World in States. Yourdon Press/Prentice Hall.
Download


Paper Citation


in Harvard Style

McNeile A. and Roubtsova E. (2008). PROGRAMMING IN PROTOCOLS - A Paradigm of Behavioral Programming . In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-28-9, pages 23-30. DOI: 10.5220/0001759200230030


in Bibtex Style

@conference{enase08,
author={Ashley McNeile and Ella Roubtsova},
title={PROGRAMMING IN PROTOCOLS - A Paradigm of Behavioral Programming},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2008},
pages={23-30},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001759200230030},
isbn={978-989-8111-28-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - PROGRAMMING IN PROTOCOLS - A Paradigm of Behavioral Programming
SN - 978-989-8111-28-9
AU - McNeile A.
AU - Roubtsova E.
PY - 2008
SP - 23
EP - 30
DO - 10.5220/0001759200230030