Programming in protocols A paradigm of behavioral programming

ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2008, Pages 23-30

  McNeile, Ashley ^a   Roubtsova, Ella ^b  

^a Metamaxim Ltd   (United Kingdom)

^b OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

Object orientation programming modeling composition CSP protocols

Indexed keywords

LINGUISTICS; SOFTWARE ENGINEERING;

ALGEBRAIC TECHNIQUES; BEHAVIORAL DESCRIPTIONS; BEHAVIORAL MODELS; OBJECT MODELS; OBJECT-ORIENTATION PROGRAMMING MODELING COMPOSITION CSP PROTOCOLS; PROGRAMMING PARADIGMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 55849095416     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

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. Prentice-Hall.
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.