In: Information and Software Technology, Vol. 40, No. 10, pages 519-540. 1998.
Abstract: Although the need for formalization of modeling techniques is generally recognized, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accommodate for this lack and provides essential principles for the process of formalization in the context of modeling techniques as well as a number of small but realistic formalization case studies.
Keywords: colored Petri nets, formal semantics, formalization methodologies, information systems, transition nets.