Generating MSCs from an integrated formal specification language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2999, Issue , 2004, Pages 168-186

  Dong, Jin Song ^a   Qin, Shengchao ^a   Sun, Jun ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

MSC; Requirement Engineering; TCOZ

Indexed keywords

COMPUTATIONAL LINGUISTICS; FLOWCHARTING; FORMAL METHODS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

INTEGRATED MODELING; INTERACTIVE BEHAVIOR; MESSAGE SEQUENCE CHARTS; OPERATION CONSTRAINT; REQUIREMENT ENGINEERING; REQUIREMENT MODELS; REQUIREMENTS CAPTURE; TCOZ;

FORMAL SPECIFICATION;

EID: 35048816982     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24756-2_10     Document Type: Article

References (32)

1. J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science, 18(1), 1990.
2. C. Bolton and J. Davies. Activity Graphs and Processes. In W. Grieskamp, T. Santen, and W. Stoddart, editors, Proceedings of IFM 2000, pages 77-96. Springer, 2000.
3. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21:111-166, September 2002.
4. P. J. Brooke and R. F. Paige. The Design of a Tool-Supported Graphical Notation for Timed CSP. In M. J. Butler, L. Petre, and K. Sere, editors, Proc. Integrated Formal Methods 2002 (IFM'02).
5. M. Butler. csp2B: A Practical Approach To Combining CSP and B. In J. Wing, J. Woodcock, and J. Davies, editors, FM'99: World Congress on Formal Methods, Lect. Notes in Comput. Sci., Toulouse, France, September 1999. Springer-Verlag.
6. C-A. Chen, S. Kalvala, and J. Sinclair. Generating b specifications from message sequence charts. In St.Eve Workshop, September 2003.
7. A. Coombes and J. A. McDermid. Using Diagrams to Give a Formal Specification of Timing Constraints in Z. In Z User Workshop, pages 119-130, 1992.
8. J. Davies and C. Crichton. Using State Diagrams to Describe Concurrent Behaviour. In ICFEM 2003, LNCS 2885, pages 105-125, 2003.
9. J. Davies and S. Schneider. A Brief History of Timed CSP. Theoretical Computer Science, 138, 1995.
10. Marcio S. Dias and Debra J. Richardson. Identifying Cause and Effect Relations between Events in Concurrent Event-Based Componenents. In J. Richardson, W. Emmerich, and D. Wile, editors, The 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002.
11. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing Series. Macmillan, March 2000.
12. R. L. Feldmann, J. Munch, S. Queins, S. Vorwieger, and G. Zimmermann. Baselining a Doman-Specific Software Development Process. Tech Report SFB501 TR-02/99, University of Kaiserslautern, 1999.
13. C. Fischer and H. Wehrheim. Model-Checking CSP-OZ Specifications with FOR. In K. Araki, A. Galloway, and K. Taguchi, editors, IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
14. C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.
15. ITU. Message Sequence Chart(MSC), Nov 1999. Series Z: Languages and general software aspects for telecommunication systems.
16. Shaoying Liu, A. Jeff Offutt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba. Sofl: A formal engineering methodology for industrial applications, pages 24-45, 1998.
17. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, February 2000.
18. B. Mahony and J. S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing, 13(2):142-160, 2002.
19. B. Mahony and J. S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing, 13(1):142-160, 2002.
20. M. Y. Ng and M. Butler. Tool Support for Visualizing CSP in UML. In C. George and H. Miao, editors, International Conference on Formal Engineering Methods (ICFEM'02), pages 287-298. LNCS, Springer-Verlag, October 2002.
21. B. Nuseibeh, J. Kramer, and A. Finkelstein. A Framework for Expressing the Relationships Between Multiple Views in Requirement Specifications. IEEE Trans. Software Eng., 20(10):760-773, October 1994.
22. L. Petre and K. Sere. Developing Control Systems Components. In W. Grieskamp, T. Santen, and B. Stoddart, editors, IFM'00: Integrated Formal Methods, Lect. Notes in Comput. Sci. Springer-Verlag, October 2000.
23. D. J. Richardson, S. L. Aha, and T. O. O'Malley. Specification-Based Test Oracles for Reactive Systems. In International Conference on Software Engineering, pages 105-118, 1992.
24. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
25. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
26. G. Smith and J. Derrick. Specification, Refinement and Verification of Concurrent Systems - an Integration of Object-Z and CSP. Formal Methods in System Design, 18:249-284, 2001.
27. P. Stocks and D. Carrington. A Framework for Specification-based Testing. IEEE Trans. Software Eng., 22(11):777-793, 1996.
28. J. Sun, J. S. Dong, J. Liu, and H. Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering, 13:329-356, 2002.
29. K. Taguchi and K. Araki. The State-Based CCS Semantics for Concurrent Z Specification. In M. Hinchey and S. Liu, editors, the IEEE International Conference on Formal Engineering Methods (ICFEM'97), pages 283-292, Hiroshima, Japan, November 1997. IEEE Press.
30. H. Treharne and S. Schneider. Using a Process Algebra to Control B Operations. In K. Araki, A. Galloway, and K. Taguchi, editors, IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
31. K.M. van Hee. Information Systems Engineering: A Formal Approach. Cambridge University Press, Cambridge, 1994.
32. J. Woodcock and A. Cavalcanti. The Steam Boiler in a Unified Theory of Z and CSP. In J. He, Y. Li, and G. Lowe, editors, The 8th Asia-Pacific Software Engineering Conference (APSEC'01), pages 291-298. IEEE Press, 2001.