Journal article
EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
International journal of software engineering and knowledge engineering, v 4(4), pp 427-450
Dec 1994
Abstract
This paper investigates the analysis of concurrent OO designs using a formal, executable specification technique called G-Net. After presenting an overview of the G-Net technique, we show how to use the G-Net notation to specify the concurrent OO systems. A formal transformation technique, which translates a G-Net specification to a semantically equivalent PrT-net, is presented. The resultant PrT-net can then be formally analyzed. The practical significance of this approach in fault-tolerant systems and distributed multimedia systems design is discussed.
Metrics
4 Record Views
Details
- Title
- EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
- Creators
- Y I Deng - Florida International UniversitySHI-KUO Chang - University of PittsburghXIAOLA Lin - University of Miami
- Publication Details
- International journal of software engineering and knowledge engineering, v 4(4), pp 427-450
- Publisher
- World Scientific Publishing Company
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- College of Computing and Informatics
- Web of Science ID
- WOS:A1994QA91500001
- Other Identifier
- 991021868006804721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic