A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Analysis as a First-Class Citizen: An Application to Architecture Description Languages
2014
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Architecture Description Languages (ADLs) support modeling and analysis of systems through models transformation and exploration. Various contributions made proposals to bring verification capabilities to designers through model-based frameworks and illustrated benefits to the overall system quality. Model-level analyses are usually performed as an exogenous, unidirectional and semantically weak transformation towards a third-party model. We claim such process can be incomplete and/or
doi:10.1109/isorc.2014.60
dblp:conf/isorc/HuguesB14
fatcat:7dblr3wqo5fvbbufe5t6h6cske