This paper describes an alternate approach to the modeling of game systems and game
flow with Petri nets. Modeling languages usually used in this area are of limited efficiency …

We define an extensible semantical framework for business process modeling notations.
Since our definition starts from scratch, it helps to faithfully link the understanding of …

An interpreter for UML 2 actions and activities is presented. It is based on two novel features
in UML 2: the three-layer semantics architecture and the new token offer semantics for …

The objective of this research is to support human decision-making. That can be hard for
many reasons, including complexity of the system which is the subject of decisions. One …

A current Request for Proposal [1] from the OMG describes the requirements for an
“Executable UML Foundation”. This subset of UML 2 would serve as a shared foundation for …

Large diagrams of Unified Modeling Language (UML) are complex. In this paper we
propose a novel approach to reducing this complexity by not focusing on UML itself but how …

Model-Driven Development is promising to software development because it can reduce the
complexity and cost of developing large software systems. The basic idea is the use of …

Abstract This paper presents Project Procedure Diagrams (PPDs) as a technique for
specifying and elaborating project milestone plans. The graphical syntax of PPDs is similar …

Abstract<? Pub Inc> One of the main notational contexts in which model-driven software
development has been studied is the Unified Modeling Language (UML), the'de …

The interconnection between UML activities and state machines enables the
comprehensible modeling of systems based on data flows and events. In this paper, we …