Several methodologies and tools have been proposed for Web applications design and
development. However, traditional Web applications are still inadequate to support the …

Design patterns are generic design solutions that can be applied and composed in different
applications where pattern-related information is generally implicit in the Unified Modeling …

Business processes usually have to consider certain constraints like domain specific and
quality requirements. The automated formal verification of these constraints is desirable, but …

Following TER nets, an approach to the modelling of time in high-level Petri nets, we
propose a model of time within (attributed) graph transformation systems where logical …

UML being semi formal in nature, it lacks formal syntax and hence automated verification of
design specifications cannot be done. To address this we propose a UML Compiler that …

Following TER nets, an approach to the modeling of time in high-level Petri nets, we
propose a model of time within (attributed) graph transformation systems where logical …

The title of this paper, besides being a pun, can be taken to mean either the frontier of
research in graph transformation, or the advantage of using graph transformation. To focus …

Purpose–Rich Internet Application (RIA) technologies offer designers the opportunity to
experiment with novel interaction grammars, whose implications for conceptual modeling …

Abstract The Unified Modeling Langugage (UML) offers different diagram types to model the
behavior of software systems. In some domains like embedded real-time systems or …

The unified modeling language (UML) is one of the most commonly used modeling
languages in the software industry. It simplifies the complex process of design by providing a …