liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Modelling object-oriented dynamic systems using a logic-based framework
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
2002 (English)Doctoral thesis, monograph (Other academic)
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. 

Place, publisher, year, edition, pages
Linköping: Linköpings universitet , 2002. , 150 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 774
National Category
Computer Science
URN: urn:nbn:se:liu:diva-35573Local ID: 27665ISBN: 91-7373-424-1 (print)OAI: diva2:256421
Public defence
2002-10-28, Visionen, Hus B, Linköpings Universitet, Linköping, 13:15 (Swedish)
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2012-12-19

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Yi, Choong-ho
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 107 hits
ReferencesLink to record
Permanent link

Direct link