Workflow System Modeling in the Mobile Healthcare B2B Using Semantic Information

Lee, Sang-young; Lee, Yung-Hyeon; Kim, Jeom-Goo; Lee, Dong Chun

doi:10.1007/11424826_81

Cited by 2 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The semantics of many other workflow systems is based on Petri-nets, e.g. [19], actororiented directed graphs (including some simple higher order constructs) [12], or abstract state machines (ASM) [11]. Neither of these alternatives is capable to express the flexibility covered by the dynamic generation of tasks of the monadic bind operation of the iTask system.…”

Section: Related Workmentioning

confidence: 99%

An Effective Methodology for Defining Consistent Semantics of Complex Systems

Koopman

Plasmeijer

Achten

2010

Central European Functional Programming School

View full text Add to dashboard Cite

This paper has two contributions. First, it gives a semantics for the iTask workflow management system. Second, it describes an effective methodology to construct such a semantics.Semantics is a formal description of the meaning of language constructs. Just like any other formal description there are umpteen ways of introducing flaws in such a description. Even trained people are not very effective in spotting issues in formal text. In this paper we show that it is very well possible to describe semantics of programming languages using a modern functional programming as carrier of the specification. This enables automatic sanity checks by the language compiler, simulation of the described semantics to validate the specification, and automatic testing of properties of the semantics.We illustrate this technique with the well-known example of simple imperative language as well as the iTask workflow management system. In our experience this methodology works very well. The combination of sanity checks, simulation and automatic testing of properties really helped to construct a trustworthy semantics for the iTask system.

show abstract

Section: Related Workmentioning

confidence: 99%

An Effective Methodology for Defining Consistent Semantics of Complex Systems

Koopman

Plasmeijer

Achten

2010

Central European Functional Programming School

View full text Add to dashboard Cite

show abstract

“…In th is p ap er we provide a basic rew rite sem antics for iTasks as well as a num b er of useful notions to reason a b o u t tasks, such as needed events and equivalence of tasks. T he sem antics of m any o th er workflow system s is based on P etri-n ets [11], actor-oriented d irected graphs (including some sim ple higher order con stru cts) [7], or a b stra c t sta te m achines (ASM) [6]. N either of these alternatives is capable to express th e flexibility covered by th e dynam ic generation of tasks of th e m onadic b in d o p eratio n of th e iTask system .…”

Section: Introductionmentioning

confidence: 99%