The approach CREWS-L’Ecritoire developed within the CREWS project tightly couples goal modelling and scenario authoring to elicit system requirements. The paper focuses on the process aspect of the approach. It presents the process model as composed of a map and associated guidelines. The map is a directed graph of intentions and strategies to flow from one intention to another. Intention achie...

Even if the standard for specifying software, the Unified Modeling Language, is known in different versions to everybody, CASE tool vendors did not implement all basic features. Even with class diagrams, many features of the standard are ignored. Applying the layout algorithms of these CASE tools to the user defined diagrams, usually horrible results are produced, because state-of-the-art techn...

We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EB2Jml that maps Event-B events to JML method specifications, and deterministic and non-deterministic assignments to JML method post-conditions. This translation has previously been implemented as the EventB2Jml tool. We adopted a taking our own m...

SMART, Solid Modeling Aerospace Research Tool, isthe Vehicle AnalysisBranch of NASA Langley Research Center's computer-aided design tool used in aerospace vehicledesign. Modeling of structuralcomponents using SMART includes the representationof the transverseor cross-wiseelements of a vehicle'sfuselage,ringframes and bulkheads. Ringframes are placed along a vehicle'sfuselage to provide structur...

Various object-oriented methodology is advocated in recent years. The Unified Modeling Language (UML), which is the unification modeling language of those notation, is becoming leading now. This paper proposes a supporting method of diagrams generation with the transformation rules in UML to draw diagrams eliminated contradiction in a short time by using common elements which other diagrams hav...

Résumé. A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La ...

A knowledge of the presence of certain special structures can be advantageous in both the formulation and solution of linear programming problems. Thus it is desirable that linear programming software offer the option of specifying such structures explicitly. As a step in this direction, we describe extensions to an algebraic modeling language that encompass piecewise-linear, network and relate...

Customers in B2B as well as B2C markets increasingly demand integrated problem solutions from their suppliers, comprising both physical artifacts (products) and services. Applying a mixed-bundling strategy to offer such value bundles to customers foremost requires a sound configuration and economic calculation of value propositions, based on previously defined modules of products and services. ...

—As we know that " the Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artifacts of software systems, as well as for business modelling and other non-software systems " and many enterprises are now using it to product their software. In the market, there are some well-known UML supported tools as IBM Rational, Together, and Poseidon…...

This paper describes the design and experimental implementation of a discrete-time fixed-order H∞ controller for a DC motor speed and position control. To provide a model for the DC motor, two system identification techniques are employed. In the first one a model for DC motor speed control is identified in open-loop based on black box modeling whereas in the other one a model for position cont...