Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Quality Software

• Publication date

  2007-10-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/QSIC.2007.69
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach

  2006cited by this paper
• Foundations for MDA-based Forward Engineering

  2005cited by this paper
• U2B - A tool for translating UML-B models into B

  2004cited by this paper
• The Maude LTL Model Checker

  2004cited by this paper
• The Formal Foundations in RSL for UML Statechart Diagrams

  2004cited by this paper
• Integrating BON and Object-Z

  2004cited by this paper
• A formal object-oriented approach to defining consistency constraints for UML models

  2004cited by this paper
• How You Could Use NEPTUNE in the Modelling Process

  2003cited by this paper
• Formal Foundations in RSL for UML Class Diagrams

  2002cited by this paper
• Debugging UML Designs with Model Checking

  2002cited by this paper
• Maude: specification and programming in rewriting logic

  2002cited by this paper
• BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

  2002cited by this paper
• Improving system reliability via rigorous software modeling: the UML case

  2001cited by this paper
• Model checking UML state machines and collaborations

  2001cited by this paper
• Can intuition become rigorous? Foundations for UML model verification tools

  2000cited by this paper
• Model Checking: A Tutorial Overview

  2000cited by this paper
• Specifying the Behavior of UML Collaborations Using Object-Z

  2000cited by this paper
• Defining Precise Semantics for UML

  2000cited by this paper
• Thirty one problems in the semantics of UML 1.3 dynamics

  1999cited by this paper
• Specifying Interactive Systems in Object-Z and CSP

  1999cited by this paper
• Improving efficiency of symbolic model checking for state-based system requirements

  1998cited by this paper
• UML as a Heterogeneous Multiview Notation Strategies for a Formal Foundation

  1998cited by this paper
• The Unified Modeling Language User Guide

  1998cited by this paper
• Model checking large software specifications

  1996cited by this paper
• Formal Specification and Documentation Using Z: A Case Study Approach

  1996cited by this paper
• A logical theory of concurrent objects and its realization in the Maude language

  1993cited by this paper
• Rewriting as a unified model of concurrency

  1990cited by this paper

• On the Execution and Runtime Verification of UML Activity Diagrams

  2025cites this paper
• Software System Model Correctness using Graph Theory: A Review

  2023influential citation
• Validation Automation of UML Diagrams Created by Students

  2021cites this paper
• Automatic Verification of Behavior of UML Requirements Specifications using Model Checking

  2020cites this paper
• Verifying Software Requirements Characteristics Based on Rules Defined from Software Component Relationships

  2016cites this paper
• Requirements Characteristics Verification Method and Tool Based on Rules Constructed Form Software Component Relationships

  2015cites this paper
• CMMI-CM compliance checking of formal BPMN models using Maude

  2015cites this paper
• Method on Specifying Consistency Rules among Different Aspect Models, expressed in UML

  2013cites this paper
• Rewriting logic bibliography by topic: 1990-2011

  2012cites this paper
• Automatic generation of PROMELA code from sequence diagram with imbricate combined fragments

  2012cites this paper
• The rewriting logic semantics project: A progress report

  2011cites this paper
• Tool Support for Checking Consistency of UML Model

  2011cites this paper
• Consistency Checking of UML Business Model

  2011cites this paper
• Ensuring Models Consistency in the OMT , Booch , and OOSE Object-Oriented Methods

  2010cites this paper
• The approach of ensuring consistency of UML model based on rules

  2010cites this paper
• Twenty years of rewriting logic

  2010cites this paper
• Verification, Validation, and Accreditation

  2010cites this paper
• Checking Semantics Equivalence of MDA Transformations in Concurrent Systems

  2009cites this paper
• Ensuring consistency of information systems rules models

  2009cites this paper
• PROGRAMAVIMAS IR PROGRAMINĖ ĮRANGA

  2009cites this paper
• Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker

  2008cites this paper