Welcome to the InfoSci Platform
Reference Hub8
The Formal Design Model of a File Management System (FMS)

The Formal Design Model of a File Management System (FMS)

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.Y. Sheu
Copyright: © 2011 |Volume: 3 |Issue: 1 |Pages: 24
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781613509173|DOI: 10.4018/jssci.2011010107
Cite Article Cite Article

MLA

Wang, Yingxu, et al. "The Formal Design Model of a File Management System (FMS)." IJSSCI vol.3, no.1 2011: pp.90-113. http://doi.org/10.4018/jssci.2011010107

APA

Wang, Y., Ngolah, C. F., Tan, X., Tian, Y., & Sheu, P. C. (2011). The Formal Design Model of a File Management System (FMS). International Journal of Software Science and Computational Intelligence (IJSSCI), 3(1), 90-113. http://doi.org/10.4018/jssci.2011010107

Chicago

Wang, Yingxu, et al. "The Formal Design Model of a File Management System (FMS)," International Journal of Software Science and Computational Intelligence (IJSSCI) 3, no.1: 90-113. http://doi.org/10.4018/jssci.2011010107

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating large-volume information and persistent data. File management systems are an indispensable component of operating systems and real-time systems for file manipulations. This paper develops a comprehensive design pattern of files and a File Management System (FMS). A rigorous denotational mathematics, Real-Time Process Algebra (RTPA), is adopted, which allows both architectural and behavioral models of files and FMS to be rigorously designed and implemented in a top-down approach. The conceptual model, architectural model, and the static/dynamic behavioral models of files and FMS are systematically presented. This work has been applied in the design and modeling of a real-time operating system (RTOS+).

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.