Sharif Digital Repository

In service oriented computing we encounter the problem of coordinating autonomous services (e.g., micro-services) communicate within the deployment environments (e.g., multi-cloud infrastructures) but participate for the functional requirements. While the environments have the deployment concerns like real-time, security, privacy or even energy consumption constraints, for the sake of brevity, the formal models of coordination in service oriented systems generally abstract away these concerns and focus on the functional ones such as synchronization, data and context dependency constraints. In this paper, we consider Constraint Automata (CA) as a formal model of the functional behaviours for... 

This paper presents an optimal phasor measurement units (PMUs) placement algorithm for the purpose of power system observability and also increasing the performance of secondary voltage control scheme. The optimal placement problem (OPP) is formulated such that to minimize the number of PMU installations subject to full network observability and monitoring pilot buses of the system to improve secondary voltage control performance. The branch and bound optimization method is adopted to solve the OPP problem which is suitable for problems with integer and boolean variables. Topology-based algorithm is used for observability analysis. Constraint functions considering adjacent zero-injection...