scholarly journals Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System

Author(s):  
Nadeem Akhtar ◽  
Aisha Shafique Ghori ◽  
Nadeem Salamat
Author(s):  
Srikanth Kallurkar ◽  
Bin Yu ◽  
Jay Askren ◽  
Lewis Fishgold ◽  
Ganesh Vaidyanathan ◽  
...  

2004 ◽  
Vol 7 (4) ◽  
pp. 373-389 ◽  
Author(s):  
Rajeev R. Raje ◽  
Daocheng Zhu ◽  
Snehasis Mukhopadhyay ◽  
Liying Tang ◽  
Mathew Palakal ◽  
...  

2014 ◽  
Vol 543-547 ◽  
pp. 4052-4057
Author(s):  
Run Biao Bao ◽  
Man Zhang

This study developed an information lifecycle-oriented information management system model for architectural design industry by combining information lifecycle theory with information management system for architectural design industry. In addition to improving weak/complicated processes during information management for architectural design industry, this integrated model merged information lifecycle theory on routine information management operations, and therefore enhances business sensitivity of information management and promotes effectiveness of information management. Furthermore, with the information management process reengineering, this paper studied the theory and framework of information lifecycle flow based on information process mechanism on integrated information management phases for architectural design industry. The paper established an analytical framework for the study of the process and mechanism of disaster information process reengineering and taking the architectural design industry for example, this paper analyzed diversified phases of integrated process for information management of architectural design industry. Key outcomes of this study include the demonstration and assessment of the information process mechanism and information management for architectural design industry based on information lifecycle theory. This study established a new direction for future research on information lifecycle-oriented process reengineering for architectural design industry.


Author(s):  
Hong Lin

In this chapter a program construction method based on ?-Calculus is proposed. The problem to be solved is specified by first-order predicate logic and a semantic verification program is constructed directly from the specification. We exploit this method in synthesizing the architectural specifications of multi-agent systems (MAS) in ?-Calculus based on the logic specifications of the MAS. By enabling the transformation from the logic specifications to operational specifications of MAS, this method allows the design of the MAS to be focused on the architectural definition level. It benefits the development of MAS by enabling logic deduction on behaviors of the MAS, and a design methodology in an incremental fashion. We present this method by a case study of designing a course information management system.


Sign in / Sign up

Export Citation Format

Share Document