ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A Petri net-based approach to modeling and analysis of component-based distributed real-time systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A framework for classifying and comparing software architecture tools for quality evaluation
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Hi-index | 0.00 |
For complex software systems, a central design concern is system architecture. The systematic treatmentof architectural specification and refinement is a properbasis for an engineering approach to system design.However, conventional Petri nets models do not provide adequate abstractions for architectural specification, because their primary concern is behavior modeling and analysis. As an attempt to address this problem, we present a formal model called NOAM (Net-based and Object-based Architectural Model) for architectural specification and prototyping of real-time distributed systems. Building on the existing contributions from Petri nets, NOAM not only supports precise specification of real-time behavior embodied in a system architecture, but also provides a framework for systematic architectural refinement and exploration. Special focus is placed on using the formal model, and our support environment to prototyping NOAM specifications, and to meet real-time constraints.