This paper has been accepted at the OOPSLA 2002 workshop on Behavioral Semantics Integrating Behavior Protocols in Enterprise Java Beans
Abstract:
Behavioral protocols have been proposed to enhance component-based systems by including sequencing constraints on component interactions in component interfaces. However, no existing component-based models provide support for behavioral protocols. In this paper, we discuss the integration of behavioral protocol in Sun’s Enterprise JavaBeans (EJB) component model in three steps. First, we introduce the notion of coherence between behavioral protocols and component source code. Second, we discuss of the relations of behavioral protocols to the different interface-related concepts in EJB components (remote interface, deployment descriptor...). Third, we describe possibilities of automatic enforcement of behavioral protocols by means of automated extraction of protocols from components and verification of the notion of coherence against expected behavioral protocols. 1
Citations
| 213 | A Formal Approach to Software Architecture – Allen - 1997 |
| 13 | On components with explicit protocols satisfying a notion of correctness by construction – Farías, Südholt - 2002 |
| 13 | Component Composition Based on Composition Patterns and Usage Scenarios – Wydaeghe - 2001 |
| 6 | Enterprise JavaBeans – DeMichiel, Yalcinalp, et al. - 2001 |
| 2 | Open source middleware, JOnAS: Java (tm) open application server – ObjectWeb - 2002 |
