A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

Lu, Ping; Yau, Stephen S.; Hong, Wooyoung

doi:10.1016/0020-0255(83)90001-4

Cited by 6 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since attributed grammars have an ability to combine syntactic and semantic approaches to problem solving, Lu, Yau, and Hong [53] have developed a formal methodology using attributed grammars for multiprocessingsystem software development. This methodology includes the design representation and validation of the software design using attributed grammars.…”

Section: Methodologiesmentioning

confidence: 99%

“…Design of distributed system software is more complicated due to many design constraints and interactions of software components of the system. Currently, various design methodologies and representations for distributed systems have been proposed [53]- [55] and sometechniques have been developed to verify the design of distributed software system [53], [65], [81]. However, more research is needed in this area.…”

Section: Conclusion and Further Researchmentioning

confidence: 99%

See 1 more Smart Citation

A survey of software design techniques

Yau

Tsai

1986

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Software design is the process which translates the requirements into a detailed design representation of a software system. Good software design is a key to produce reliable and understandable software. To support software design, many techniques and tools have been developed. In this paper, important techniques for software design, including architectural and detailed design stages, are surveyed. Recent advances in distributed software system design methodologies are also reviewed. To ensure software quality, various design verification and validation techniques are also discussed. In addition, current software metrics and error-resistant software design methodologies are considered. Future research in software design is also discussed.Index Terms-Design methodologies, design representation, design verification and validation, distributed software system design, errorresistant software design, software design technique, software metrics.

show abstract

Section: Methodologiesmentioning

confidence: 99%

Section: Conclusion and Further Researchmentioning

confidence: 99%

A survey of software design techniques

Yau

Tsai

1986

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…However, some important problems, such as verification of asynchronous communication and data flow in distributed software systems, remain unsolved. A formal mcthodology for the develcpment of distributed software SYSterns using attribute grammar and compiler techniques to reprcsent the design specification and validate the impleinclitation, has been prop xed [38,39]. Nevertheless, more research related to formal Iesign methodologies and the development of supporting tools for distributed software sysk m s are still needed.…”

Section: Future Trendsmentioning

confidence: 99%

Trends in software design for distributed computing systems

Yau

Jia

Bae

[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems

Self Cite

View full text Add to dashboard Cite

A b s t r a c t Due to the rapid development of VLSI technology, computing systems can be made much more distributed and to match the structures of the problems for various applications. Because the characteristics of distributed computing systems are significantly different from those of centralized computing systems, different a,pproaches are needed to effectively address t,he design issues related to the characteristics of software for distributed computing systems. In this pa.per, the methods currently used to develop the software for distributed computing systems are classified into three categories: dataflow-oriented, communicationoriented, and object-oriented. Their applicabilities are conpa.red, and the future trends of software design approaches are discussed. Object-oriented software design methodoiogy is identified as a more promising approach to software design for distributed computing systems.I n d e x Terms-Distributed software design approaches, distributed computing systems, dataflow-oriented design approach, communication-oriented design approach, object oriented design approach, future trends. Introduet ionDue to the rapid developrrent of VLSI technology, computing systems can be made much more distributed and to match the structures of the problems for various applications. Furthermore, distribcted computing systems have the following major advantagcs: 1) The performance of a distributed computing system can be greatly improved by increasing its parallel processing capability. 2) A distributed computing system can be made more fault tolerant due to its distributed nature. 3) Tht: system can be easily expanded. Beca.use the cha,racteristics of distributed computing systems are sigxiificantly difierent f .om those of centralized computing systems, we need differ :nt, approaches to software design which can effectively address the issues related to the characteristics of distributed c( mputing systems, and realize the fu.11 potential of distribute< computing systems.In this paper, we will ( insider the characteristics of distributed computing systen i and categorize the methods currently used to develop so;tware for distributed computing systems in three classes: d ttaflow-oriented, communicationoriented, and object-oriented. The problems and issues to be addressed by the software design methodologies for distributed computing systems will also be identified. We will also discuss the trends of software design methods and identify the object-oriented software design methodology as a more promising approach . o software design for distributed computing systems although many research problems remain open. Characteristics of Distributed Computing Software SystemsA distributed computing system can be considered as a number of hardware processor: with each processor having certain computing capability, and a number of communication links among processors. From software point of view, a distributed software system -nx~ be considered as a set of sequential processes with each process residing on a hardw...

show abstract