Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

2004 ◽  
Vol 50 (2) ◽  
pp. 117-173 ◽  
Author(s):  
Nasreddine Aoumeur ◽  
Gunter Saake
2017 ◽  
Vol 17 (3) ◽  
pp. 109-127 ◽  
Author(s):  
S. Cheresharov ◽  
H. Krushkov ◽  
S. Stoyanov ◽  
I. Popchev

Abstract This paper describes a model of modular system for Rapid Application Development of Web-based Information Systems (RADWIS). The existing modular systems on technology, framework and platform level does not fully solve the problems of functionality reuse, rapid application development and balance between the complexity, size and functionality. The proposed modular system addresses these problems in a new way. The current work fills the gap between the modular systems on the framework and platform level. The model uses flexible, reusable modules, which can be built with different technologies. They are installable and shareable with the standard dependency manager of the technology and can communicate using web services. The modules use NoSQL approaches in SQL databases. A workflow engine module, based on the Petri Nets theory, allows a graphical and formal mathematical solution for a wide variety of problems.


Sign in / Sign up

Export Citation Format

Share Document