Currently there is an ongoing standardization process for syntactical representations of object-oriented modeling techniques (MT) initiated by the OMG, which had its first notable output in the standardisation of UML 1.1 [1]. A standardization of MT does not only involve a precise syntax, but also a precise semantics. This is essential for an unambiguous understanding of system specications given by MT, escpecially when using diagrammatic and iconic languages, as they are very common in software engineering. A precise semantics allows us to detect inconsistencies and inaccuracies both in MT themselves (metareasoning about the MT used), and in specifications written using these MT (reasoningabout the system under design). It also provides a means for comparing different MT in a more precise way and for improving the notation. Furthermore, it enables precise characterisation of interoperability between different MT. From an engineering perspective, it also allows us to use a notation in a more standardized way, thus leading to better and less ambiguous understanding, supporting true reuse of specifications and designs, and a more accurate definition of context conditions or (code)generators. Also requirements decisions can be traced more precisely to produced code. Based on a precise semantics of modeling techniques, tool support beyond graphic editors becomes possible. Then, even the integration of tools and the combination of methods is more feasible than today. Therefore, we decided to organize a workshop in conjunction with ICSE 98 in Kyoto on April 20th, to bring together researchers, requirements engineers, software engineers, and tool builders for substantial discussions related to the formalisation of MT. The workshop is mainly focused around the following topics: *Methods using formal diagrammatic/iconic MT *How precise semantics can improve the development process *Precise semantics for diagrammatic/iconic MT *Integration of semantics for heterogeneous MT *Formal development and refinement concepts for diagrammatic/iconic MT *Comparison of existing semantic models *Ways to achieve precision of syntax and semantics *Tool support *Standardizing MT The workshop proceedings are not available online, but can be received from the organizers. Please also look at the workshop homepage: http://www4.informatik.tu-muenchen.de/~rumpe/icse98-ws/     «

Currently there is an ongoing standardization process for syntactical representations of object-oriented modeling techniques (MT) initiated by the OMG, which had its first notable output in the standardisation of UML 1.1 [1]. A standardization of MT does not only involve a precise syntax, but also a precise semantics. This is essential for an unambiguous understanding of system specications given by MT, escpecially when using diagrammatic and iconic languages, as they are very common in software...     »