摘要: Timethreads are a new notation for visual description of the different causality paths system. They illustrate sequences activities through systems. A design process based on use timethreads has already been defined. The Formal Description Technique LOTOS (Language Of Temporal Ordering Specification) is specification language temporal ordering observational behaviour. This thesis aims at integration formal methods in real-time and distributed systems by presenting interpretation timethreads. With help timethread grammar suite techniques, specifications derived from maps. designer can then ‘play’ with validating during early stages requirements capture analysis. Formalization Using i
sci-hub.st 参考文章(30)
Giuseppe Scollo, Ed Brinksma, Chris Steenbergen, Lotos specifications, their implementations and their tests Conformance testing methodologies and architectures for OSI protocols. pp. 468- 479 ,(1995)
Hartmut Ehrig, Bernd Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics ,(1985)
Giuseppe Ciaccio, Tommaso Bolognesi, Cumulating constraints on the WHEN and the WHAT formal techniques for (networked and) distributed systems. pp. 433- 448 ,(1993)
Rom Langerak, Decomposition of functionality: a correctness-preserving LOTOS transformation Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X. pp. 229- 242 ,(1990)
Kenneth J Turner, An engineering approach to formal methods IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification. pp. 357- 380 ,(1993)
Brigitte Rozoy, On distributed languages and models for concurrency Advances in Petri Nets 1992, The DEMON Project. pp. 267- 291 ,(1992) , 10.1007/3-540-55610-9_175
Mark Vigder, R.J.A. Buhr, Using LOTOS in a Design Environment formal techniques for (networked and) distributed systems. pp. 1- 15 ,(1991) , 10.1016/B978-0-444-89402-1.50010-2
Guy Leduc, Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI. pp. 249- 264 ,(1991)
Kenneth J. Turner, Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL John Wiley & Sons, Inc.. ,(1993)
Roger S. Pressman, Software Engineering: A Practitioner's Approach ,(1982)