Symbol	Meaning
AABI	Andolfl et al.
ABAS	Attribute based Architectural Style
ABI	Aquilani et al.
ACP	Algebra of Communicating Processes
ADL	Architecture Description Language
AELB	Atomic Energy Licensing Board
ARCADE	Architecture Recovery, Change, and Decay Evaluator
ARID	Active Reviews for Intermediate Designs
ATAM	Architecture-based Tradeoff Analysis Method
BIM	Balsamo et al.
CCS	Calculus of Communicating Systems
CM	Cortellessa and Mirandola
CMMI	Capability Maturity Model Integration
CPN	Colored Petri nets
CSP	Communicating Sequential Processes
DCAR	Decision-Centric Architecture Reviews
EBAE	Empirically Based Architecture Evaluation
FERA	Framework of evaluation of Reference Architectures
GQM	Goal Question Metrics Paradigm
GUI	Graphical User Interface
HCPN	Hierarchical Colored Petri nets
HM	Heuristic Miner
LQN	Layered Queuing Networks
LTL	Linear Temporal Logic
LTS	Labeled Transition System
MVC	Model View Controller
OWL	Web Ontology Language
PAIS	Process Aware Information System
PASA	Performance Assessment of Software Architecture
PBAR	Pattern-Based Architecture Reviews
PM	Process Mining
QNM	Layered Queuing Networks
RARE	Reference Architecture Representation Environment
REST API	Representational State Transfer Application Programming Interface
SA	Software Architecture
SAAM	Scenario-based Software Architecture Analysis Method
SACMM	Metrics of Software Architecture Changes based on Structural Metrics
SADL	Simulation Architecture Description Language
SAM	Formal systematic software architecture specification and analysis methodology
SAR	Software Review Architecture
SOA	Service Oriented Architecture
SPE	Software Performance Analysis
TARA	Tiny Architectural Review Approach
UML	Unified Modeling Language
WS	Williams and Smith
SPL	Software Product Line
OO	Object Oriented
CBS	component based Software