A syntax directed approach to picture semantics:
Saved in:
Main Authors: | , |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam
1996
|
Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
96,25 |
Subjects: | |
Abstract: | Abstract: "If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain. The various methods for specifying Visual Languages emphasize computational aspects, where the semantics of the picture is embedded in the computational setting of the specification, but they are not based on an understanding of the cognitive issues involved in the semantics of pictures and in the use of the pictures for a better grasp of the application domain and for manipulating the domain. We think that the analogy between a picture and its meaning is what can help people to understand the meaning represented by the picture, and that the match between the syntactic structures of the picture and what it represents is an important element of analogy. We formalise the notion of matching in an approach to picture semantics based on order-sorted algebra. Pictures are described in a well-structured framework (order sorted signature) and so is the application domain. Constructing the relationship between pictures and their meanings is guided by a formal notion of signature morphism which, combining with the formal description of pictures, enforces a structural match between pictures and their represented. We also discuss the various issues brought out by this algebra approach." |
Physical Description: | 11 S. |
Staff View
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV011033220 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t| | ||
008 | 961104s1996 xx |||| 00||| engod | ||
035 | |a (OCoLC)916019854 | ||
035 | |a (DE-599)BVBBV011033220 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
100 | 1 | |a Wang, Dejuan |e Verfasser |4 aut | |
245 | 1 | 0 | |a A syntax directed approach to picture semantics |c D. Wang ; H. Zeevat |
264 | 1 | |a Amsterdam |c 1996 | |
300 | |a 11 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 96,25 | |
520 | 3 | |a Abstract: "If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain. The various methods for specifying Visual Languages emphasize computational aspects, where the semantics of the picture is embedded in the computational setting of the specification, but they are not based on an understanding of the cognitive issues involved in the semantics of pictures and in the use of the pictures for a better grasp of the application domain and for manipulating the domain. We think that the analogy between a picture and its meaning is what can help people to understand the meaning represented by the picture, and that the match between the syntactic structures of the picture and what it represents is an important element of analogy. We formalise the notion of matching in an approach to picture semantics based on order-sorted algebra. Pictures are described in a well-structured framework (order sorted signature) and so is the application domain. Constructing the relationship between pictures and their meanings is guided by a formal notion of signature morphism which, combining with the formal description of pictures, enforces a structural match between pictures and their represented. We also discuss the various issues brought out by this algebra approach." | |
650 | 4 | |a Analogy | |
650 | 4 | |a Ordered algebraic structures | |
650 | 4 | |a Visual programming languages (Computer science) | |
700 | 1 | |a Zeevat, Henk |e Verfasser |4 aut | |
810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 96,25 |w (DE-604)BV008928356 |9 96,25 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007388146 |
Record in the Search Index
_version_ | 1818953369276907520 |
---|---|
any_adam_object | |
author | Wang, Dejuan Zeevat, Henk |
author_facet | Wang, Dejuan Zeevat, Henk |
author_role | aut aut |
author_sort | Wang, Dejuan |
author_variant | d w dw h z hz |
building | Verbundindex |
bvnumber | BV011033220 |
ctrlnum | (OCoLC)916019854 (DE-599)BVBBV011033220 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02482nam a2200313 cb4500</leader><controlfield tag="001">BV011033220</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961104s1996 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)916019854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011033220</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wang, Dejuan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A syntax directed approach to picture semantics</subfield><subfield code="c">D. Wang ; H. Zeevat</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">11 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">96,25</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain. The various methods for specifying Visual Languages emphasize computational aspects, where the semantics of the picture is embedded in the computational setting of the specification, but they are not based on an understanding of the cognitive issues involved in the semantics of pictures and in the use of the pictures for a better grasp of the application domain and for manipulating the domain. We think that the analogy between a picture and its meaning is what can help people to understand the meaning represented by the picture, and that the match between the syntactic structures of the picture and what it represents is an important element of analogy. We formalise the notion of matching in an approach to picture semantics based on order-sorted algebra. Pictures are described in a well-structured framework (order sorted signature) and so is the application domain. Constructing the relationship between pictures and their meanings is guided by a formal notion of signature morphism which, combining with the formal description of pictures, enforces a structural match between pictures and their represented. We also discuss the various issues brought out by this algebra approach."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analogy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordered algebraic structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Visual programming languages (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zeevat, Henk</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">96,25</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">96,25</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007388146</subfield></datafield></record></collection> |
id | DE-604.BV011033220 |
illustrated | Not Illustrated |
indexdate | 2024-12-20T10:05:10Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007388146 |
oclc_num | 916019854 |
open_access_boolean | |
physical | 11 S. |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
record_format | marc |
series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
spelling | Wang, Dejuan Verfasser aut A syntax directed approach to picture semantics D. Wang ; H. Zeevat Amsterdam 1996 11 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 96,25 Abstract: "If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain. The various methods for specifying Visual Languages emphasize computational aspects, where the semantics of the picture is embedded in the computational setting of the specification, but they are not based on an understanding of the cognitive issues involved in the semantics of pictures and in the use of the pictures for a better grasp of the application domain and for manipulating the domain. We think that the analogy between a picture and its meaning is what can help people to understand the meaning represented by the picture, and that the match between the syntactic structures of the picture and what it represents is an important element of analogy. We formalise the notion of matching in an approach to picture semantics based on order-sorted algebra. Pictures are described in a well-structured framework (order sorted signature) and so is the application domain. Constructing the relationship between pictures and their meanings is guided by a formal notion of signature morphism which, combining with the formal description of pictures, enforces a structural match between pictures and their represented. We also discuss the various issues brought out by this algebra approach." Analogy Ordered algebraic structures Visual programming languages (Computer science) Zeevat, Henk Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 96,25 (DE-604)BV008928356 96,25 |
spellingShingle | Wang, Dejuan Zeevat, Henk A syntax directed approach to picture semantics Analogy Ordered algebraic structures Visual programming languages (Computer science) |
title | A syntax directed approach to picture semantics |
title_auth | A syntax directed approach to picture semantics |
title_exact_search | A syntax directed approach to picture semantics |
title_full | A syntax directed approach to picture semantics D. Wang ; H. Zeevat |
title_fullStr | A syntax directed approach to picture semantics D. Wang ; H. Zeevat |
title_full_unstemmed | A syntax directed approach to picture semantics D. Wang ; H. Zeevat |
title_short | A syntax directed approach to picture semantics |
title_sort | a syntax directed approach to picture semantics |
topic | Analogy Ordered algebraic structures Visual programming languages (Computer science) |
topic_facet | Analogy Ordered algebraic structures Visual programming languages (Computer science) |
volume_link | (DE-604)BV008928356 |
work_keys_str_mv | AT wangdejuan asyntaxdirectedapproachtopicturesemantics AT zeevathenk asyntaxdirectedapproachtopicturesemantics |