Authors: Jon Whittle
Tags: 2000, conceptual modeling
Formalmethods, where by a system is described and/or analyzed using precise mathematical techniques, is a well-established and yet, under-used approach for developing software systems. One of the reasons for this is that project deadlines often impose an unsatisfactory development strategy which code is producedon an ad-hoc basis without proper thought about the requirements and design of the piece of software in mind The result is a large, often poorly documented and un-modular monolith of code, which does not lend itself to formal analysis. Because of their complexity,formal methods work best when code is well structured, eg., when they are applied at the modeling level. UML is a modeling language that is easily learned by system developers and more importantly, an industry standard which supports communication between the various project stakeholders. The increased popularity of UML provides a real opportunity for formal methods to be used on a daily basis within the software lifecycle. Unfortunately, the lack of preciseness of UML means that many formal techniques cannot be applied directly. formal methods are tobe given the place they deserve within UML amore precise descriptionof UML must be developed This article surveys recent attempts to provide such adescription, as wellas techniques for analyzing UML models formally.Read the full paper here: https://www.igi-global.com/journal/journal-database-management
