Soon-Kyeong Kim's Publications

Thesis:

Soon-Kyeong Kim
A Metamodel-based Approach to Integrate Object-Oriented Graphical and Formal Specification Techniques
PhD thesis, University of Queensland, Brisbane, Australia, 2002.

Soon-Kyeong Kim
ZWEBEditor : A Design and Implementation of a Graphical User Interface for ZWEB
Masters thesis, University of New South Wales, Sydney, Australia, 1996.

Journal and Conference papers:

Soon-Kyeong Kim and David Carrington, A Formalism to Describe Design Patterns based on Role Concepts, Formal Aspect of Computing Journal, To appear, 2008, Springer.

Junhua Wang, Soon-Kyeong Kim and David Carrington, Automatic Generation of Test models for Model Transformations, ASWEC, 2008, IEEE.

Soon-Kyeong Kim and David Carrington, A Pattern–based Model Evolution Approach, APSEC2006, Bangalore, India, Dec, 2006, IEEE.

Soon-Kyeong Kim and David Carrington, A Tool for a Formal Pattern Modeling Language, accepted for presentation at the International Conference on Formal Engineering Methods (ICFEM'2006), Macao, Nov, 2006, LNCS 4260, Springer.

Jörn Guy SüB, Timothy McComb, Soon-Kyeong Kim, Luke Wildman, and Geoffrey Watson, MDA-based Re-Engineering with Object-Z, MoDELS/UML 2006 conference, Italy, LNCS, Springer.

Junhua Wang, Soon-Kyeong Kim and David Carrington, Verifying Metamodel Coverage of Model Transformations
In Proceedings of Australian Software Engineering Conference (ASWEC'2006), Sydney, Australia, April 2006, IEEE Computing Society.

Soon-Kyeong Kim, Damian Burger, and David Carrington
An MDA Approach towards Integrating Formal and Informal Modeling Languages
In Proceedings of the 13th International Symposium of Formal Methods Europe (Formal Methods 2005), UK, July 2005, LNCS 3582, Springer.

Soon-Kyeong Kim and David Carrington
A Rigorous Foundation for Pattern Based Design Models
In Proceedings of the 4th International Conference on Z and B Users (ZB2005), Formal Specification and Development in Z and B, Guildford, UK, April 2005, LNCS 3455, Springer.

Soon-Kyeong Kim, Luke Wildman and R. Duke
A UML Approach to the Generation of Test Sequences for Java-based Concurrent Systems
In Proceedings of Australian Software Engineering Conference (ASWEC'2005), Brisbane, Australia, March 2005, IEEE Computing Society (Best paper awarded).

Junhua Wang, Soon-Kyeong Kim and David Carrington
A Comparison of QVT-Partners and DSTC's Model Transformation Languages
In Proceedings of the 4th Asia Pacific International Symposium on Information Technology, Gold Coast, Australia, January 2005.

Soon-Kyeong Kim and David Carrington
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML
In Proceedings of Asia Pacific Software Engineering Conference (APSEC'2004), Busan, Korea, Dec. 2004, IEEE Computing Society.

Soon-Kyeong Kim and David Carrington
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models
In Proceedings of Australian Software Engineering Conference (ASWEC'2004), Melbourne, Australia, Apr. 2004, IEEE Computing Society.

David Carrington and Soon-Kyeong Kim
Teaching Software Design with Open Source Software
In Proceedings of 33rd ASEE/IEEE Frontiers in Education Conference (FIE'2003), Colorado, U.S.A, 2003, IEEE Computing Society.

Soon-Kyeong Kim and David Carrington
Metamodeling approach to integrate between the UML state machine and Object-Z
In Proceedings of International Conference on Formal Engineering Methods (ICFEM'2002), Shanghai, China, Oct. 2002, LNCS 2495, Springer.

Soon-Kyeong Kim and David Carrington
A Formal Model of the UML Metamodel: the UML State Machine and its Integrity Constraints
In Proceedings of the 2nd International Conference on Z and B Users (ZB'2002), Grenoble, France, Jan. 2002, LNCS 2272, Springer.

Soon-Kyeong Kim and David Carrington
Integrating Use-case Analysis and Task Analysis for Interactive Systems
In Proceedings of Asia Pacific Software Engineering Conference (APSEC'2002), Gold Coast, Australia, Dec. 2002, IEEE Computing Society.

Soon-Kyeong Kim and David Carrington
A Formal Denotational Semantics of UML in Object-Z
The special issue of the journal l'Objet on Object Modelling, Volume 7, No(1), Hermes Science, 2001

Soon-Kyeong Kim and David Carrington
A Metamodel-Based Transformation between UML and Object-Z,
IEEE Symposia on Human-Centric Computing: Visual Language and Formal Methods (VLFM'01), Steresa, Italy, Sep. 2001, IEEE Computing Society.

Soon-Kyeong Kim and David Carrington
A Formal Mapping between UML Models and Object-Z Specifications
In Proceedings of the 1st International Conference on Z and B Users (ZB'2000), York, UK, August, 2000, LNCS 1878, Springer.

Soon-Kyeong Kim and David Carrington
An Integrated Framework with UML and Object-Z for Developing a Precise Specification
In Proceedings of Asia Pacific Software Engineering Conference (APSEC'2000), Singapore, Dec. 2000, IEEE Computing Society.

Soon-Kyeong Kim and David Carrington
Formalizing the UML Class Diagram using Object-Z
In Proceedings of the 2nd International Conference on the Unified Modeling Language (UML'99), Fort Colin, Colorado, U.S.A, Oct, 1999, LNCS 1723, Springer.

Soon-Kyeong Kim and David Carrington
Visualization of Formal Specifications
In Proceedings of Asia Pacific Software Engineering Conference (APSEC'99), Takamatsu, Japan, Dec. 1999, IEEE Computing Society.

Workshops:

Soon-Kyeong Kim and David Carrington
A Formal V&V Framework for UML Models based on Model Transformation Techniques
The MoDeVa workshop at the MoDels/UML conference 2005, Jamaica, October 2005.

Other Publications:

Soon-Kyeong Kim and David Carrington
A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques
SVRC, ITEE, UQ, Technical report 02-23, March 2002.

Soon-Kyeong Kim and David Carrington
A Light Control System Case Study using UML and Object-Z
SVRC, CSEE Dept, UQ, Technical Report, 00-11, 2000.

Soon-Kyeong Kim and David Carrington
A Formal Denotational Semantics of the UML Metamodel in Object-Z
SVRC, CSEE Dept, Technical Report, 00-08, 2000.

Soon-Kyeong Kim and David Carrington
A Formal Mapping between UML models and Object-Z Specifications
SVRC, CSEE Dept, Technical Report, 00-03, 2000.

Soon-Kyeong Kim and David Carrington
Visualization of Formal Specifications
SVRC, CSEE Dept, Technical Report, 99-47, 1999.

Paper Reviews:

IEEE Transactions of Software Engineering (TSE), Formal Aspect of Computing jounral, ICFEM2008, SPAQu07 and 08, APSEC07, ISEC07, ICECCS 2007, Workshop on MOdel Driven Development for Middleware (MODDM) 2006, HICSS 40 minitrack - Tools for Model Driven Development 2006, ASWEC2006, IFM2005, ICFEM2005, Australian Undergraduate Students' Computing Conference 2005, Software Practice and Experience (Journal), ICFEM2004, ASWEC2004, IFM2004, Journal of Universal Computer Science 2003, COMSAC2003, ICSE2003, ICFEM2003, APSEC