* Supported by CNPq (Brazil). Abstract Component-based software development enables the construction of software artefacts by assembling binary units of production, distribution and deployment, the socalled components. Several approaches to componentbased development have been proposed recently. Most of these approaches are based on the Unified Modeling Language (UML). UML has been increasingly...

Declarative models are a commonly used approach to deal with software complexity: by abstracting away the intricacies of the implementation these models are often easier to understand than the underlying code. Popular modeling languages such as UML can however become complex to use when modeling systems in

The problem of modeling large-scale virtual urban environments has remained challenging for computer graphics researchers and urban planners. Cities are difficult to model in detail, since they hold diverse and complex geometries. Building large-scale 3D city models by means of photogrammetric reconstruction is a time and resource intensive, often semi-automatic process and does not provide dat...

Business process modeling has become a popular method for improving organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness of modeling languages. This paper proposes a formal language, Event-Condition-Action-Event (ECAE), for integ...

For the generation of freeform 3D models, one of the most intuitive solution is to use sketch-based modeling environments. Unfortunately, since the user interface relies upon the analyse of sketches in order to determine which action is requested by the user, the possible amount of different operations can be limited. In this paper, we present a 3D sketching system based on multiple views. Each...

A number of related yet distinct subfields of GIScience associated with representing geographic dynamics have recently emerged. Researchers in spatio-temporal theory and data modeling, spatial process modeling, complex systems, and agent-based modeling all consider dynamic (or temporal) aspects of geographic phenomena germane to their respective specialty. Given this common ground, an obvious q...

The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automati...

Modeling 3D objects is difficult, especially for the user who lacks the knowledge on 3D geometry or even on 2D sketching. In this paper, we present a novel sketch-based modeling system which allows novice users to create 3D custom models by assembling parts based on a database of pre-segmented 3D models. Different from previous systems, our system supports the user with visualized and meaningfu...

Feature is a fundamental design unit in modern solid modeling systems, and this makes a well defined feature interface a matter of concernment in the component-based distributed modeling environment. This paper introduces a feature-based modeling service framework and proposes an interface model of feature-based modeling service toward such a modeling environment, including the support of remot...

Conceptual modelling is an important aspect in designing systems. However, the use of conceptual models in knowledge-based system (KBS) is limited as there is no particular consensus on which modelling language should be used and most of these systems are developed in a 'problem to code' manner. This paper focuses on the use ofa Unified Modeling Language (UML) Profile for conceptual knowledge m...