Model-Based Techiniques for the Design of Modern Software Systems

THE Thesis reports on the work done for the definition of several techniques to support the design of modern systems. SCA-PatternBox is a framework for modeling service-oriented applications with design patterns that also permits the validation and verification of their behavior. Security Enhanced Docker study improves the use of SELinux in Docker. Two techniques are presented: Docker Policy Module (DPM) improves the use of the SELinux Type Enforcement (TE) model and Category minimization problem improves the use of the SELinux Multi Category Security (MCS) model. J-CO query language devised to query heterogeneous collections of JSON objects stored in a NoSQL document DBMS such as MongoDB.