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
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, pages
Linköping: Linköpings universitet, 2002. 150 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 774
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-35573 (URN)27665 (Local ID)91-7373-424-1 (ISBN)oai:DiVA.org:liu-35573 (OAI)diva2:256421 (DiVA)
Public defence
2002-10-28, Visionen, Hus B, Linköpings Universitet, Linköping, 13:15 (Swedish)
Available from2009-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
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link