A framework for modeling and implementing visual notations with applications to software engineering

ACM Transactions on Software Engineering and Methodology

Volumn 13, Issue 4, 2004, Pages 431-487

  Costagliola, Gennaro ^a   Deufemia, Vincenzo ^a   Polese, Giuseppe ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

LR parsing; Meta CASE; Metamodeling; Software engineering models; UML; Visual grammars; Visual notations

Indexed keywords

LR PARSING; META-COMPUTER-AIDED SOFTWARE ENGINEERING (CASE); METAMODELING; UNIFIED MODELING LANAGUAGE (UML); VISUAL GRAMMARS; VISUAL NOTATIONS;

ABSTRACTING; AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FLOWCHARTING; FORMAL LANGUAGES; FORMAL LOGIC; SEMANTICS;

SOFTWARE ENGINEERING;

EID: 12344329785     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/1040291.1040293     Document Type: Article

References (67)

1. AHO, A., SETHI, R., AND ULLMAN, J. 1987. Compilers Principles techniques, and Tools (Series in Computer Science). Addison-Wesley.
2. ALDERSON, A. 1991. Meta-CASB technology. In Software Development Environments and CASE Technology. Lecture Notes in Computer Science, vol. 509. Springer-Verlag, 81-91.
3. BARDOHL, R. 2002. A visual environment for visual languages. Sci. Comput. Program. 44, 2 (Aug.), 181-203.
4. BARDOHL, R., ERMEL, C., AND WEINHOLD, I. 2002. AGG and GenGED: Graph transformation-based specification and analysis techniques for visual languages. In Proceedings of Graph Transformation-Based Tools (GraBaTs'02) (Barcelona, Spain), T. Mens, A. Schürr, and G. Taentzer, Eds. ENTCS 72. Elsevier.
5. BELL, R. AND SHARON, D. 1995. Creating integrated environments. IEEE Softw. 12, 2 (March), 76-85.
6. BOTTONI, P., SCHÜRR, A., AND TAENTZER, G. 2000. Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In Proceedings of 16th IEEE Symposium on Visual Languages. IEEE Computer Society Press, Seattle, WA, 59-60.
7. CHANG, S. 2000. Multimedia Software Engineering. Kluwer Academic Publishers.
8. CHANG, S. K., POLESE, G., THOMAS, R., AND CIBELLI, M. 2003. Visual authorization modeling with applications to electronic commerce. IEEE Multimedia Magazine 10, 1 (March), 44-54.
9. CHEN, P. 1985. Database design based on entity and relationship. In Principles of Database Design, S. B. Yao, Ed. Prentice-Hall, NJ, 174-210.
10. CHMURA, A. AND CROCKETT, H. D. 1995. Point counterpoint: What's the proper role for CASE tools. IEEE Softw. 12, 2 (March), 18-20.
11. CHOK, S. AND MARRIOT, K. 1995. Parsing visual languages. In Proceedings of the 18th Australian Computer Science Conference. Australian Computer Science Communication, vol. 17. 90-98.
12. CHOK, S. AND MARRIOT, K. 2003. Automatic generation of intelligent diagram editors. ACM Trans. Comput.-Hum. Interact. 10, 3 (Sept.), 244-276.
13. COAD, P. AND YOURDON, E. 1991. Object Oriented Analysis. Yourdon Press Computing.
14. CONALLEN, J. 1999. Modeling web application architectures with UML. Comm. ACM 42, 10 (Oct.), 63-70.
15. COSTAGLIOLA, G., DE LUCIA, A., OREFICE, S., AND POLESE, G. 2002. A classification framework to support the design of visual languages. J. Vis. Lang. Comput. 13, 6 (Dec.), 573-600.
16. COSTAGLIOLA, G., DE LUCIA, A., OREFICE, S., AND TORTORA, G. 1995. Efficient parsing of data flow graphs. In Proceedings of 7th International Conference on Software Engineering and Knowledge Engineering (SEKE'95). Rockville, MD, 226-233.
17. COSTAGLIOLA, G., DE LUCIA, A., OREFICE, S., AND TORTORA, G. 1997. A parsing methodology for the implementation of visual systems. IEEE Trans. Softw. Eng. 23, 12 (Dec.), 777-799.
18. COSTAGLIOLA, G. AND DEUFEMIA, V. 2003. Visual language editors based on LR parsing techniques. In Proceeding of SIGPARSEI/ACL 8th International Workshop in Parsing Technologies (Nancy, France). 79-90.
19. COSTAGLIOLA, G., DEUFEMIA, V., FERRUCCI, F., AND GRAVING, C. 2001. On the pLR parsability of visual languages. In Proceedings of IEEE International Symposium on Human-Centric Computing Languages and Environments (HCC'01) (Stresa, Italy), IEEE Computer Society Press. 49-50.
20. COSTAGLIOLA, G., FRANCESE, R., RISI, M., TORTORA, G., AND DE LUCIA, A. 2003. Rapid development of process modeling tools. In Proceedings of the 5th International Conference on Enterprise Information Systems (ICEIS'03) (Angers, France). 301-306.
21. COSTAGLIOLA, G. AND POLESE, G. 2000. Extended positional grammars. In Proceedings of 16th IEEE Symposium on Visual Languages. IEEE Computer Society Press, Seattle, WA, 103-110.
22. MM: A visual framework for multimedia presentation. In Proceedings of 13th IEEE Symposium on Visual Languages. IEEE Computer Society Press, 216-223.
23. 3 : A tool for multi-formalism and meta-modelling. In 5th International Conference FASE 2002 (Grenoble, France). Lecture Notes in Computer Science, vol. 2306. Springer-Verlag, 174-188.
24. DILLER, A. 1992. Z: An Introduction to Formal Methods. John Wiley, NY.
25. EBERT, J., SUTTENBACH, R., AND UHE, I. 1997. Meta-CASE in practice: A case for KOGGE. In Proceedings of 9th International Conference CaiSE'97. Lecture Notes in Computer Science, vol. 1250. Springer-Verlag, 203-216.
26. ERMEL, C., RUDOLF, M., AND TAENTZER, G. 1999. The AGG approach: Language and environment. In Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg, Eds. World Scientific Press, Singapore, 551-604.
27. FARGEMAND, O. AND OLSEN, A. 1994. Introduction to SDL-92. Comput. Netw. ISDN Syst. 26, 1143-1167.
28. FEDER, J. 1971. Plex languages. Inform. Sci. 3, 225-241.
29. FERGUSON, R., HUNTER, A., AND HARDY, C. 2000. Metabuilder: The diagrammer's diagrammer. In Proceedings on Diagrams 2000. Lecture Notes in Computer Science, vol. 1889. Springer-Verlag, 407-421.
30. FERRAIOLO, J. 2001. Scalable vector graphics (SVG) 1.0 specification. Tech. rep., W3C Recommendation. (Sept,).
31. FERRUCCI, F., PACINI, G., SATTA, G., SESSA, M., TORTORA, G., TUCCI, M., AND VITIELLO, G. 1996. Symbol-relation grammars: A formalism for graphical languages. Inf. Comput. 131, 1 (Nov.), 1-46.
32. FISHER, A. S. 1992. CASE: Using Software Development Tools, 2nd Ed. John Wiley and Sons, NY.
33. GOLIN, E. 1991. Parsing visual languages with picture layout grammars. J. Vis. Lang. Comput. 2, 4 (Dec.), 371-394.
34. GOODLAND, M. AND SLATER, C. 1995. SSADM Version 4: A Practical Approach. McGraw-Hill.
35. HAREL, D. 1988. On visual formalisms. Comm. ACM 31, 5 (May), 514-530.
36. HECKEL, R., KÜSTER, J., AND TAENTZER, G. 2002. Confluence of typed attributed graph transformation systems. In Proceedings of 1st International Conference on Graph Transformation (Barcelona, Spain). A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 2505. Springer-Verlag. 161-176.
37. IEC. 1993. Part 3: Programming languages, IEC 1131-3. Tech. rep., International Electrotechnical Commission, Geneva.
38. ISAKOWITZ, T., STOHR, A., AND BALASUBRAMANIAN, E. 1995. RMM: A methodology for structured hypermedia design. Comm. ACM 38, 8 (May), 34-44.
39. JARZABEK, S. AND HUANG, R. 1998. The case for user-centered CASE tools. Comm. ACM 41, 8 (Aug.), 93-99.
40. JOHNSON, S. 1978. YACC: Yet Another Compiler Compiler. Bell Laboratories, Murray Hills, NJ.
41. KELLY, S., LYYTINEN, K., AND ROSSI, M. 1996. MetaEdit+: A fully configurable multi-user and multitool CASE and CAME environment. In Proceedings 8th International Conference CAiSE'96, P. Constantopoulos, J. Mylopoulos, and Y. Vassiliou, Eds. Lecture Notes in Computer Science, vol. 1080. Springer-Verlag, 1-21.
42. MARRIOTT, K. 1994. Constraint multiset grammars. In Proceedings of 10th IEEE Symposium on Visual Languages. IEEE Computer Society Press, St. Louis, MO, 118-125.
43. MARRIOTT, K. AND MEYER, B. 1998. Visual Language Theory. Springer-Verlag, NY.
44. MCCLURE, C. 1989. CASE is Software Automation. Prentice-Hall, Englewood Cliffs, NJ.
45. MINAS, M. 1997. Diagram editing with hypergraph parser support. In Proceedings of 13th IEEE Symposium on Visual Languages (Isle of Capri, Italy). IEEE Computer Society Press, 226-233.
46. MINAS, M. 2000. Hypergraphs as a uniform diagram representation model. In Proceedings of 6th International Workshop on Theory and Application of Graph Transformations (TAGT'98). Lecture Notes in Computer Science, vol. 1764. Springer-Verlag, Paderborn, Germany, 281-295.
47. MINAS, M. 2002. Concepts and realization of a diagram editor generator based on hypergraph transformation. Sci. Comput. Program. 44, 2 (Aug.), 157-180.
48. MINAS, M. 2003. Bootstrapping visual components of the DiaGen specification tool with Dia-Gen. In Proceedings of International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'03). Charlottesville, VA, 391-405.
49. MINAS, M. AND SCHÜRR, A. 2001. Statecharts modeling contest. Symposia on Human-Centric Computing Languages and Environments (HCC'01).
50. MUSTO, A., POLESE, G., COSTAGLIOLA, G., AND TORTURA, G. 2001. Syntactic modeling of UML diagrams and their automatic transformation into RDBMS based models. In Proceedings of WTUML: Workshop on Transformations in UML (Geneva, Italy).
51. NASSI, I. AND SHNEIDERMAN, B. 1973. Flowchart techniques for structured programming. ACM SIGPLAN Notices 8, 8 (Aug.), 12-26.
52. OBJECT MANAGEMENT GROUP. 2003a. UML specification version 1.5. Tech. rep., OMG.
53. OBJECT MANAGEMENT GROUP. 2003b. XML metadata interchange (XMI) specification version 2.0. Tech. rep., OMG.
54. REKERS, J. AND SCHÜRR, A. 1996. A graph based framework for the implementation of visual environments. In Proceedings 12th IEEE International Symposium on Visual Languages (Boulder, CO). IEEE Computer Society Press, 148-157.
55. REKERS, J. AND SCHÜRR, A. 1997. Defining and parsing visual languages with layered graph grammars. J. Vis. Lang. Comput. 8, 1 (Feb.), 27-55.
56. Ross, D. AND SCHOMAN JR., K. 1977. Structured analysis for requirement definition. IEEE Trans. Softw. Eng. 3, 1 (Jan.), 6-15.
57. RUBIN, R., WALKER II, J., AND GOLIN, E. 1990. Early experience with the visual programmer's workbench. IEEE Trans. Softw. Eng. 16, 10 (Sept.), 1107-1121.
58. RUMBAUGH, J., JACOBSON, I., AND BOOCH, G. 1998. The Unified Modeling Language Reference Manual (Object Technology Series). Addison-Wesley.
59. SCHÜRR, A., WINTER, A., AND ZÜNDORF, A. 1999. The PROGRES approach: Language and environment. In Handbook on Graph Grammars and Computing by Graph Trans formation: Applications, Languages, and Tools, H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg, Eds. World Scientific Press, Singapore, 487-550.
60. SERRANO, J. A. 1995. The use of semantic constraints on diagram editors. In Proceedings 11th IEEE International Symposium on Visual Languages (Darmstadt, Germany). IEEE Computer Society Press. 211-216.
61. SORENSON, P. G., FINDEISEN, P. S., AND TREMBLAY, J. P. 1996. Supporting viewpoints in Metaview. In Proceedings of Viewpoints'96 (San Francisco), ACM. 237-241.
62. TAENTZER, G. 2000. AGG: A tool environment for algebraic graph transformation. In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99). Lecture Notes in Computer Science, vol. 1779. Springer-Verlag, 481-490.
63. WALDEN, K. AND NERSON, J.-M. 1995. Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems. Prentice-Hall, Englewood Cliffs, NJ.
64. WITTENBURG, K. 1992. Earley-style parsing for relational grammars. In Proceedings 8th IEEE International Workshop on Visual Languages (Seattle, WA). IEEE Computer Society Press, 192-199.
65. WITTENBURG, K. AND WEITZMAN, L. 1998. Relational grammer: Theory and practice in visual language interface for process modeling. In Visual Language Theory, Marriot, and Meyers 1998. Springer-Verlag, NY 193-217.
66. YOURDON, E. 1989. Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ.
67. ZHANG, K., ZHANG, D., AND CAO, J. 2001. Design, construction, and application of a generic visual language generation environment. IEEE Trans. Softw. Eng. 27, 4 (Apr.), 289-307.