Determining object interaction in object-oriented deductive conceptual models
We present the main components of an object-oriented deductive approach to conceptual modelling of information systems. This approach does...
A layout algorithm for data flow diagrams
A layout algorithm is presented that allows the automatic drawing of data flow diagrams, a diagrammatic representation widely used...
Exception Handling Patterns for Process Modeling
Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry...
Support for managing design-time decisions
The desirability of maintaining multiple stakeholders' interests during the software design process argues for leaving choices undecided as long...
Tool support for verifying UML activity diagrams
We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an...
Further Analysis of the Entity-Relationship Approach to Database Design
The nondeterministic or deterministic entity-relationship model of a database is formaRy defined as a user's view of that database...
Generating Test Data from OCL Constraints with Search Techniques
Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances...
Resolving race conditions in asynchronous partial order scenarios
Scenario-based requirements specifications are the industry norm for defining communication protocols. However, such scenarios often contain race conditions. A...
Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling Impediments
Process modeling is useful during the analysis and design of systems. Prior research acknowledges both impediments to process modeling...
Execution of Partial State Machine Models
The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e.,...
