This paper describes an algorithm to transform business process models into a functional requirements specification, specified in the form of use case diagrams. The benefit of such an algorithm is that it helps to draw up a functional requirements specification more quickly, because business process models may be available in an enterprise, while use case diagrams have to be developed by perfor...

John Richardson, the 1996/97 OCLC Visiting Distinguished Scholar, is a professor in the Graduate School of Education and Information Studies at UCLA; e-mail: [email protected]. The reference transaction can be understood as a system and modeled as such. By adopting a problem-solving paradigm other than the one traditionally used in this area (i.e., flowcharting), a systems analysis of the quest...

Imagine a computer-based design environment where you could work from first scribbling to finished design; moving freely between hand-drawn sketch and formal diagram. Designs are best started with pen and a blank canvas because ambiguity and informality are desirable attributes during initial design. However, finished diagrams need to be formal and rule compliant so that no ambiguity remains. E...

Understanding soflware documents requires the logical structure analysis of diagrammatic notations, such as data flow diagrams. A data flow diagram (DFD) represents the functional dependencies within a system: it shows how output values in a computation are derived from input values. We show how the logical structure of a DFD can be described using the formalism of Calculus of Communicating Sys...

A systematic procedure for the assessment of EC criterion 3 is proposed. The procedure is based on relating the technical requirements of criterion 3 to the knowledge and skills acquired by each student. A Top-down analysis is required to transform the qualitative technical requirements of criterion 3 to a set of quantitative measures of skills and knowledge. This set can be measured through di...

Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalization of ordered binary decision diagrams (OBDD’s) and ordered functional decision diagrams and thus combine the advantages of both. In this paper, basic properties of OKFDD’s and their efficient representation and manipulation ...

In order to study the crystal structure, phase relationships, and magnetic properties of the system Tb5−xLaxSi2Ge2, a series of polycrystalline samples with compositions ranging from x = 0 to x = 5 have been synthesized and characterized in detail. At room temperature, two structures have been detected: Compounds in the concentration range 0 x < 1 present a monoclinic Gd5Si2Ge2-type structure, ...

Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing from use cases and sequence diagrams, such as the exact inputs of the system, and the ordering constraints between the use case. The contribution of this paper is then twofold. First we propose a contract language for fu...

Use cases are the favoured technique for defining the functional requirements of a software system, but their use implies that the desired functionality of the new system is well known. The aim of this work is to present an alternate procedure -and a supporting toolto accurately define this functionality, expressed as use cases, starting from the workflows that describe the end user work. The u...

The splitting between the charge-longitudinal and spin-transverse responses is explained in a model whose inputs are the effective interactions in the particle-hole channels in the frame of the first order boson loop expansion. It is shown that the interplay between ω-meson exchange and box diagrams (two-meson exchange with simultaneous excitation of one or two nucleons to ∆'s) mainly rules the...