Purpose: This paper is to describe development of the features and functions of Repast Simphony, the widely used, free, and open source agent-based modeling environment that builds on the Repast 3 library. Repast Simphony was designed from the ground up with a focus on well-factored abstractions. The resulting code has a modular architecture that allows individual components such as networks, l...

Use case modeling in the Unified Modeling Language (UML) is a popular text-based tool for systems analysis and design. Use cases can be used with or without supporting use case diagrams. This paper uses an experiment to explore the effectiveness of including a use case diagram with a set of use cases. The Cognitive Theory of Multimedia Learning is used to hypothesize that the use case diagram i...

The Java Modeling Language, JML, is a notation for specifying and describing the detailed design and implementation of Java modules. It is a model-based specification language offering, in particular, method specification by preand post-condition, and class invariants to document required module behavior. It has recently been noted that the JML semantics of expressions over numeric types do not...

Component-based software development processes currently lack adequate notations for the specification of components and tool support for the reusability of component specifications. Although the UML has established itself as a widely accepted standard for specifying analysis and design models, and has powerful tool support, it is not adequate to support multiple viewpoints in component-based s...

We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to limit the input to 2D silhouettes, removing the need to explicitly create or position 3D elements. Arbitrarily complex models can be constructed by assembling them out of parts defined by their silhouettes, which can be...

We present a modeling language for the model-driven development of secure, distributed systems based on the Unified Modeling Language (UML). Our approach is based on role-based access control with additional support for specifying authorization constraints. We show how UML can be used to specify information related to access control in the overall design of an application and how this informati...

In e-commerce applications, supporting electronic catalogues (e-catalogues) to provide product-search services on the Internet is emerging as an important function of electronic brokers (e-brokers). However, as the Internet expands, an increasing number of virtual stores are selling products on-line. The explosive growth of information is creating difficulties for customers searching for the pr...

Constructing structurally complex reservoir models at the appraisal stage is a complex task, with a high-degree of uncertainty. The lack of an intuitive set of modeling and visualization tools that support expert visual interpretation from geophysicists and geologists significantly increases the challenge. We present a set of interactive software tools to reservoir modeling in the appraisal sta...

Although linguistic models are highly descriptive, they su4er from inaccuracy in some complex problems. This fact is due to problems related to the in7exibility of the linguistic rule structure that has been considered. Moreover, methods often employed to design these models from data are also biased by the former structure and by their nature, which is close to prototype identi8cation algorith...

Software components provide a wide range of functionality that can be used across several domains. In some cases, reuse at a very coarse level of granularity (e.g., reusing functionality provided within an existing tool) is desirable, but challenging to realize due to the interface boundaries of the tool and the unanticipated level of reuse. This paper describes our results in applying domain-s...