By Simona Bernardi, José Merseguer, Dorina Corina Petriu
Over the final twenty years, an immense problem for researchers engaged on modeling and assessment of computer-based platforms has been the review of procedure Non useful homes (NFP) corresponding to functionality, scalability, dependability and security.
In this booklet, the authors current state-of-the-art model-driven concepts for modeling and research of software program dependability. so much of them are in accordance with using UML as software program specification language. From the software program method specification perspective, such innovations make the most the traditional extension mechanisms of UML (i.e., UML profiling). UML profiles let software program engineers so as to add non-functional houses to the software program version, as well as the useful ones. The authors aspect the cutting-edge on UML profile proposals for dependability specification and carefully describe the trade-off they accomplish. the focal point is principally on RAMS (reliability, availability, maintainability and protection) houses. one of the latest profiles, they emphasize the DAM (Dependability research and Modeling) profile, which makes an attempt to unify, below a standard umbrella, the former UML profiles from literature, offering functions for dependability specification and research. furthermore, they describe popular model-to-model transformation concepts, which aid the iteration of the research version and make allowance for additional evaluate of other RAMS houses. Case stories from various domain names also are provided, that allows you to offer practitioners with examples of ways to use the aforementioned techniques.
Researchers and scholars will study simple dependability ideas and the way to version them utilizing UML and its extensions. they are going to additionally achieve insights into dependability research recommendations by using acceptable modeling formalisms in addition to of model-to-model transformation strategies for deriving dependability research versions from UML standards. furthermore, software program practitioners will discover a unified framework for the specification of dependability requisites and homes of UML, and may enjoy the exact case studies.