A Framework for Developing and Analyzing Software Architecture Specifications in SAM

DOI10.1093/COMJNL/45.1.111MaRDI QIDQ4329194zbMATH OpenOpenAlexFDO

Authors Xudong He, Yi Deng

Publication date 29 April 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/45.1.111

zbMATH Keywords

high-level Petri netssoftware architecture model

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2050824
• scientific article; zbMATH DE number 1949608
• Models of software architecture. Design and analysis with UML and Petri nets
• On relating functional specifications to architectural specifications: A case study
• A modeling approach to dynamic software architecture

Cited in

(2)

• On relating functional specifications to architectural specifications: A case study
• scientific article; zbMATH DE number 2050824 (Why is no real title available?)

Describes a project that uses

Uses Software

• Rapide

This page was built for publication: A Framework for Developing and Analyzing Software Architecture Specifications in SAM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329194)