This paper introduces SysADL Studio, an architecture modeling tool for software-intensive
systems that implements the SysADL language. The tool supports multiple views, cross-view …

The composition mechanisms and interactions of current component models are mostly
base on port or function calls from other components. However, in both styles, the number of …

In this paper we present how architecting IoT applications using an Architecture Description
Language (ADL), SysADL, that supports:(i) the architectural modeling of heterogeneous IoT …

Abstract Most Software Architecture Description Languages (ADLs) lack explicit support for
executing an architecture description. In the execution view, the runtime behavior of an …

In this work we explore the FVS language in the context of architectural behavior model
checking. FVS holds desirable characteristics for this particular domain. Its flexible notation …

Abstract Since Distributed Systems evolved to Mobile Systems, adaptation, and more
specifically selfadaptation, has been a fundamental requirement to successfully and …