Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...