Coordination-policy based composed system behavior derivation

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2007, Pages 151-158

  Lau, Yiming ^a   Zhao, Wenyun ^a   Peng, Xin ^a   Jiang, Zhixiong ^a   Shen, Liwei ^a  

^a FUDAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CERIUM; COMPUTER NETWORKS; E-LEARNING; INFORMATION SCIENCE; METROPOLITAN AREA NETWORKS; NETWORK PROTOCOLS; SOFTWARE ENGINEERING; TECHNOLOGY;

(PL) PROPERTIES; (R ,S ,S) POLICY; ASIA PACIFIC; COMPONENT-BASED; COORDINATION ENVIRONMENT; LIVENESS; SYSTEM BEHAVIORS; SYSTEM COMPONENTS; SYSTEM PROPERTIES;

INFORMATION SYSTEMS;

EID: 44949127116     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2007.37     Document Type: Conference Paper

References (16)

1. Hu J, Yu XF, Zhang Y,etc. Checking component-based designs for scenario-based specification. Chinese Journal of Computers, 2006, 29(4): 513-525 (in Chinese, with English abstract).
2. de Alfaro, L. and T. A. Henzinger, Interface Automata, in: Proceedings of 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001), ACM Press, New York (2001), 109-120.
3. Szyperski, C. Component software: beyond object-oriented programming. ACM Press and Addison Wesley, New York, USA (1998).
4. Heineman, G. T. and W. T. Councill, "Componet-Based Software Engineering: Putting the Pieces Together", Addison-Wesleg, Boston, 2001.
5. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, pp. 213-249, July 1997.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2001.
7. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040-1059, July 1993.
8. E. Tronci. Automatic synthesis of controllers from formal specifications. Proc. of 2nd IEEE Int. Conf. On Formal Engineering Methods, December 1998.
9. D. Giannakopoulou, C. S. Pasareanu, and H. Barringer. Assumption generation for software component verification. Proc. 17th IEEE Int. Conf. Automated Software Engineering 2002, September 2002.
10. A. Bracciali, A. Brogi, and C. Canal. A formal approach to component adaptation. Journal of Systems and Software, 74(1):45-54, 2005.
11. D. Yellin and R. Strom. Protocol specifications and component adaptors. ACM Trans. On Programming Languages and Systems, 19(2):292-333, March 1997.
12. P. Inverardi and M. Tivoli. Deadlock-free software architectures for com/dcom applications. Elsevier Journal of Systems and Software Special Issue Component-based Software Engineering - Journal No.: 7735 - Vol.: 65 - 3-Pages: 173 -183 - Article No.: 7346, 2003.
13. D. Giannakopoulou, J. Kramer, and S. Cheung. Behaviour analysis of distributed systems using the tracta approach. Journal of Automated Software Engineering, special issue on Automated Analysis of Software, 6(1):7-35, January 1999.
14. E. Tronci. Automatic synthesis of controllers from formal specifications. Proc. of 2nd IEEE Int. Conf. on Formal Engineering Methods, December 1998.
15. M. Tivoli and M. Autili. SYNTHESIS: a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L'Objet journal. Special Issue on Software Adaptation. Volume 12, Number 1, pp. 77-103, 2006.
16. M. Autili, P. Inverardi, M. Tivoli and D. Garlan. Synthesis of "correct" adaptors for protocol enhancement in component based systems. In Proceedings of Specification and Verification of Component-Based Systems (SAVCBS'04) Workshop at FSE 2004. pp.79-86, 2004.