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

  • Referenced in 2 articles [sw08198]
  • framework for adding fault tolerance to UML state diagrams Modern systems often need to address ... existing program design modeled in a UML state diagram to add tolerance to newly identified ... starts with program design modeled in a UML state diagram, and automatically transforms the design ... model in the UML state diagram to the corresponding program actions in the underlying computational...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • formal synthesis, and formal verification. A formal UML-based embedded real-time object model...
  • Charmy

  • Referenced in 4 articles [sw11046]
  • evaluation of software architectures. From an UML-based architectural design, an executable prototype is automatically...
  • TimeSquare

  • Referenced in 4 articles [sw15830]
  • plugins to produce timing diagrams, animate uml models, or execute Java code amongst others...
  • TASS

  • Referenced in 2 articles [sw02740]
  • Specifications (SBSs). Scenario-based specifications such as UML interaction models offer an intuitive and visual ... models analyzed by TASS consist of UML sequence diagrams (SDs) and UML2.0 interaction overview diagrams ... IODs). We use the UML sequence diagram to describe exactly one scenario without alternatives...
  • fmp2rsm

  • Referenced in 2 articles [sw24987]
  • fmp2rsm: Mapping Features to UML 2.0 Models Plug-in. fmp2rsm is a prototype implementation ... enables product line modeling in UML and automatic product derivation. Model templates can be verified...
  • dgpf

  • Referenced in 3 articles [sw04801]
  • process. Our GP framework produces XMI-encoded UML models that can easily be loaded into...
  • PGWFT

  • Referenced in 3 articles [sw10573]
  • Toolkit. Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express...
  • Dia

  • Referenced in 3 articles [sw12202]
  • objects to help draw entity relationship diagrams, UML diagrams, flowcharts, network diagrams, and many other...
  • SOCLE

  • Referenced in 1 article [sw09477]
  • Model checking of extended OCL constraints on UML models in SOCLE. We present the first ... dynamic verification of extended OCL constraints on UML models. It translates a UML model into ... simulator into an abstract structure called UML-valued OO Transition System (OOTS UML ). The Extended ... interpreted on computation trees of this OOTS UML , allowing for the statement of both...
  • Vooduu

  • Referenced in 1 article [sw06300]
  • designs using UPPAAL The Unified Modeling Language (UML) provides sequence diagrams to specify inter-object ... verifies automatically whether a family of UML statecharts modelling a system satisfies ... communication and timing constraints given as UML sequence diagrams. The front-end of the tool ... plug-in for a commercial UML tool. For verifying, statecharts and sequence diagrams are translated...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • consists in translating some performance annotated UML diagrams into SPN models. Therefore, ArgoSPE prevents software ... obtained as a by-product of their UML models. The design of the tool follows ... architecture proposed by OMG in the UML Profile for Schedulability, Performance and Time specification...
  • ObjectCheck

  • Referenced in 2 articles [sw00645]
  • such as XUML, an executable dialect of UML, opens the possibility of verifying these system...
  • HYDRA

  • Referenced in 2 articles [sw02827]
  • business processes pattern management, monitoring based on UML sequence diagrams, Web services-based management, event...
  • Rhapsody

  • Referenced in 2 articles [sw09456]
  • visually using industry-standard Unified Modeling Language (UML) diagrams. The visual programming environment integrates design...
  • UMLtoCSP

  • Referenced in 2 articles [sw11377]
  • formal verification of UML/OCL models. Given a UML class diagram annotated with OCL constraints, UMLtoCSP...
  • VDMTools

  • Referenced in 2 articles [sw18244]
  • automatic code generation, round-trip mapping to UML class diagrams, documentation support, test coverage analysis...
  • OpenMADS

  • Referenced in 2 articles [sw21644]
  • semi-formal modeling languages, like SysML or UML, can provide important insights to the designers...
  • Kieker

  • Referenced in 1 article [sw01310]
  • software behavior. Software behavior visualizations such as UML Sequence Diagrams are valuable to continuous program ... past software system behavior in terms of UML Sequence Diagrams, Markov chains, Component Dependency Graphs...