Checking component-based designs for scenario-based specifications

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 29, Issue 4, 2006, Pages 513-525

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

^a NANJING UNIVERSITY   (China)

Author keywords

Component based design; Interface automata; Model checking; Sequence diagrams; UML

Indexed keywords

COMPONENTS; INTERFACES (COMPUTER); RELIABILITY; SPECIFICATIONS; SYSTEMS ANALYSIS;

COMPONENT BASED DESIGN; INTERFACE AUTOMATA (IA); MESSAGE SEQUENCE CHARTS (MSC); MODEL CHECKING; RESOURCE INTERFACE (RI); SCENARIO BASED SPECIFICATIONS; SEQUENCE DIAGRAMS; SERVICE ORIENTED COMPUTING (SOC); TRAFFIC COLLISION AVOIDANCE SYSTEM; UNIFIED MODELING LANGUAGE (UML);

SOFTWARE ENGINEERING;

EID: 33744962488     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. de Alfaro L., Henzinger T. A. Interface automata. In: Proceedings of the Joint 8th European Software Engineering Conference and the 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Vienna, Austria, 2001, 109-120
2. Booch G., Rumbaugh J., Jacobson I.. The Unified Modeling Language User Guide, 2nd. Boston: Addison-Wesley, 2005
3. Damn W., Harel David.. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 2001, 19(1): 45-80
4. Peled D. A.. Software Reliability Methods. Springer, 2001
5. Lynch N. A.. Input/output automata: Basic, timed, hybrid, probabilistic, dynamic. In: Proceedings of the 14th International Conference on Concurrency Theory, Marseille, France, 2003, 187-188
6. de Alfaro L., Henzinger T. A., Stoelinga M.. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, 108-122
7. Chakrabarti A., de Alfaro L., Henzinger T. A., Stoelinga M.. Resource interfaces. In: Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, 117-133
8. Wen Y., Wang J., Qi Z.. Bridging refinement of interface automata to forward simulation of I/O automata. In: Proceedings of the 6th International Conference on Formal Engineering Method, Seattle, USA, 2004, 259-273
9. Lee E. A., Xiong Y.. System-level types for component-based design. In: Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, 237-253
10. Schafer T., Knapp A., Merz S.. Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science, 2001, 55(3): 19-24
11. Holzmann G. J.. The model checker SPIN. IEEE Transactions on Software Engineering, 1997, 23(5): 279-295
12. Bultan T., Fu X., Hull R., Su J.. Conversation specification: A new approach to design and analysis of e-service composition. In: Proceedings of the 12th International World Wide Web Conference (WWW), Budapest, Hungary, 2003, 403-410
13. Li X., Cui M., Pei Y., Zhao J., Zheng G.. Timing analysis of UML activity diagrams. In: Proceedings of the 4th International Conference on the Unified Modeling Language, Toronto, Canada, 2001, 62-75
14. Li X., Lilius J.. Checking compositions of UML sequence diagrams for timing inconsistency. In: Proceedings of the 7th Asia-Pacific Software Engineering Conference, Singapore, 2000, 154-161
15. Hu J., Yu X., Zhang Y., Zhang T. et al. Scenario-based verification for component-based embedded software designs. In: Proceeding of the 34th International Conference on Parallel Processing Workshops, Oslo, Norway, 2005, 240-247
16. Hu J., Yu X., Zhang Y., Zhang T., Li X., Zheng G.. Scenario-based verification for real-time component-based embedded software designs. In: Proceedings of the IFIP International Conference on Embedded and Ubiquitous Computing, Nagakasi, Japan, 2005, 395-404