02041nas a2200193   4500008004100000245009700041210006900138260000900207300001200216490000600228520137500234653002501609653001501634653002301649653002201672100001701694700001901711856011701730       2011                        eng d00aElementary patterns for converting textual and visual formalisms based on set theory and ORM0 aElementary patterns for converting textual and visual formalisms  c2011  a64 - 710 v93 aTextual formalisms, visual formalisms, or both types of formalisms can be used to develop a formal model. The exact syntax and semantics of textual formalisms reduce ambiguity and increase formulation precision. This has as side effect that textual formalisms can become complex and suitable for limited audiences only. Visual formalisms consist of graphical notations with formal semantics. The intuitive and well-organized char acter of such models improves their comprehensibility and eases commu nication. Unfortunately, visual formalisms can become unreadable when the complexity or number of formalisms increases. Conversion patterns are introduced to enable conversion of textual to visual formalisms and vice versa. These patterns can be applied to benefit from the advantages of both ways to represent formalisms. The Object-Role Modeling (ORM) language has been used to develop the visual patterns and the textual formalisms are founded in set theory. While the primary focus of this paper is on the theoretic coupling between textual and visual formalisms, the presented patterns are also materialized and evaluated in two applications. First, an ORM model of the ISO/IEC 19763-5 standard to register information of process models is converted to a textual formal model. Sec ond, a textual formal model of an information market is converted to an ORM variant.10aObject Role Modeling10aSet theory10aTextual formalisms10aVisual formalisms1 aOverbeek, S.1 avan Bommel, P.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-79960694971&partnerID=40&md5=fb5b641c92f12de5340fa890fca9fa44