• 한국CDE학회논문집
• /
• 제15권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.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 학술대회 발표논문집
• /
• 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).