On the public citation graph

Consistency checking for multiple view software architectures

https://doi.org/10.1145/318774.319258

0 signed · 69 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-63383-9_72openalex-snapshot

Checking assumptions in component dynamics at the architectural level

inferredcites →https://doi.org/10.1007/3-540-63383-9_78openalex-snapshot

Software architecture for large control systems: A case study description

inferredcites →https://doi.org/10.1007/978-0-387-35082-0_14openalex-snapshot

Viewpoint consistency in ODP, a general interpretation

inferredcites →https://doi.org/10.1007/978-0-387-35563-4_10openalex-snapshot

Assessing the Suitability of a Standard Design Method for Modeling Software Architectures

inferredcites →https://doi.org/10.1007/978-0-387-35563-4_9openalex-snapshot

Describing Software Architecture with UML

inferredcites →https://doi.org/10.1109/32.310667openalex-snapshot

Inconsistency handling in multiperspective specifications

inferredcites →https://doi.org/10.1109/52.469759openalex-snapshot

The 4+1 View Model of architecture

inferredcites →https://doi.org/10.1109/apsec.1998.733731openalex-snapshot

Interpreting the object constraint language

inferredcites →https://doi.org/10.1145/158431.158438openalex-snapshot

Conjunction as composition

inferredcites →https://doi.org/10.5555/227726.227755openalex-snapshot

Checking subsystem safety properties in compositional reachability analysis

inferredcites →https://doi.org/10.5555/257734.257745openalex-snapshot

Formalizing architectural connection

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4686183openalex-extracted

Retriever: A View-Based Approach to Reverse Engineering Software Architecture Models

inferred← citeshttps://doi.org/10.1007/3-540-36520-6_8openalex-snapshot

An Experience in Architectural Extensions: Active Objects in J2EE

inferred← citeshttps://doi.org/10.1007/3-540-36578-8_26openalex-snapshot

Detecting Implied Scenarios Analyzing Non-local Branching Choices

inferred← citeshttps://doi.org/10.1007/3-540-45441-1_21openalex-snapshot

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

inferred← citeshttps://doi.org/10.1007/3-540-45510-8_7openalex-snapshot

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area

inferred← citeshttps://doi.org/10.1007/3-540-45832-8_30openalex-snapshot

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

inferred← citeshttps://doi.org/10.1007/978-3-032-10444-1_7openalex-snapshot

Observable Semantics for Characterising Consistency Between Heterogeneous Models

inferred← citeshttps://doi.org/10.1007/978-3-319-16101-3_5openalex-snapshot

Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-25939-8_13openalex-snapshot

Multi-view Software Component Modeling for Dependability

inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_7openalex-snapshot

Consistency Management within Model-Based Object-Oriented Development of Components

inferred← citeshttps://doi.org/10.1007/978-3-540-45221-8_28openalex-snapshot

Using Description Logic to Maintain Consistency between UML Models

inferred← citeshttps://doi.org/10.1007/978-3-540-74484-9_10openalex-snapshot

Relating Software Architecture Views by Using MDA

inferred← citeshttps://doi.org/10.1007/978-3-540-88030-1_7openalex-snapshot

Characterizing Relations between Architectural Views

inferred← citeshttps://doi.org/10.1007/978-3-642-02144-2_8openalex-snapshot

Incremental Detection of Model Inconsistencies Based on Model Operations

inferred← citeshttps://doi.org/10.1007/s10270-005-0103-4openalex-snapshot

Separation of non-orthogonal concerns in software architecture and design

inferred← citeshttps://doi.org/10.1007/s10270-019-00723-2openalex-snapshot

Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model

inferred← citeshttps://doi.org/10.1007/s11761-010-0062-7openalex-snapshot

MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations

inferred← citeshttps://doi.org/10.1016/j.infsof.2010.10.004openalex-snapshot

Empirical extension of a classification framework for addressing consistency in model based development

inferred← citeshttps://doi.org/10.1016/j.infsof.2014.04.007openalex-snapshot

MoDisco: A model driven reverse engineering framework

inferred← citeshttps://doi.org/10.1016/j.jss.2024.112277openalex-snapshot

Retriever: A view-based approach to reverse engineering software architecture models

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00177-xopenalex-snapshot

Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.

inferred← citeshttps://doi.org/10.1051/ita:2005023openalex-snapshot

A metric for evaluating software architecture and communication models consistency

inferred← citeshttps://doi.org/10.1109/apsec.2004.51openalex-snapshot

Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification

inferred← citeshttps://doi.org/10.1109/ase.2000.873668openalex-snapshot

Automating the composition of middleware configurations

inferred← citeshttps://doi.org/10.1109/ase.2001.989826openalex-snapshot

Automated check of architectural models consistency using SPIN

inferred← citeshttps://doi.org/10.1109/cic.2006.32openalex-snapshot

Consistency Checking of UML Dynamic Models Based on Petri Net Techniques

inferred← citeshttps://doi.org/10.1109/csmr.2013.30openalex-snapshot

Rule-Based Impact Analysis for Heterogeneous Software Artifacts

inferred← citeshttps://doi.org/10.1109/edoc.2004.3openalex-snapshot

A rigorous approach to relate enterprise and computational viewpoints

inferred← citeshttps://doi.org/10.1109/icacte.2010.5579276openalex-snapshot

Acquire multi-viewpoint from domain

inferred← citeshttps://doi.org/10.1109/icsm.2004.1357809openalex-snapshot

Tracing evolution changes of software artifacts through model synchronization

inferred← citeshttps://doi.org/10.1109/icssp-icgse52873.2021.00017openalex-snapshot

Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts

inferred← citeshttps://doi.org/10.1109/icssp.2019.00016openalex-snapshot

On the Benefits of using Dedicated Models in Validation Processes for Behavioral Specifications

inferred← citeshttps://doi.org/10.1109/models-c.2019.00044openalex-snapshot

Multifaceted Consistency Checking of Collaborative Engineering Artifacts

inferred← citeshttps://doi.org/10.1109/percomw.2011.5766965openalex-snapshot

Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven

inferred← citeshttps://doi.org/10.1109/sysose.2019.8753877openalex-snapshot

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

inferred← citeshttps://doi.org/10.1109/wicsa.2001.948409openalex-snapshot

SPIN-ning software architectures: a method for exploring complex systems

inferred← citeshttps://doi.org/10.1142/s0218194017500139openalex-snapshot

A Specification and Detection Approach for Parallel Evolution Conflicts of Software Architectures

inferred← citeshttps://doi.org/10.1145/1167253.1167320openalex-snapshot

Object-oriented behavioral testing through trace generation

inferred← citeshttps://doi.org/10.1145/1233341.1233352openalex-snapshot

Analysis goal expression language

inferred← citeshttps://doi.org/10.1145/2970276.2970304openalex-snapshot

Efficient detection of inconsistencies in a multi-developer engineering environment

inferred← citeshttps://doi.org/10.1145/2993717.2993729openalex-snapshot

Multi-perspective change impact analysis using linked data of software engineering

inferred← citeshttps://doi.org/10.1145/3037755openalex-snapshot

Systematic Review of Software Behavioral Model Consistency Checking

inferred← citeshttps://doi.org/10.1145/3297280.3297454openalex-snapshot

Live and global consistency checking in a collaborative engineering environment

inferred← citeshttps://doi.org/10.1145/3319499.3328232openalex-snapshot

Collaboratively enhanced consistency checking in a cloud-based engineering environment

inferred← citeshttps://doi.org/10.1145/3344948.3344980openalex-snapshot

Detection of conflicts and inconsistencies between architecture solutions

inferred← citeshttps://doi.org/10.1145/503209.503235openalex-snapshot

A methodology for specifying and analyzing consistency of object-oriented behavioral models

inferred← citeshttps://doi.org/10.1145/581339.581355openalex-snapshot

Detection of conflicting functional requirements in a use case-driven approach

inferred← citeshttps://doi.org/10.1145/581352.581355openalex-snapshot

Detection of conflicting functional requirements in a use case-driven approach

inferred← citeshttps://doi.org/10.1145/952532.952609openalex-snapshot

Eliciting coordination policies from requirements

inferred← citeshttps://doi.org/10.14236/ewic/room2000.1openalex-snapshot

Checking the Consistency of UML Class Diagrams Using Larch Prover

inferred← citeshttps://doi.org/10.3166/objet.10.2-3.231-244openalex-snapshot

Maintaining Consistency between UML Models Using Description Logic

inferred← citeshttps://doi.org/10.3990/1.9789036529969openalex-snapshot

Managing dependency relations in inter-organizational models

inferred← citeshttps://doi.org/10.48550/arxiv.1902.09090openalex-snapshot

A Taxonomy of Modeling Approaches for Systems-of-Systems Dynamic Architectures: Overview and Prospects

inferred← citeshttps://doi.org/10.5075/epfl-thesis-2796openalex-snapshot

A concern-oriented approach to software architecture

inferred← citeshttps://doi.org/10.5381/jot.2004.3.1.a4openalex-snapshot

Checking Class Schema Usefulness.

inferred← citeshttps://doi.org/10.5539/cis.v8n4p12openalex-snapshot

Multi-View Software Architecture Design: Case Study of a Mission-Critical Defense System

inferred← citeshttps://doi.org/10.5555/998675.999410openalex-snapshot

Calculating architectural reliability via modeling and analysis

inferred← citeshttps://doi.org/10.5860/choice.43-4071aopenalex-snapshot

Software evolution with UML and XML

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.