LiU Electronic Press
Full-text not available in DiVA
Author:
Yi, Choong-ho (Linköping University, Department of Computer and Information Science) (Linköping University, The Institute of Technology)
Title:
Modelling object-oriented dynamic systems using a logic-based framework
Department:
Linköping University, Department of Computer and Information Science
Linköping University, The Institute of Technology
Publication type:
Doctoral thesis, monograph (Other academic)
Language:
English
Place of publ.: Linköping Publisher: Linköpings universitet
Pages:
150
Series:
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524; 774
Year of publ.:
2002
URI:
urn:nbn:se:liu:diva-35573
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-35573
ISBN:
91-7373-424-1
Local ID:
27665
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

We observe that object-oriented (OO) formalisms and specification languages are popular and obviously useful, and, in particular, that they are increasingly used even for systems that change over time. At the same time, however, the system specification is not precise enough in these approaches. This thesis presents a formal approach to modelling OO dynamic systems using a logic-based framework. The UML which is an OO standard language, and the Statecharts formalism which is a leading approach to modelling dynamic systems, have been formalized in the framework. In addition, formal reasoning from the system-in-run perspective has been put forward, focusing on business goals. Business goals, an emerging issue within systems engineering, are reasoned with as a systematic way to check whether the goals are achieved or not in real business activities, and to cope with the situation where the goals are violated. 

Public defence:
2002-10-28, Visionen, Hus B, Linköpings Universitet, Linköping, 13:15 (Swedish)
Degree:
Doctor of Philosophy (PhD)
Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2012-12-19
Statistics:
13 hits