A formal basis for architectural connection

No abstract is available for this paper.

• Publication year

  1997

• Venue

  ACM Transactions on Software Engineering and Methodology

• Publication date

  1997-07-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/258077.258078
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Acme: an architecture description interchange language

  2010cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Formal Modeling and Analysis of the HLA RTI

  1997cited by this paper
• The Theory and Practice of Concurrency

  1997cited by this paper
• Software architecture - perspectives on an emerging discipline

  1996cited by this paper
• Introduction to the Special Issue on Software Architecture

  1995cited by this paper
• Abstractions for Software Architecture and Tools to Support Them

  1995cited by this paper
• Specifying Distributed Software Architectures

  1995cited by this paper
• Formalizing style to understand descriptions of software architecture

  1995cited by this paper
• Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model

  1995cited by this paper
• Formulations and Formalisms in Software Architecture

  1995cited by this paper
• Correction to "Specification and Analysis of System Architecture Using Rapide"

  1995influential reference
• Interfaces, protocols, and the semi-automatic construction of software adaptors

  1994cited by this paper
• The POLYLITH software bus

  1994cited by this paper
• A Theory of Interfaces and Modules

  1994cited by this paper
• A Theory of Interfaces and Modules I-Composition Theorem

  1994cited by this paper
• Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm

  1993cited by this paper
• Partial orderings of event sets and their application to prototyping concurrent, timed systems

  1993cited by this paper
• Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status

  1993cited by this paper
• Regular types for active objects

  1993cited by this paper
• A Calculus of Mobile Processes, II

  1992cited by this paper
• A Formal Approach to Software Architectures

  1992cited by this paper
• The Domain-Specific Software Architecture Program

  1992cited by this paper
• Specification and design of the X.25 protocol: a case study in CSP

  1991cited by this paper
• Blackboard Systems

  1991cited by this paper
• Symbolic Model Checking: 10^20 States and Beyond

  1990cited by this paper
• Connecting tools using message passing in the Field environment

  1990cited by this paper
• JSP and JSD - the Jackson approach to software development (2. ed.)

  1989cited by this paper
• Symbolic model checking: 1020 states and beyond

  1989cited by this paper
• The Synthesizer Generator: A System for Constructing Language-Based Editors

  1988cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper
• Software interconnection models

  1987cited by this paper
• Blackboard Systems, Part One: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures

  1986cited by this paper
• Module interconnection languages

  1986cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems

  1986cited by this paper
• Blackboard Systems

  1986cited by this paper
• An Improved Failures Model for Communicating Processes

  1984cited by this paper
• Petri Nets

  1977cited by this paper

• Allocating distributed AI/ML applications to cloud-edge continuum based on privacy, regulatory, and ethical constraints

  2025cites this paper
• DecSup: An Architecture Description Language for Specifying and Simulating the Decision Support System Architectures

  2024cites this paper
• A Historical and Critical Assessment of Parametricism as an Architectural Style in the 21st Century

  2024cites this paper
• 6GSoft: Software for Edge-to-Cloud Continuum

  2024cites this paper
• Towards An Architecture Description Language for Hybrid Quantum-Classical Systems

  2024cites this paper
• Specification and Verification of Communication Paradigms for CBSE in Event B

  2023cites this paper
• Enhancing UML Connectors with Behavioral ALF Specifications for Exogenous Coordination of Software Components

  2023cites this paper
• A Domain-Specific Language for Reconfigurable, Distributed Software Architecture

  2023cites this paper
• Pervasive Systems Development: A Stepwise Rule-centric Rigorous Service-Oriented Architectural Approach

  2022cites this paper
• CBK model composition using paired web services and executable functions: A demonstration for individualizing preventive services

  2022cites this paper
• Interaction detection in configurable systems - A formal approach featuring roles

  2022cites this paper
• Forecasting Telecommunication Network States on the Basis of Log Patterns Analysis and Knowledge Graphs Modeling

  2022cites this paper
• Open Research Online A roadmap of problem frames research

  2022cites this paper
• Enhancing UML Connectors with Behavioral Specifications

  2022cites this paper
• UML diagram-driven test scenarios generation based on the temporal graph grammar

  2021cites this paper
• OVERVIEW OF FINANCIAL TECHNOLOGY (FINTECH) IN LOGISTICS: LITERATURE STUDY

  2021cites this paper
• DataProVe: Fully Automated Conformance Verification Between Data Protection Policies and System Architectures

  2021cites this paper
• Formal specification and verification of reusable communication models for distributed systems architecture

  2020cites this paper
• ANALYSIS RISK MAPPING OF BATIK KARAWANG DISTRIBUTION TO EXPAND DISTRIBUTION COVERAGE

  2020cites this paper
• Incremental Construction for Scalable Component-Based Systems

  2020cites this paper
• A Process Model for Component-Based Model-Driven Software Development

  2020cites this paper
• Composition of Component Models - A Key to Construct Big Systems

  2020cites this paper
• Highly collaborative distributed systems: Synthesis and enactment at work

  2020cites this paper
• Internet of Things. A Confluence of Many Disciplines: Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers

  2020cites this paper
• Hierarchical Component Models

  2020cites this paper
• From features to roles

  2020cites this paper
• An Approach of QoS Evaluation for Web Services Design With Optimized Avoidance of SLA Violations

  2020cites this paper
• Integrated Formal Tools for Software Architecture Smell Detection

  2020cites this paper
• DataProVe: A Data Protection Policy and System Architecture Verification Tool

  2020influential citation
• Higher-order architectural connectors Journal Item

  2020influential citation
• The ALI Architecture Description Language

  2019influential citation
• Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL

  2019cites this paper
• Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints

  2019cites this paper
• Introducing Trust in Service-Oriented Distributed Systems through Blockchain

  2019cites this paper
• Architecting exogenous software‐intensive systems‐of‐systems on the internet‐of‐vehicles with SosADL

  2019cites this paper
• Different Glasses to Look into the Three Cs: Component, Connector, Coordination

  2019cites this paper
• A systematic approach to model-based engineering of cyber-physical Systems of Systems

  2019cites this paper
• Aiding the realization of service-oriented distributed systems

  2019cites this paper
• PAT approach to Architecture Behavioural Verification

  2019cites this paper
• University of Groningen Developing a Modeling Tool Using Eclipse

  2019cites this paper
• 2 A Component Model Based on Services : Kmelia

  2019cites this paper
• Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

  2019cites this paper
• An approach based on knowledge exploration for state space management in checking reachability of complex software systems

  2019cites this paper
• A Taxonomy of Modeling Approaches for Systems-of-Systems Dynamic Architectures: Overview and Prospects

  2019cites this paper
• Formal foundations for responsible application integration

  2019cites this paper
• A Method of UML Sequence Diagram Verification Based on a Graph Grammar

  2019cites this paper
• Validation Methodologies for RAs: A Case Study of RAFAALS2.0

  2019cites this paper
• Style and Meta-Style: Another way to reuse Software Architecture Evolution. (Style et Meta-Style: Une autre façon de réutiliser l'évolution dans les architectures logicielles)

  2018cites this paper
• Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications

  2018influential citation
• Early validation of system requirements and design through correctness-by-construction

  2018cites this paper
• A roadmap of problem frames research Journal Item

  2018cites this paper
• Formalizing Reusable Communication Models for Distributed Systems Architecture

  2018influential citation
• Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL

  2018cites this paper
• University ’ s repository of research publications and other research outputs The CommUnity Workbench Journal Item

  2018cites this paper
• Software Architecture: Past, Present, Future

  2018cites this paper
• The analysis of architectural languages for the needs of practitioners

  2018cites this paper
• A General Model Based Engineering Approach to MRO Business Software Applications Using Acme

  2018cites this paper
• A Three-level Component Model in Component Based Software Development

  2018influential citation
• Configurators as the basis for the transfer of knowledge and standardized communication in the context of robotics

  2018cites this paper
• Formal modeling and verification of security controls for multimedia systems in the cloud

  2017cites this paper
• Characterizing big data software architectures: a systematic mapping study

  2017cites this paper
• Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?

  2017cites this paper
• Data-Dependency Formalism for Developing Peer-to-Peer Applications

  2017cites this paper
• Visual Specification and Analysis of Contract-Based Software Architectures

  2017cites this paper
• Copper: Bringing Flexible Components to the .NET Framework

  2017cites this paper
• Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures

  2017cites this paper
• Approche méthodologique pour le maintien de la cohérence des données de conception des systèmes sur puce. (Methodological approach for maintaining consistency of system on chip design data)

  2017cites this paper
• Middleware Adaptation through Process Mining

  2017cites this paper
• A development process for building adaptative software architectures. (Un processus de développement d'architectures logicielles adaptatives)

  2017cites this paper
• Towards a well-formed software architecture analysis

  2017cites this paper
• A systematic literature review: Refactoring for disclosing code smells in object oriented software

  2017cites this paper
• Architecture Descriptions of Software Systems: Complex Connectors vs Realisability

  2017influential citation
• Chapter 12 – The Many Facets of Mediation: A Requirements-Driven Approach for Trading Off Mediation Solutions

  2017cites this paper
• A New Approach of Component Based Software Development Using Incremental Approach

  2017cites this paper
• A Model-Based Approach Towards the Building of Trustworthy Software-Intensive Systems-of-Systems

  2017cites this paper
• The Many Facets of Mediation

  2016cites this paper
• BCOol : the Behavioral Coordination Operator Language

  2016cites this paper
• Comparative Analysis of Software Architecture Documentation and Architecture Languages

  2016cites this paper
• Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL

  2016cites this paper
• Categorical semiotics

  2016cites this paper
• University ’ s repository of research publications and other research outputs The Unified Problem-Solving Method Development Language

  2016cites this paper
• Program Slicing Technique: A Novel Approach to Improve Programming Skills in Novice Learners

  2016cites this paper
• MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems

  2016cites this paper
• Enhanced Graph Rewriting Systems for Performance Aware Dynamic Software Architectures

  2016influential citation
• A formal approach for guiding architecture design with data constraints

  2016cites this paper
• Abstracting data and image processing systems using a component-based domain specific language

  2016cites this paper
• EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles

  2016cites this paper
• An agent based approach for modeling a groupware

  2016cites this paper
• outputs A model-driven approach to extract views from an architecture description language Conference Item

  2016cites this paper
• An approach for modeling and analyzing dynamic software architectures

  2016cites this paper
• What is software architecture to practitioners: A survey

  2016influential citation
• Supporting software architecture documentation and evolution

  2016cites this paper
• Adaptation of SysML Blocks and Verification of Temporal Properties. (Adptation des Blocs sysML et verification des propriétés temporelles)

  2016cites this paper
• Category-Theoretic Approach to Software Systems Design

  2016cites this paper
• Formal Verification of a Component Platform

  2016cites this paper
• π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems

  2016cites this paper
• Representing variability in software architecture

  2016influential citation
• Model-driven Analysis and Verification of Automotive Embedded Systems

  2016cites this paper
• ’ s repository of research publications and other research outputs A Graph based architectural ( re ) configuration language Conference Item

  2016cites this paper
• xBreeze/ADL: A language for software architecture specification and analysis

  2016influential citation