the gravimetric method is one of the most effective ways for the detection of subsurface structures such as tunnels, faulting, mineral deposits with the required density difference, especially in areas with rough topography and tectonized formations. it is possible to provide a more suitable model for better interpretation of the gravity anomaly. inverse modeling of gravity data is the most eff...

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...

Deriving a new language LB from an already existing one LA is a typical task in domain-specific language engineering. Here, besides adjusting LA’s syntax, the language engineer has to modify the semantics of LA to derive LB’s semantics. Particularly, in case of behavioral modeling languages, this is a difficult and errorprone task, as changing the behavior of language elements or adding behavio...

Ilia Bider (IbisSoft, Stockholm) led the 3rd GBPM workshop, in memory of his late collaborator, friend, and co-founder of the workshop, Dr Maxim Khomyakov. The first workshop looked at OO and BPM; the second at practical issues of modelling business processes; and this one focused on Goals-what BPM is all about. Ian Alexander (Independent Consultant) drew the short straw, speaking first straigh...

Test case generation based on design specifications is an important part of testing processes. In this paper, Unified Modeling Language activity diagrams are used as design specifications. By setting up several test adequacy criteria with respect to activity diagrams, an automatic approach is presented to generate test cases for Java programs. Instead of directly deriving test cases from activi...

The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants as well as preand postconditions. This paper explains the functionality of the UML Specification Environment USE which allows...

The availability of a good, complete scope definition in the early stages of a project is widely recognized by industry practitioners as a key factor for overall project success. This paper presents a Project Scope Modeling Methodology for computerized decision support during the definition of a new project scope. The methodology is based on the effective reutilization of historical project sco...

Reliability of dynamic systems is a major issue in industry (aeronautics, railway, automotive, nuclear...). Therefore, most development processes require the use of model-based approaches such as UML, Matlab/Simulink, Statemate, etc. However, resulting models must be checked and corresponding implementations must be tested with respect to these models. In this paper, we present DIVERSITY, the V...

Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bo...