The Science and Information (SAI) Organization
  • Home
  • About Us
  • Journals
  • Conferences
  • Contact Us

Publication Links

  • IJACSA
  • Author Guidelines
  • Publication Policies
  • Metadata Harvesting (OAI2)
  • Digital Archiving Policy

IJACSA

  • About the Journal
  • Call for Papers
  • Author Guidelines
  • Fees/ APC
  • Submit your Paper
  • Current Issue
  • Archives
  • Indexing
  • Editors
  • Reviewers
  • Apply as a Reviewer

IJARAI

  • About the Journal
  • Archives
  • Indexing & Archiving
  • Editorial Board

Special Issues

  • Home
  • Archives
  • Proposals
  • Guest Editors

Computing Conference 2021

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact

Intelligent Systems Conference (IntelliSys) 2021

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact

Future Technologies Conference (FTC) 2021

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact

Future of Information and Communication Conference (FICC) 2021

  • Home
  • Call for Papers
  • Submit your Paper/Poster
  • Register
  • Venue
  • Contact
  • Home
  • Call for Papers
  • Guidelines
  • Fees
  • Submit your Paper
  • Current Issue
  • Archives
  • Indexing
  • Editors
  • Reviewers
  • Subscribe

Article Details

Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.

UML based Formal Model of Smart Transformer Power System

Author 1: Muniba Sultan
Author 2: Amna Pir
Author 3: Nazir Ahmad Zafar

Download PDF

Digital Object Identifier (DOI) : 10.14569/IJACSA.2017.081138

Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 8 Issue 11, 2017.

  • Abstract and Keywords
  • How to Cite this Article
  • {} BibTeX Source

Abstract: Recently many significant improvements have been done in traditionally power system. But still a lot of work is needed in traditional power system to mend many challenges. We propose formal method based on subnet model for smart power system. Formal method is mathematics based technique that is used to develop, specify and verify model in a systematic manner. It involve components i.e., power plant, smart grid, transformer and smart meters. Power plant produces electricity and then distributes it to the smart grid. Smart grid generates electricity to transformers and then transformers transfer electricity to smart meters. Smart transformers and smart meters are deployed inform of subnets that increase the energy efficiency of smart power system. In this paper our main focus is on two components of smart power system that is transformers and smart meters. Graph theory is used for the semi-formal representation of model. In this paper we present system requirements through UML use case diagrams that are used to describe actions of system and then real topology is transferred into model topology in graph theory that is used to represent the structure of system. Mathematical technique and notation based formal method approaches are used for describing and analyzing the system. VDM-SL formal method language is used for formal specification and VDM toolbox is used for the verification and analysis of system.

Keywords: Smart power system; unified model language (UML); formal method; VDM-SL

Muniba Sultan, Amna Pir and Nazir Ahmad Zafar, “UML based Formal Model of Smart Transformer Power System” International Journal of Advanced Computer Science and Applications(IJACSA), 8(11), 2017. http://dx.doi.org/10.14569/IJACSA.2017.081138

@article{Sultan2017,
title = {UML based Formal Model of Smart Transformer Power System},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2017.081138},
url = {http://dx.doi.org/10.14569/IJACSA.2017.081138},
year = {2017},
publisher = {The Science and Information Organization},
volume = {8},
number = {11},
author = {Muniba Sultan and Amna Pir and Nazir Ahmad Zafar}
}


IJACSA

Upcoming Conferences

Future of Information and Communication Conference (FICC) 2021

29-30 April 2021

  • Virtual

Computing Conference 2021

15-16 July 2021

  • London, United Kingdom

IntelliSys 2021

2-3 September 2021

  • Amsterdam, The Netherlands

Future Technologies Conference (FTC) 2021

28-29 October 2021

  • Vancouver, Canada
The Science and Information (SAI) Organization
BACK TO TOP

Computer Science Journal

  • About the Journal
  • Call for Papers
  • Submit Paper
  • Indexing

Our Conferences

  • Computing Conference
  • Intelligent Systems Conference
  • Future Technologies Conference
  • Communication Conference

Help & Support

  • Contact Us
  • About Us
  • Terms and Conditions
  • Privacy Policy

© 2018 The Science and Information (SAI) Organization Limited. Registered in England and Wales. Company Number 8933205. All rights reserved. thesai.org