PRIMA-UML: a performance validation incremental methodology on early UML diagrams
نویسندگان
چکیده
منابع مشابه
X3D-UML: 3D UML State Machine Diagrams
X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations. Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology. The results of User Task Analysis, Heuristic Evaluation and Formative Evaluation phases provide clear evidence that the use of UML extended with 3D is a pra...
متن کاملReasoning on UML class diagrams
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities, such as those s...
متن کاملUML-VT: A Formal Verification Environment for UML Activity Diagrams
This paper introduces a translation tool that supports formal verification of UML activity diagrams using the model checkers: UPPAAL, SPIN, NuSMV and PES. The motivation for this tool arises from the desire to check the properties of a system early in the development process, and the fact that UML is commonly used to describe software models. The tool is implemented as an Eclipse-plugin that au...
متن کاملQuerying UML Class Diagrams
UML Class Diagrams (UCDs) are the best known class-based formalism for conceptual modeling. They are used by software engineers to model the intensional structure of a system in terms of classes, attributes and operations, and to express constraints that must hold for every instance of the system. Reasoning over UCDs is of paramount importance in design, validation, maintenance and system analy...
متن کاملSuperposing UML class diagrams
There is a close connection between superposition-based design and aspect-orientation [6, 7, 10]. In [11] three steps were identi ed when composing modules describing overlapping concerns: matching units describing the same concepts, reconciliation of their possible di erences, and integration of the units. These problems, as well as many concerning distribution, have already been studied in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2002
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(02)00033-3