A number of methods have been proposed to automate air traffic conflict detection and resolution (CD&R), but there has been little cohesive discussion or comparative evaluation of approaches. This paper presents a survey of 68 recent CD&R modeling methods, several of which are currently in use or under operational evaluation. A framework that articulates the basic functions of CD&R is used to c...

Long term moisture exposure has been shown to affect the mechanical performance of polymeric composite structures. This reduction in mechanical performance must be accommodated for during product design in order to ensure long term structure survival. In order to determine the longterm moisture effects on composite components, representative parts are commonly tested after having been exposed t...

The increasing dynamics of today’s work impacts the business processes. Agile workflow technology is a means for the automation of adaptable processes. However, the modification of workflows is a difficult task that is performed by human experts. This article discusses the novel approach of agile workflow technology for dynamic, long-term scenarios and on change reuse. First, it introduces new ...

UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as w...

In the UML, use cases are used to define coherent units of functionality associated with classifiers (classes, subsystems, or systems.) Two principal purposes that use cases serve are specifying the functionality the classifier will provide and providing a basis for developing test cases for the classifier. This paper discusses issues that arise when using use cases as the basis for model-based...

This tool paper discusses how model behavior expressed in a UML and OCL model can be analysed with filmstrips and classifying terms in the tool USE. Classifying terms are a means for systematic construction of test cases. In the case of behavior models these test cases correspond to testing the model with different sequence diagrams. We explain how behavior analysis can be carried out in the to...

This paper presents a knowledge-based methodology for process modeling and its improvement that uses a casebased methodology to assist its users in the modeling and redesign of critical business processes. We developed a CAPS (CAse-based Process modeling Supporting system) to support our proposed methodology. To reengineer a new business process problem, CAPS uses a hierarchical indexing method...

In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC uses UML sequence diagrams, that are complemented by test case data sets consisting of parameters and return values for the method calls, as test specification and therefore can easily be integrated into the development ...

This paper presents an approach to automated generation of executable test code from class models represented by the UML protocol state machines. It supports several coverage criteria for state models, including state coverage, transition coverage, and basic and extended round-trip coverage. It allows the tester to add and modify detailed test parameters (e.g., actual arguments for method invoc...

Both in the componentand object-based contexts it is extremely important to derive as early as possible suitable test cases based on the UML specifications available during development. In this paper we focus on the integrated use of Sequence and State Diagrams for deriving a “reasonably” complete reference model, which will then be used for automatically deriving the test cases. The approach i...