Development of Distributed Computing Systems Software Design Methodologies

摘要

This report summarizes the important results obtained during the project period. One important result is the development of a design representation technique based on attributed grammars. The other is the development of a design approach based on Petri nets emphasizing modularity. Both results have been presented in detail in papers published or to be published in the scientific journals or conference proceedings. (Author)