A timed extension of property sequence chart

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2008, Pages 197-206

  Zhang, Pengcheng ^a   Li, Bixin ^a   Sun, Mingjie ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; SYSTEMS ENGINEERING; TEMPORAL LOGIC;

COMPUTATION TREE LOGIC (CTL); CONCURRENT SYSTEMS; PROPERTY (S); TEMPORAL PROPERTIES; TIME SYSTEMS; WEB SERVICE APPLICATIONS;

REAL TIME SYSTEMS;

EID: 58449086740     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2008.20     Document Type: Conference Paper

References (20)

1. R. Alur and C. Courcoubetis. A really temporal logic. Journal of the ACM, 41(l):181-204, 1994.
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2-34, 1993.
3. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, 1994.
4. M. Autili, P. Inverardi, and P. Pelliccione. A scenario based notation for specifying temporal properties. In 5th SCESM06, ICSE06, pages 21-28, 2006.
5. M. Autili, P. Inverardi, and P. Pelliccione. Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Engineering, 14(3):293-340, 2007.
6. L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spo-letini. A timed extension of wscol. In IEEE International Conference on Web Services, pages 663-670, 2007.
7. L. K, Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, and Y. S. Ramakrishna. A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology, 3(2): 131-165, 1994.
8. M. B. Dwyer, G. S. Awunin, and J. C. Corbett. Property specification patterns for finite-state verification. In Proc. 21th International Conference on Software Engineering (ICSE1999), pages 411-420, 1999.
9. R. Gerth, D. Peled, M. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In 5th IFIP WG6.1 Int. Symposium on Protocol Specification, Testing and Verification XV, pages 3-18, 1996.
10. V. Gruhn and R. Laue. Patterns for timed property specifications. Electr. Notes Theor. Comput. Sci, 153(2): 117-133, 2006.
11. L. Grunske. Specification patterns for probabilistic quality properties. In Proc. of 31th International Conference on Software Engineering (ICSE08), pages 31-40, 2008.
12. G. J. Holzmann. The model checker spin. IEEE Tran. on Software Engineering, 23(5):279-295, 1997.
13. S. Konrad and B. H. C. Cheng. Real-time specification patterns. In Proc. of 28th International Conference on Software Engineering (ICSE05), pages 372-381, 2005.
14. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.
15. L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, and L. K. Dillon. The real-time graphical interval logic toolset. Lecture Notes in Computer Science, 1102:446-449, 1996.
16. Object Management Group (OMG). UML 2.1.1 superstructure, 2006.
17. P. C Zhang, B. X. Li, H. Muccini, and M. J. Sun. An approach to monitor scenario-based temporal properties in web service compositions. In Doctoral Consortium on Data Engineering and Web Technology Research (DeWeb 2008), in conjunction with APWeb, Lecture Notes in Computer Science 4977, pages 144-154, Shenyang, China, 2008. Springer press.
18. P. C. Zhang, B, X. Li, and M. J. Sun. Extending PSC for monitoring the timed properties in composite services. In Proc. of 15th Asia-Pacific Software Engineering Conference (APSEC 2008), Beijing, China, 2008. IEEE Computer Society Press.
19. P. C. Zhang, B. X. Li, and M. J. Sun. A timed extension of property sequence chart. Technical report, Chair of Software Testing and Verification, Southeast University, 2008.
20. P. C Zhang, B. X. Li, M. J. Sun, and X. F. Gong. A PSC-based approach to monitor the timed properties in web service composition. In 32nd Annual IEEE International Computer Software and Applications Conference, pages 112-115, Turku, Finland, 2008. IEEE Computer Society.