Systematic Review of Software Behavioral Model Consistency Checking

No abstract is available for this paper.

• Publication year

  2017

• Venue

  ACM Computing Surveys

• Publication date

  2017-04-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/3037755
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• Model checking as support for inspecting compliance to rules in flexible processes

  2015cited by this paper
• Refinement checking on parametric modal transition systems

  2015cited by this paper
• Towards Compliance Verification Between Global and Local Process Models

  2015cited by this paper
• Declarative business process modelling: principles and modelling languages

  2015cited by this paper
• Formal synthesis of application and platform behaviors of embedded software systems

  2015cited by this paper
• On requirement verification for evolving Statecharts specifications

  2014cited by this paper
• FMEBP: A Formal Modeling Environment of Business Process

  2014cited by this paper
• Component-Aware Triggered Scenarios

  2014cited by this paper
• Validation of user intentions in process orchestration and choreography

  2014cited by this paper
• A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

  2014cited by this paper
• The internet of things: a survey

  2014cited by this paper
• Variability in Software Systems—A Systematic Literature Review

  2014cited by this paper
• Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

  2014cited by this paper
• Ensuring Consistency among Business Goals and Business Process Models

  2013cited by this paper
• A systematic review of systematic review process research in software engineering

  2013cited by this paper
• Self-adaptive systems: A survey of current approaches, research challenges and applications

  2013cited by this paper
• Quantifying Consistency between Conceptual and Executable Business Processes

  2013cited by this paper
• Business Process Management: A Comprehensive Survey

  2013cited by this paper
• USMMC: a self-contained model checker for UML state machines

  2013cited by this paper
• Refinement-oriented models of Stateflow charts

  2012cited by this paper
• A framework for transformation from conceptual to logical workflow models

  2012cited by this paper
• Time properties dedicated transformation from UML-MARTE activity to time transition system

  2012cited by this paper
• Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis

  2012cited by this paper
• Model Checking and the State Explosion Problem

  2011influential reference
• Causal Behavioural Profiles – Efficient Computation, Applications, and Evaluation

  2011cited by this paper
• Constraint-centric workflow change analytics

  2011cited by this paper
• Empirical evidence about the UML: a systematic literature review

  2011cited by this paper
• State Propagation in Abstracted Business Processes

  2011cited by this paper
• Modal Transition Systems: Composition and LTL Model Checking

  2011cited by this paper
• An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development

  2011cited by this paper
• A systematic review of evaluation of variability management approaches in software product lines

  2011influential reference
• Exploring inconsistencies between modal transition systems

  2011cited by this paper
• Efficient Consistency Measurement Based on Behavioral Profiles of Process Models

  2011cited by this paper
• Large-scale complex IT systems

  2011cited by this paper
• Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior

  2011cited by this paper
• A method for evaluating rigor and industrial relevance of technology evaluations

  2011influential reference
• An Automatic Approach to Model Checking UML State Machines

  2010cited by this paper
• Static- and dynamic consistency analysis of UML state chart models

  2010cited by this paper
• Requirements Engineering for Software Product Lines

  2010influential reference
• Software development lifecycle models

  2010cited by this paper
• The ICoP Framework: Identification of Correspondences between Process Models

  2010cited by this paper
• Checking the Consistency between UCM and PSM Using a Graph-Based Method

  2009cited by this paper
• Towards the Verification of Services Collaboration

  2009cited by this paper
• Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition

  2009cited by this paper
• Model Checking UML Activity Diagrams in FDR

  2009cited by this paper
• Systematic literature reviews in software engineering - A systematic literature review

  2009cited by this paper
• A systematic review of UML model consistency management

  2009influential reference
• Super State Analysis for UML State Diagrams

  2009cited by this paper
• Checking Protocol Compatibility using Maude

  2009cited by this paper
• Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

  2008cited by this paper
• Verifying Statecharts with State Invariants

  2008cited by this paper
• A Formal Descriptive Semantics of UML

  2008cited by this paper
• Conformance checking of service behavior

  2008cited by this paper
• Verifying and Analyzing Adaptive Logic through UML State Models

  2008cited by this paper
• On correct and complete strong merging of partial behaviour models

  2008cited by this paper
• Global consistency checking of distributed models with TReMer+

  2008cited by this paper
• A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration

  2008cited by this paper
• A Survey of Consistency Checking Techniques for UML Models

  2008influential reference
• UML behavioral consistency checking using instantiable Petri nets

  2008cited by this paper
• Ultralarge Systems: Redefining Software Engineering?

  2008cited by this paper
• Verification of Scenario-Based Safety Requirement Specification on Components Composition

  2008cited by this paper
• Web Services Business Process Execution Language Version 2.0

  2007cited by this paper
• CSP-Based Verification for Web Service Orchestration and Choreography

  2007cited by this paper
• Development of Model Based Tools to Support the Design of Railway Control Applications

  2007cited by this paper
• Consistency of UML/SPT Models

  2007cited by this paper
• Structural Matching of BPEL Processes

  2007cited by this paper
• Formal Specification using Interaction Diagrams

  2007cited by this paper
• Matching and Merging of Statecharts Specifications

  2007cited by this paper
• Model-Driven Consistency Checking of Behavioural Specifications

  2007cited by this paper
• Efficient Analysis of BPEL 2.0 Processes Using p-Calculus

  2007cited by this paper
• Lessons from applying the systematic literature review process within the software engineering domain

  2007cited by this paper
• On Modal Refinement and Consistency

  2007cited by this paper
• Model-Driven Software Development: Technology, Engineering, Management

  2006cited by this paper
• Inter-Model Consistency in UML Based on CPN Formalism

  2006cited by this paper
• Consistency of business process models and object life cycles

  2006cited by this paper
• Model checking of UML 2.0 interactions

  2006cited by this paper
• A Taxonomy of Model Transformation

  2006cited by this paper
• Consistency Checking of UML Dynamic Models Based on Petri Net Techniques

  2006cited by this paper
• Verifying Statemate Statecharts Using CSP and FDR

  2006cited by this paper
• Model Checking Dynamic UML Consistency

  2006cited by this paper
• Performing systematic literature reviews in software engineering

  2006influential reference
• Formal verification of statecharts using finite-state model checkers

  2006cited by this paper
• Checking conformance between business processes and Web service contract in service oriented applications

  2006cited by this paper
• Matching Scenarios with Timing Constraints

  2006cited by this paper
• Distributed event-based systems

  2006cited by this paper
• Consistency check between behaviour models

  2005cited by this paper
• Consistency in UML and B Multi-view Specifications

  2005cited by this paper
• Consistency between executable and abstract processes

  2005cited by this paper
• Consistency Checking of Statechart Diagrams of a Class Hierarchy

  2005cited by this paper
• Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus

  2005cited by this paper
• Scenario-Based Specifications Verification for Component-Based Embedded Software Designs

  2005cited by this paper
• Inconsistency Management in Model-driven Engineering

  2005influential reference
• Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications

  2005cited by this paper
• Consistency in model integration

  2004cited by this paper
• Procedures for Performing Systematic Reviews

  2004cited by this paper
• Formal Proof from UML Models

  2004cited by this paper
• Tool support for verifying UML activity diagrams

  2004cited by this paper
• Consistency Problems in UML-Based Software Development

  2004influential reference
• Development of Verification and Conformance Test Generation of Communication Protocol for Railway Signaling Systems

  2004cited by this paper

• A configurable approach for intra-model inconsistency management in multi-view collaborative modeling

  2026cites this paper
• Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators

  2024cites this paper
• Systematic review on contract-based safety assurance and guidance for future research

  2023cites this paper
• Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering

  2023cites this paper
• Consistency management in industrial continuous model-based development settings: a reality check

  2022cites this paper
• Construction of User Behavior Web Data Mining Model for Internet Marketing

  2022cites this paper
• Structural consistency between a system model and its implementation: a design science study in industry

  2022cites this paper
• Compliance checking of software processes: A systematic literature review

  2022cites this paper
• Tolerance in Model-Driven Engineering: A Systematic Literature Review with Model-Driven Tool Support

  2021cites this paper
• Quality Assessment in Systematic Literature Reviews: A Software Engineering Perspective

  2021cites this paper
• Challenges and barriers in virtual teams: a literature review

  2020cites this paper
• Synthesis and Consistency Verification of UML Sequence Diagrams with Hierarchical Structure

  2020cites this paper
• A systematic literature review of cross-domain model consistency checking by model management tools

  2020cites this paper
• Supporting automated containment checking of software behavioural models using model transformations and model checking

  2019cites this paper
• Community College Leaders’ Strategies to Recruit Quality Faculty

  2019cites this paper
• Multi-view-based siamese convolutional neural network for 3D object retrieval

  2019cites this paper
• Quality of Service (QoS) Aware Workflow Scheduling (WFS) in Cloud Computing: A Systematic Review

  2018cites this paper
• Towards Containment Checking of Behaviour in Architectural Patterns

  2017influential citation
• Spectrum - The Journal of Operational Applications in Defense Areas

  year unknowninfluential citation