论文基于Petri网的图书管理构件系统复合组装是适合不知如何写图书管理方面的相关专业大学硕士和本科毕业论文以及关于图书管理论文开题报告范文和相关职称论文写作参考文献资料下载。
摘 要：Petri网具有严格数学逻辑和直观图形表达,本论文使用Petri网形式化建模,用层次Petri网描述复合构件组装,分析了组装的原理、组装的方式与组装的框架,对复合组装的行为与框架性质进行分析,以图书管理系统为例子对系统中的各个构件组装进行形式化表示.
关键词：Petri网；构件性质；构件组装
中图分类号：TP311 文献标识码：A
1 引言（Introduction）
信息化产业和软件工程技术革命高速发展的今天,越来越多系统成了遗产系统,基于构件的软件演化成了主流研究领域[1],对这个领域的研究有着重要的现实意义和广阔前景.Petri网具有严格数学逻辑和直观图形表达[2],本文使用Petri网形式化建模,实现对图书管理构件系统复合组装.
2 图书管理系统介绍 （Introduction of library
management system）
本文提出在扩展Petri网的基础上对图书管理系统的各个构件进行建模表示,将形式化理论的可行性上升到实用层次来实现.图书管理系统是人与计算机对图书进行管理,包括图书的购入、借阅、归还及注销,管理员可以查询某位读者,某种图书的借阅情况,还可以对当前图书借阅情况进行一些统计,给出统计表格,以便全面掌握图书的流通情况[3].
图书管理系统对图书主要进行四个方面管理：购入新书、读者借书、读者还书,以及图书注销：
（1）购入新书时为该书写入图书目录：分类作者、目录号、流水号、书名、内容摘 要、购书日期、等信息.
（2）借书时填写借书单：欲借书图书分类目录号、读者号,系统首先检查是否有效的读书号,若无效则输出；有效则检查所借图书是否超过最大限制数,若达最大限制数输出,否则登记所借图书分类目录号、借阅日期、读者号,写回到借书文件中.
（3）还书时从所借图书中读出借阅记录,回还书日期到借书文件中,如果借书日期逾期,则处以罚款.
（4）对图书进行清理管理工作,删除无价值图书、淘汰的图书并进行注销.
（5）咨询要求分三种情况：查询某种图书、查询某位读者、查询全局图书.
总结:本论文为您写图书管理毕业论文范文和职称论文提供相关论文参考文献，可免费下载。
参考文献：
1、 UML在图书管理系统中应用分析 摘要：随着科学社会的不断进步和发展，UML已经入驻到图书管理信息系统中。uML是一种非常强大的检索系统，是一种应用较为广泛的建模语言。图书馆中的。
2、 现代图书管理系统中动态清点工作 ［摘 要］图书清点工作是图书馆的基础性工作。动态清点工作是指对小范围闭架图书利用现代化图书管理软件分区、分批清点。周密的部署与安排、详尽的清点工。
3、 基于Web的在线图书管理系统的设计和实现 摘要：采用ASP NET+SQL 2008开发技术，提出并设计了一种基于B S模式的在线图书管理系统，实现了对图书信息的在线编辑、浏览、查询、借。
4、 图书管理系统分析和设计 摘 要：随着社会经济、科技的不断创新，我们已经迎来了大数据时代，生活日新月异，科技参透到生活的方方面面，在图书管理行业中也不例外。本文主要介绍了。
5、 图书管理系统需求分析和设计 摘 要：本文对图书管理系统应用需求、图书管理系统的设计和系统数据库的设计这三部分作了分析介绍。通过对应用进行需求分析，探讨了系统所需面向的对象，。
6、 基于Struts和Hibernate图书管理系统设计和实现 [摘 要]本文針对高校图书馆存在的问题，采用Struts和Hibernate技术设计实现图书管理系统，满足校园图书馆对图书管理的需求。该系统采用。