The development of contemporary systems is an extremely complex process. One approach
to modeling system behavior uses activity diagrams from Unified Modeling Language …

This paper describes how UML 2 Activity diagrams can be intuitively translated into Petri net
notations. The UML2 specification states that activities are based on Petri net semantics. The …

Technology is increasing the possibilities for working in groups and even changing the way
in which traditionally this has been performed. This chapter reviews models and techniques …

We propose a novel classification approach for automatically detecting pulmonary embolism
(PE) from computed-tomography-angiography images. Unlike most existing approaches that …

A key ingredient in system and organization modeling is modeling business processes that
involve the collaborative participation of different teams within and outside the organization …

In this paper, we argue that current user interface modeling tools are developed using a
formalism-centric approach that does not support the needs of modern software …

A precise model of the behavioral dynamics is a necessary precondition for the development
of collaborative environments. In this paper we present a specification framework for …

Groupware systems allow users to be part of a shared environment in order to carry out
groupwork. Members of a group belong to organizations in which each one fulfils general …

The complexity of modeling mobile groupware systems is well known. The mobility of the
collaborators, the diverse technologies available to support them and the continuous …

El trabajo en grupo es una actividad humana fundamental y los entornos colaborativos
facilitan este proceso. Un aspecto crucial para su estudio y diseño es el uso de técnicas …