Scenario-driven component behavior derivation

Ruan Jian Xue Bao/Journal of Software

Volumn 18, Issue 1, 2007, Pages 50-61

  Zhang, Yan ^a   Hu, Jun ^a   Yu, Xiao Feng ^a   Zhang, Tian ^a   Li, Xuan Dong ^a   Zheng, Guo Liang ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

Behavior derivation; Component; Interface automaton; MSC (message sequence chart); Supremum inclusive environment

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; SPECIFICATIONS;

ACTION SEQUENCE; BEHAVIOR DERIVATION; COMPONENT; INTERFACE AUTOMATON; MESSAGE SEQUENCE CHART (MSC); REDUNDANT FUNCTIONALITY; SCENARIO SPECIFICATION; SUPREMUM INCLUSIVE ENVIRONMENT (SIE);

SOFTWARE ENGINEERING;

EID: 34247257406     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos180050     Document Type: Article

References (11)

1. Allen R, Garlan D. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology, 1997, 6(3): 213-249.
2. Bracciali A, Brogi A, Canal C. A formal approach to component adaptation. Journal of Systems and Software, 2005, 74(1): 45-54.
3. Yellin DM, Strom RE. Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems, 1997, 19(2): 292-333.
4. de Alfaro L, Henzinger TA. Interface automata. In: Wermelinger M, Gall H, eds. Proc. of the 9th Annual ACM Symp. on Foundations of Software Engineering (FSE 2001). New York: ACM Press, 2001. 109-120.
5. ITU-T. ITU-T recommendation Z.120: Message Sequence Chart (MSC). Geneva: ITU-T, 1999.
6. Hu J, Yu XF, Zhang Y, Wang LZ, Li XD, Zheng GL. Checking component-based designs for scenario-based specification. Chinese Journal of Computers, 2006, 29(4): 513-525 (in Chinese with English abstract).
7. Zhang Y, Hu J, Yu XF, Zhang T, Li XD, Zheng GL. Deriving available behavior all out from incompatible component compositions. In: Liu Z, Barbosa L, eds. Proc. of the 2nd Int'l Workshop on Formal Aspects of Component Software (FACS 2005). ENTCS 160. Netherlands: Elsevier, 2006. 349-361. http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1 -4KKPCPF-T-1&_cdi=13109&_user=2316225
8. Mili R, Mili A, Mittermeir RT. Storing and retrieving software components: A refinement based system. IEEE Trans. on Software Engineering, 1997, 23(7): 445-460.
9. Sugumaran V, Storey VC. A semantic-based approach to component retrieval. ACM SIGMIS Database, 2003, 34(3): 8-24.
10. Tansalarak N, Claypool K. Finding a needle in the haystack: A technique for ranking matches between components. In: Heineman G, Crnkovic I, Schmidt HW, Stafford JA, Szyperski CA, Wallnau KC, eds. Proc. of the 8th Int'l Symp. on Component-Based Software Engineering (CBSE 2005). LNCS 3489, Berlin, Heidelberg, New York: Springer-Verlag, 2005. 171-186.
11. Atkinson S. Examining behavioural retrieval. In: Proc. of the 8th Annual Workshop on Institutionalizing Software Reuse (WISR8). 1997. http://www.umcs.maine.edu/ftp/wisr/wisr8/papers/atkinson/atkinson.html