Sharif Digital Repository

Microservice architecture is an expanding software architectural style that is fundamentally different from monolithic and layered architecture. Based on small services, microservice architecture offers advantages such as independence, composability, scalability, and fault tolerance. With the emergence of the microservice architectural style, the way software is understood and designed has changed. Therefore, there is a need for methods and tools that help solve the problem of describing and verifying the communicative behavior of microservice systems. In this thesis, a model-based testing method and a formal approach for validating and testing applications with microservice architecture are... 

Model-Driven Engineering (MDE) methodologies play an important role in developing software systems. The main focus in MDE methodologies is on constructing and refining the models of the system based on meta-models of specific domains. MDE methodologies' proliferation in the software industry has been mainly due to their capabilities in automatic generation of code and other artifacts throughout the development process. This removes the need for constructing extra structures and repetitively performing certain practices during the development process. MDE methodologies also enable software solutions to be implemented based on various platforms and technologies. Moreover, they offer... 

Recently XML has become a standard for data representation and the preferred method of encoding structured data for exchange over the Internet. Moreover it is frequently used as a logical format to store structured and semi-structured data in databases. In this research we focus on semantic modeling for XML data and we propose a model-driven approach for modeling and designing XML databases. In the approach data is modeled without considering representation and implementation details in a platform independent model.
We use Object-Role Modeling as the platform independent model. We specify a formal meta-model of this model in Alloy and we validate instance models by checking... 

Constructing bespoke software development processes according to the specifications of the project at hand has become a crucial issue, but defining a separate process for each potential project context is a time-consuming and costly endeavor. The Software Process Line (SPrL) is a concept similar to the Software Product Line (SPL), except that it belongs to the domain of software development process engineering; it allows software processes to be constructed according to a specific context by reusing core process assets. Tailoring a process line for constructing project-specific processes is time-consuming and error-prone if done manually; therefore, it is important that a high...