Trends in software design for distributed computing systems

The methods currently used to develop the software for distributed computing systems are classified into three categories: data flow oriented, communication oriented and object oriented. Their applicabilities are compared, and future trends in software design approaches are discussed. The problems and issues to be addressed by the software design methodologies for distributed computing systems are pointed out. The authors discuss the trends in software design methods and identify object-oriented software design methodology as a promising approach.<<ETX>>

[1]  Gerald J. Popek,et al.  Transactions and synchronization in a distributed operating system , 1985, SOSP '85.

[2]  Virginia Mary Lo,et al.  Heuristic Algorithms for Task Assignment in Distributed Systems , 1988, IEEE Trans. Computers.

[3]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[4]  Ira R. Forman,et al.  Using Raddle to design distributed systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[5]  Stephen S. Yau,et al.  Distributed Software System Design Representation Using Modified Petri Nets , 1983, IEEE Transactions on Software Engineering.

[6]  Stephen S. Yau,et al.  An Approach to Distributed Computing System Software Design , 1981, IEEE Transactions on Software Engineering.

[7]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[8]  James P. Huang.  Modeling of Software Partition for Distributed Real-Time Applications , 1985, IEEE Transactions on Software Engineering.

[9]  Stephen S. Yau,et al.  A partitioning algorithm for distributed software systems design , 1986, Inf. Sci..

[10]  S.S. Yau,et al.  Control flow analysis of distributed computing system software using structured Petri net model , 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.

[11]  Ivar Jacobson,et al.  Object-oriented development in an industrial environment , 1987, OOPSLA '87.

[12]  Akinori Yonezawa,et al.  Inheritance and Synchronization in Concurrent OOP , 1987, ECOOP.

[13]  Stephen S. Yau,et al.  Verification of Concurrent Control Flow in Distributed Computer Systems , 1988, IEEE Trans. Software Eng..

[14]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[15]  Stephen S. Yau,et al.  A structured bipartite inheritance network representation for object-oriented software design , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[16]  Willy Zwaenepoel,et al.  Distributed process groups in the V Kernel , 1985, TOCS.

[17]  Giorgio Bruno,et al.  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.

[18]  Narain H. Gehani,et al.  The concurrent C programming language , 1989 .

[19]  Stephen S. Yau,et al.  An approach to verification of communication in distributed computing system software , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

[20]  Henry Ledgard,et al.  Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[21]  Stephen S. Yau,et al.  On Communication in the Design of Software Components of Distributed Computer Systems , 1982, ICDCS.

[22]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[23]  Dennis G. Kafura,et al.  Inheritance in Actor Based Concurrent Object-Oriented Languages , 1989, Comput. J..

[24]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[25]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[26]  Pierre America,et al.  Inheritance and Subtyping in a Parallel Object-Oriented Language , 1987, ECOOP.

[27]  Wesley W. Chu,et al.  Task Allocation and Precedence Relations for Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[28]  Stephen S. Yau,et al.  A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation , 1983, Inf. Sci..

[29]  C. V. Ramamoorthy,et al.  Synthesis rules for cyclic interactions among processes in concurrent systems , 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

[30]  Stephen S. Yau,et al.  A formal methodology using attributed grammars for multiprocessing-system software development II - Validation , 1983, Inf. Sci..

[31]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[32]  D. Decouchant,et al.  A synchronization mechanism for typed objects in a distributed system , 1988, OOPSLA/ECOOP '88.