Transforming constraint diagrams

CEUR Workshop Proceedings

Volumn 510, Issue , 2009, Pages 62-80

  Burton, Jim ^a   Stapleton, Gem ^a   Hamie, Ali ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT DIAGRAMS; FORMAL SOFTWARE SPECIFICATIONS; INFERENCE RULES; S-DIAGRAM;

VISUAL LANGUAGES;

GRAPHIC METHODS;

EID: 84891396176     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Barwise, J. and E. Hammer, Diagrams and the concept of logical system, in: G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, Oxford University Press, 1996 .
2. Burton, J., Diagrams and intuitive formal specifications, in: P. Bottoni, M. B. Rosson and M. Minas, editors, Visual Languages and Human-Centric Computing, IEEE (2008), pp. 262-263.
3. Chow, S. and F. Ruskey, Drawing area-proportional Venn and Euler diagrams, in: Proceedings of Graph Drawing 2003, Perugia, Italy, LNCS 2912 (2003), pp. 466-477.
4. Fish, A. and J. Flower, Investigating reasoning with constraint diagrams, in: Visual Language and Formal Methods 2004, ENTCS 127 (2005), pp. 53-69.
5. Fish, A., J. Flower and J. Howse, The semantics of augmented constraint diagrams, Journal of Visual Languages and Computing 16 (2005), pp. 541-573.
6. Flower, J. and J. Howse, Generating Euler diagrams, in: Proceedings of 2nd International Conference on the Theory and Application of Diagrams (2002), pp. 61-75.
7. Flower, J., J. Masthoff and G. Stapleton, Generating readable proofs: A heuristic approach to theorem proving with spider diagrams, in: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, LNAI 2980 (2004), pp. 166-181.
8. Gil, J., J. Howse and S. Kent, Towards a formalization of constraint diagrams, in: Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy (2001), pp. 72-79.
9. Gurr, C. and K. Tourlas, Towards the principled design of software engineering diagrams, in: Proceedings of 22nd International Conference on Software Engineering (2000), pp. 509-518.
10. Howse, J., F. Molina, S. J. Shin and J. Taylor, On diagram tokens and types, in: Proceedings of 2nd International Conference on the Theory and Application of Diagrams (2002), pp. 146-160.
11. Kent, S., Constraint diagrams: Visualizing invariants in object oriented modelling, in: Proceedings of OOPSLA 97 (1997), pp. 327-341.
12. Mutton, P., P. Rodgers and J. Flower, Drawing graphs in Euler diagrams, in: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, LNAI 2980, pp. 66-81.
13. Shin, S. J., "The Logical Status of Diagrams, " CUP, 1994.
14. Stapleton, G. and A. Delaney, Evaluating and generalizing constraint diagrams, Journal of Visual Languages and Computing 19 (2008), pp. 499-521.
15. Stapleton, G., J. Howse, P. Rodgers and L. Zhang, Generating euler diagrams from existing layouts, in: Layout of (Software) Engineering Diagrams, Electronic Communications of the EASST (2008), pp. 16-31.
16. Stapleton, G., J. Howse and J. Taylor, A decidable constraint diagram reasoning system, Journal of Logic and Computation 15 (2005), pp. 975-1008.
17. Stapleton, G., J. Masthoff, J. Flower, A. Fish and J. Southern, Automated theorem proving in Euler diagrams systems, Journal of Automated Reasoning 39 (2007), pp. 431-470.
18. The Precise UML Group, Untitled, http://www.cs.york.ac.uk/puml/index.html (1997).
19. UK Ministry of Defence, The procurement of saftey critical software in defence equipment (1993).
20. Unified Modelling Language, Untitled, http://www.uml.org/(2006).
21. Verroust, A. and M. L. Viaud, Ensuring the drawability of Euler diagrams for up to eight sets, in: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, LNAI 2980 (2004), pp. 128-141.
22. Warmer, J. and A. Kleppe, "The Object Constraint Language: Precise Modeling with UML, " Addison-Wesley, 1998.