Practical verification strategy for refinement conditions in UML models

formal  specification  for  the  code  implementation,  the  use  of  a  verification  tool  and  the  establishment  of  properties  for  the  formal  verification 

Since UML diagrams are not meant for performance evaluation and moreover its semantics is “informally” defined, we translate them into Generalized Stochastic Petri nets (GSPN)

propose a UML profile (namely DAM, C6 ), as a specialization of the OMG stan- dard [UML-MARTE 2009], to support the dependability analysis of UML-based software systems, in the

When it comes to tailor these activities to our method, they mainly consist in the specification of the software system. The internal context will be modeled by UML use case

Indeed, given a particular notation used for the design of adaptable systems (e.g., a notation based on a suitable customization of UML [16]), the QoS assessment of models expressed

Construction of a UML model for SWN analysis The input to the method is a UML design that consists of a set of SMs, modeling the behavior of system compo- nents (classes), and

L´ opez-Grao, J., Merseguer, J., Campos, J.: From UML activity diagrams to stochastic Petri nets: Application to software performance engineering. G´ omez Mart´ınez, E., Merseguer,

First, we present the results of Deep NoRBERT, in which the GMVAE stochastic layer is placed in an intermediate BERT encoder layer, see Section 2.5.2 for more details.. We show