Sharif Digital Repository

Workflow management systems are responsible for modeling and execution of business processes that are widely used as workflow systems in different organizations. The main advantage of the workflow management systems is to improve the efficiency of organizations and control of the processes. However, one of the main drawbacks in the current workflow management systems is the way that they can deal with changes in the workflow systems. In the other words, their capability of dynamic handling of changes occurred. Since a workflow system may be affected by different changes while it is applied in an organization, handling these changes efficiently and during its execution through a dynamic... 

Fog computing environment consists of several devices which distribute across an arbitrary topology. Each of these devices is capable of carrying out a designated computation simultaneously with other devices. One of the common ways of describing a computation is through the usage of workflows. Workflow is a flexible and formal way of modeling tasks and their requirements for execution. A workflow is essentially a DAG. Therefore, it can model the data dependency between tasks quite accurately. The complex structure of a workflow in conjunction with the homogenous nature of devices in a fog environment makes it difficult to find a resource management algorithm to minimize execution time, used... 

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... 

Nowadays, small and big businesses do their best to automate their business process by using a workflow management system. Therefore, these systems play a key role in IT. By expansion of the business and ever-changing rules and procedures of organization, the need for consecutive changes to workflow management systems arises. The most challenging part of this change is the state of running instances. Previous solutions put the challenges of migrating instances, dealing with their inconsistencies and runtime errors on the users. It is worth noting that there are a few tools which consider instance migrations, but most of them lack a comprehensive viewpoint. Related solutions are often based... 

As the increased use of workflow engine based systems in various domains, quality assurance and testing them has become critical. The majority of these systems are designed and implemented by a workflow language, so testing these systems is highly dependent of workflow language. In this thesis the common domain of business processes is chosen. In this area, little researches have examined the implemened processes with the second version of BPMN modeling language, and most methods, examined another language called BPEL. For this reason and due to the increased use of BPMN language because of its unique characteristics, this study focuses on testing of systems implemented with this language.... 

Resource sharing is one of the most interesting features of grid computing. These resources can include CPU, main memory, secondry memory, network bandwith, or data. How to allocate these resources to the tasks remains a complex problem in this domain. The concentration of this thesis is on workflow scheduling. In this case, the works are composed of several tasks, in the way that some tasks have control or data dependency with others. In other words, we have to schedule a DAG (Directed Acyclic Graph) representation of tasks on limited proceccing units. The principle of workflow scheduling optimization is to minimize the makespan, but in the economic scheduling, cost reduction beside... 

Most construction projects contain activities repeated in project units or locations with definite consequence. These kinds of projects are called repetitive projects. One of the fundamental objectives of planning and scheduling of repetitive projects is using resources optimally and without interruption, a concept known as continuous workflow. Traditional planning and scheduling methods like Critical Path Method (CPM) are criticized for their disability to produce a reliable workflow. Ignoring the concept of workflow in project schedule causes time and cost overrun that arise from additional waiting times and also increase the risk of accessibility to resources on time. Therefore in this... 

A workflow management system is a software system which manages and coordinates the operational tasks of an organization. Typically, the def­ inition of a workflow involves human and computer resources and tools on various geographic locations, and thus the concerns of distributed systems are one of the main challenges in this domain. Following this,allocating various resources to different tasks of a workflow and schedul­ ing them in a manner which satisfies some predefined constraints is one of the new and fundamental challenges in this field.The main goal of this research is to design an agent-oriented workflow system which utilizes a novel method for resource allocation and schedul­ ing... 

In the cloud computing environment, although many processing resources for application software with the volume of calculations The above is available, but it may not work for software that is sensitive to latency. In fact, due to the large distance between users and end devices to cloud servers, sending requests And the required data to the data centers requires a high bandwidth and therefore the data transfer time is also significant. In addition, cloud computing in platforms such as cloud-based IoT architecture faces other challenges such as connectivity, resource limitations of end devices, and security. In order to solve the challenges in the cloud computing environment and respond to... 

Within microservice architecture-based systems, some microservices are integrated to build the software. The integration of these services may be defined based on a workflow model. There are also a variety of different languages available for defining these workflow models. BPMN and YAWL are two such options. It is important that testers test the integration of these microservices. This paper proposes the formal method as the solution for integration testing. This method translates the workflow model to the Alloy. The algorithm has suggested a translation of workflow models to formal specifications. This specification takes into consideration both structural and behavioral aspects. The first...