• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.06a
• /
• pp.77-86
• /
• 2002

The aim of this study is to construct a formal semantic representation of the korean adverbial phrase(AdvP) composed of NP of t imp and of the adverbial particle OE. This AdvP establishes various relations between the time indicated by NP and the time of the event described by the sentence, depending on the type of th first and the aspectual property of the second. To represent formally the semantic functions of this AdvP, we used lambda-calculus and unification grammar in the way proposed by Renaud(1996).