Diagrammatic Formal Specification of a Configuration Control Platform

Electronic Notes in Theoretical Computer Science

Volumn 259, Issue C, 2009, Pages 87-104

  Howse, John ^a   Schuman, Steve ^a   Stapleton, Gem ^a   Oliver, Ian ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

configuration control case study; constraint diagrams; object oriented formal specification; visual modeling; visual refinement

Indexed keywords

CONFIGURATION CONTROL; CONSTRAINT DIAGRAMS; FORMAL SPECIFICATION; OBJECT ORIENTED; VISUAL MODELING;

AUTOMATA THEORY; REFINING; SPECIFICATIONS;

FORMAL LOGIC;

EID: 72049116531     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.12.019     Document Type: Article

References (25)

1. Abrial J.R. The B-Book: assigning programs to meanings (1996), CUP
2. Back R.-J., and von Wright J. Refinement Calculus: a systematic introduction (1998), Springer
3. Barwise J., and Etchemendy J. Logical Reasoning with Diagrams. Visual Information and Valid Reasoning (1990), OUP
4. Chow S., and Ruskey F. Drawing area-proportional Venn and Euler diagrams. Graph Drawingy (2003), Springer-Verlag 466-477
5. Fish A., Flower J., and Howse J. The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing 16 (2005) 541-573
6. Flower J., and Howse J. Generating Euler diagrams. 2nd International Conference on the Theory and Application of Diagrams (2002), Springer 61-75
7. Flower J., Masthoff J., and Stapleton G. Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. 3rd International Conference on the Theory and Application of Diagrams (2004), Springer 166-181
8. Gil J., Howse J., and Kent S. Towards a formalization of constraint diagrams. Proc. Symposium on Human Centric Computing (2001) 72-79
9. Gurr C. Aligning syntax and semantics in formalisations of visual languages. IEEE Symposia on Human-Centric Computing Languages and Environments (2001), IEEE 60-61
10. Howse J., and Schuman S. Precise visual modeling: a case-study. Software and Systems Modeling Journal 4 3 (2005) 310-325
11. Howse J., and Stapleton G. Visual mathematics: Diagrammatic formalization and proof. International Conference on Mathematical Knowledge Management (2008), Springer 478-493
12. Howse J., Stapleton G., and Taylor J. Spider Diagrams. The LMS Journal of Computation and Mathematics 8 (2005) 145-194
13. Kent S. Constraint diagrams: visualising invariants in object oriented models. Proc. OOPSLA97. SIGPLAN Notices 32 10 (1997) 327-341
14. Larkin J., and Simon H. Why a diagram is (sometimes) worth ten thousand words. Journal of Cognitive Science 11 (1987) 65-99
15. Pitt D., and Byers P. The rest stays unchanged (concurrency and state-based specification). Formal Aspects of Computing 6 (1994) 471-494
16. Schuman S.A., and Pitt D.H. Object-oriented subsystem specification. In: Meertens (Ed). Program Specification and Transformation (1987), North-Holland 313-341 Proc. IFIP Working Conference
17. Schuman S.A., Pitt D.H., and Byers P.J. Object-oriented process specification. In: Rattray (Ed). Specification and Verification of Concurrent Systems (1990), Springer 21-70 Proc. FACS Workshop
18. Shimojima A. Inferential and expressive capacities of graphical representations: Survey and some generalizations. Diagrams 2004 (2004), Springer 18-21
19. Shimojima A., and Katagiri Y. An eye tracking study of spatial constraints in diagrammatic reasoning. Diagrams 2008 (2008), Springer 64-88
20. Sommerville I., and Sawyer P. Requirements engineering - a good practice guide (1997), Wiley
21. Stapleton G., and Delaney A. Evaluating and generalizing constraint diagrams. Journal of Visual Languages and Computing 19 4 (2008) 499-521
22. Stapleton G., Howse J., and Taylor J. A Decidable Constraint Diagram Reasoning System. Journal of Logic and Computation 15 6 (2005) 975-1008
23. Stapleton G., Masthoff J., Flower J., Fish A., and Southern J. Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning 39 (2007) 431-470
24. Stenning K., and Lemon O. Aligning logical and psychological perspectives on diagrammatic reasoning. Artificial Intelligence Review 15 1-2 (2001) 29-62
25. Verroust A., and Viaud M.-L. Ensuring the drawability of Euler diagrams for up to eight sets. Diagrams 2004 (2004), Springer 128-141