How to Formalize It? Formalization Principles for Information Systems Development Methods. ter Hofstede, A.&nbsp;H.<nbsp>M. & Proper, H.&nbsp;A. Information and Software Technology, 40(10):519-540, 1998.
doi  abstract   bibtex   
Although the need for formalisation of modelling techniques is generally recognised, 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 lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies.
@article{ hof98,
  author = {A. H. M. ter Hofstede and H. A. Proper},
  title = {How to Formalize It? Formalization Principles for Information Systems Development Methods},
  journal = {Information and Software Technology},
  year = {1998},
  volume = {40},
  number = {10},
  pages = {519-540},
  doi = {http://portal.acm.org/citation.cfm?id=869838},
  abstract = {Although the need for formalisation of modelling techniques is generally recognised, 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 lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies.}
}

Downloads: 0