Timed Property Sequence Chart

Journal of Systems and Software

Volumn 83, Issue 3, 2010, Pages 371-390

  Zhang, Pengcheng ^a,c   Li, Bixin ^a   Grunske, Lars ^b  

^a SOUTHEAST UNIVERSITY   (China)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^c HOHAI UNIVERSITY   (China)

Author keywords

Property Sequence Chart; Real time specification patterns; Timed Property Sequence Chart; Timing properties

Indexed keywords

CONCURRENT SYSTEMS; EXPRESSIVE POWER; REAL TIME SPECIFICATIONS; SEQUENCE CHARTS; TEMPORAL PROPERTY; TIMING PROPERTIES; TIMING REQUIREMENTS; WEB SERVICE APPLICATIONS;

SPECIFICATIONS; TIME MEASUREMENT;

REAL TIME SYSTEMS;

EID: 75349088397     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2009.09.013     Document Type: Article

References (44)

1. Alur R., and Courcoubetis C. A really temporal logic. Journal of the ACM 41 1 (1994) 181-204
2. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994)
3. Alur R., Courcoubetis C., and Dill D. Model-checking in dense real-time. Information and Computation 104 1 (1993) 2-34
4. Autili M., and Pelliccione P. Towards a graphical tool for refining user to system requirements. Electronic Notes in Theoretical Computer Science 211 (2008) 147-157
5. Autili, M., Inverardi, P., Pelliccione, P., 2006. A scenario based notation for specifying temporal properties. In: Whittle, J., Geiger, L., Meisinger, M. (Eds.), SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, ACM Press, pp. 21-28.
6. Autili M., Inverardi P., and Pelliccione P. Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Engineering 14 3 (2007) 293-340
7. Baier C., Cloth L., Haverkort B.R., Kuntz M., and Siegle M. Model checking markov chains with actions and state labels. IEEE Transactions on Software Engineering 33 4 (2007) 209-224
8. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P., 2007. A timed extension of WSCoL. In: IEEE International Conference on Web Services, pp. 663-670.
9. Bellini P., Nesi P., and Rogai D. Expressing and organizing real-time specification patterns via temporal logics. Journal of Systems and Software 82 2 (2009) 183-196
10. Colvin R., Grunske L., and Winter K. Timed behavior trees for failure mode and effects analysis of time-critical systems. Journal of Systems and Software 81 12 (2008) 2163-2182
11. Damm W., and Harel D. LSCs: breathing life into message sequence charts. Formal Methods in System Design 19 1 (2001) 45-80
12. Dong J.S., Hao P., Qin S., Sun J., and Yi W. Timed automata patterns. IEEE Transactions on Software Engineering 34 6 (2008) 844-859
13. Dwyer, M.B., Avrunin, G.S., Corbett, J.C., 1999. Property specification patterns for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering (ICSE99), ACM Press, pp. 411-420.
14. Firley, T., Huhn, M., Diethers, K., Gehrke, T., Goltz, U., 1999. Timed sequence diagrams and tool-based analysis - a case study. In: Proceedings of the UML 99, pp. 645-660.
15. Gruhn V., and Laue R. Patterns for timed property specifications. Electronic Notes in Theoretical Computer Science 153 2 (2006) 117-133
16. Grunske, L., 2008. Specification patterns for probabilistic quality properties. In: Schäfer, W., Dwyer, M.B., Gruhn, V. (Eds.), Proceedings of the 30th International Conference on Software Engineering (ICSE08), ACM Press, pp. 31-40.
17. Grunske, L., Zhang, P., 2009. Monitoring probabilistic properties. In: Proceedings of the 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) ESEC/FSE 2009, ACM Press, pp. 183-192.
18. Grunske, L., Colvin, R., Winter, K., 2007a. Probabilistic model-checking support for FMEA. In: Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems, QEST 07, IEEE Computer Society, pp. 119-128.
19. Grunske, L., Winter, K., Colvin, R., 2007b. Timed behavior trees and their application to verifying real-time systems. In: Australian Software Engineering Conference, IEEE Computer Society, pp. 211-222.
20. Harel, D., Marelly, R., 2002. Playing with time: on the specification and execution of time-enriched LSCs. In: MASCOTS, pp. 193-202.
21. Holzmann, G.J., 2002. The logic of bugs. In: Griswold, W.G. (Ed.), Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-02), Software Engineering Notes, vol. 27, 6, ACM Press, New York, pp. 81-88.
22. ITU, 1999. Message Sequence Chart (MSC). International Telecomm. Union.
23. Konrad, S., Cheng, B.H.C., 2005. Real-time specification patterns. In: Roman, G.-C., Griswold, W.G., Nuseibeh, B. (Eds.), Proceedings of the 27th International Conference on Software Engineering (ICSE 05), ACM Press, pp. 372-381.
24. Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems 2 4 (1990) 255-299
25. Kutty, G., Ramakrishna, Y.S., Moser, L.E., Dillon, L.K., Melliar-Smith, P.M., 1993. A graphical interval logic toolset for verifying concurrent systems. In: Courcoubetis, C. (Ed.), Proceedings of the Computer Aided Verification, CAV '93, Lecture Notes in Computer Science, vol. 697, Springer, pp. 138-153.
26. Letichevsky A.A., Kapitonova J.V., Kotlyarov Jr. V.A.A.L., and Volkov V.A. Semantics of timed message sequence charts. Cybernetics and Systems Analysis 38 4 (2002) 475-484
27. Liang, H., Dingel, J., Diskin, Z., 2006. A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of Fifth Proceeding Scenarios and State-Machines: Models, Algorithms, and Tools (SCESM) Workshop, 27th International Conference Software Engineering (ICSE 2006).
28. In: Manna Z., and Pnueli A. (Eds). The Temporal Logic of Reactive and Concurrent Systems (1991), Springer, New York
29. Mattolini R., and Nesi P. An interval logic for real-time system specification. IEEE Transactions on Software Engineering 27 3 (2001) 208-227
30. Moody D.L., and van Hillegersberg J. Evaluating the visual syntax of UML: an analysis of the cognitive effectiveness of the UMLFamily of diagrams. In: Gasevic D., Lämmel R., and Wyk E.V. (Eds). Software Language Engineering 2008. Lecture Notes in Computer Science vol. 5452 (2008), Springer 16-34
31. Moser, L.E., Melliar-Smith, P.M., Ramakrishna, Y.S., Kutty, G., Dillon, L.K., 1996. The real-time graphical interval logic toolset. In: Alur, R., Henzinger, T.A. (Eds.), Proceedings of the Computer Aided Verification, Eighth International Conference, CAV '96, Lecture Notes in Computer Science, vol. 1102, Springer, pp. 446-449.
32. Muccini, H., Polini, A., Ricci, F., Bertolino, A., 2007. Monitoring architectural properties in dynamic component-based systems. In: Proceedings of the of the Conference on Component-Based Software Engineering (CBSE 2007), LNCS, vol. 4608, Springer, pp. 124-139.
33. Nuseibeh, B., Easterbrook, S., 2000. Requirements engineering: a roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE '00), pp. 35-46.
34. OMG, 2006. UML 2.1.1 superstructure, Object Management Group (OMG).
35. Pelliccione P., Inverardi P., and Muccini H. Charmy: a framework for designing and verifying architectural specifications. IEEE Transactions on Software Engineering 35 3 (2009) 325-346
36. Rossi M., Ramesh B., Lyytinen K., and Tolvanen J.-P. Managing evolutionary method engineering by method rationale. Journal of the Association for Information Systems 5 9 (2004) 356-391
37. Rumbaugh, J., Booch, G., Jacobson, I., 1996. Unified Modeling Language for Object-Oriented Development (version 0.91 addendum).
38. Uchitel S., Kramer J., and Magee J. Synthesis of behavioral models from scenarios. IEEE Transactions on Software Engineering 29 2 (2003) 99-115
39. UPPAAL, 2006. UPPAAL. .
40. van Lamsweerde, A., 2000. Formal specification: a roadmap. In: ICSE - Future of SE Track, pp. 147-159.
41. Zhang, P., Li, B., Sun, M., 2008a. Extending PSC for monitoring the timed properties in composite services. In: Proceedings of 15th Asia-Pacific Software Engineering Conference (APSEC 2008), IEEE Computer Society Press, Beijing, China, pp. 335-342.
42. Zhang, P., Li, B., Sun, M., 2008b. A timed extension of property sequence chart. In: Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), IEEE Computer Society, Nanjing, China, pp. 197-206.
43. Zhang, P., Li, B., Sun, M., Gong, X., 2008c. A PSC-based approach to monitor the timed properties in web service composition. In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), IEEE Computer Society, Turku, Finland, pp. 112-115.
44. Zhang, P., Grunske, L., Tang, A., Li, B., 2009. A formal syntax for probabilistic timed property sequence charts. In: Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering, ASE 2009, IEEE Computer Society Press.