Presentation on theme: "FUP - Formal Unified Process MSc.Miroslav Líška Slovak University of Technology Faculty of Informatics and Information."— Presentation transcript:
FUP - Formal Unified Process MSc.Miroslav Líška email@example.com Slovak University of Technology Faculty of Informatics and Information Technologies Bratislava, Slovakia www.fiit.sk
1.Formal methods in software engineering 2.Goals of Formal Unified Proces - FUP 3.FUP methodology 4.Validation UML models with FUP 5.Formal-analyzer (usecase model) 6.FML - Formal markup language Agenda
Formal methods in software engineering Improvement in specification and realization process Enhanced precision in syntax and semantics of system definition A lot of different languages, methodologies e.g. Z, objectZ, PUML, (note - UML, OCL: semiformal´) : … Difficult synergy, difficult validation process Problems
Goals of FUP Enhancement of analysis/validation process between more specifications analysis/validation process between specification and realizations mathematics logics precision in software specifications and realizations
FUP methodology System and its behavior is represented through mathematical theories – set of formulas (e.g. theory of business process, theory of UML – customizable modal logic) Analysis process is based on verification consistency of theories, tautological results Validation process is based on automatic proving formulas against selected theories
Validation UML models with FUP (formal-analyzer) There must be written proper theories for validation, i.e. business process theory, UML theory UML model is translated into model of theory (theory interpretation) and also they are new theorems specified, which must be proved Formal-analyzer : software tool (currently only analytical model) which supports mathematical theory specification, realization, validation. UML will be plugin for parsing UML models into formal theories.