• vUML

  • Referenced in 23 articles [sw09471]
  • vUML: a tool for verifying UML models. The Unified Modelling Language (UML) is a standardised ... present vUML, a tool that automatically verifies UML models where the behaviour of the objects ... described using UML Statecharts diagrams. The tool uses the SPIN model checker to perform ... during the verification, the tool creates a UML sequence diagram showing how to reproduce...
  • IF-2.0

  • Referenced in 42 articles [sw03303]
  • naturally used both in specification formalisms like UML or programming languages like Java, were...
  • E-LOTOS

  • Referenced in 22 articles [sw03017]
  • LOTOS in adding formality to UML. E-LOTOS, a new version of the ISO standard ... meaning to, and to discover inconsistencies in, UML models. As part of this work ... give mappings from UML constructs to E-LOTOS. Emphasis is placed on dealing with ... UML use case, class and interaction diagrams as these play the dominant part...
  • Alcoa

  • Referenced in 32 articles [sw09481]
  • object models (in the style of UML), and more amenable to automatic analysis. Like...
  • TRIPLE

  • Referenced in 23 articles [sw02460]
  • object-oriented and other data models like UML, Topic Maps, or RDF Schema. Description logics...
  • SecureUML

  • Referenced in 14 articles [sw01727]
  • SecureUML: A UML-based modeling language for model-driven security. We present a modeling language ... systems based on the Unified Modeling Language (UML). Our approach is based on role-based ... specifying authorization constraints. We show how UML can be used to specify information related...
  • ArgoUML

  • Referenced in 15 articles [sw10874]
  • ArgoUML is the leading open source UML modeling tool and includes support for all standard ... UML 1.4 diagrams. It runs on any Java platform and is available in ten languages...
  • VPM

  • Referenced in 11 articles [sw07364]
  • metamodeling framework for describing mathematical domains and UML As UML 2.0 is evolving into ... provide a well-founded mapping from UML models to different semantic domains (Petri nets, Kripke ... mathematical models can be defined in a UML notation without cumbersome mathematical formulae...
  • UML2Alloy

  • Referenced in 11 articles [sw09885]
  • result, creating Alloy code from a UML model provides the opportunity to exploit analysis capabilities ... based techniques for the automated transformation of UML class diagrams with OCL constraints to Alloy ... transformation, which originate in fundamental differences between UML and Alloy. We shall discuss some...
  • Fujaba

  • Referenced in 17 articles [sw04100]
  • Fujaba is an acronym for ”From UML to Java and back again...
  • LTSA-WS

  • Referenced in 11 articles [sw10585]
  • designer and implementer. Scenarios are modeled in UML, in the form of Message Sequence Charts...
  • AGATHA

  • Referenced in 10 articles [sw02930]
  • which can be extracted, for example, from UML specification...
  • TURTLE-P

  • Referenced in 5 articles [sw10561]
  • TURTLE-P: A UML profile for the formal validation of critical and distributed systems ... timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity ... temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed ... hardware and software components with extended UML component and deployment diagrams. Properties of these diagrams...
  • ITP/OCL

  • Referenced in 5 articles [sw02727]
  • ITP/OCL: A rewriting-based validation tool for UML+OCL static class diagrams. In this paper ... based tool that supports automatic validation of UML class diagrams with respect to OCL constraints ... directly based on the equational specification of UML+OCL class diagrams. It is written entirely...
  • TCOZ

  • Referenced in 7 articles [sw03382]
  • tool to automatically project TCOZ models into UML statechart diagrams for visualising the dynamic system...
  • PEARL

  • Referenced in 4 articles [sw02990]
  • management is introduced into the models. Since UML is becoming a de facto standard also ... similarity, an interface of the methodology to UML 2 is defined, using UML’s extension...
  • Tahuti

  • Referenced in 4 articles [sw17610]
  • Tahuti: a geometrical sketch recognition system for UML class diagrams. We have created and tested ... sketch recognition environment for class diagrams in UML. The system is based on a multi ... ease of editing available in a UML editor...
  • JaVis

  • Referenced in 3 articles [sw00469]
  • JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs Debugging concurrent Java ... collected by tracing. The Unified Modeling Language (UML) is used for the visualization of traces ... Architecture. The visualization is integrated into the UML CASE tool Together...
  • UMLsec

  • Referenced in 2 articles [sw12754]
  • conflict between development costs and verifiable correctness. UML offers an unprecedented opportunity for high-quality ... feasible in an industrial context. The UML extension UMLsec for secure systems development helps overcoming ... these challenges. It uses the standard UML extension mechanisms, and can be employed to evaluate ... UML specifications for vulnerabilities using formal semantics of a simplified fragment of UML. Established rules...
  • SUMLOW

  • Referenced in 2 articles [sw17613]
  • SUMLOW: early design-stage sketching of UML diagrams on an E-whiteboard. Most visual diagramming ... mouse. SUMLOW is a unified modelling language (UML) diagramming tool that uses an electronic whiteboard ... software design. SUMLOW allows designers to sketch UML constructs, mixing different UML diagram elements, diagram ... automatically ‘formalized’ into computer-recognized and -drawn UML diagrams and then exported to a third...