Title :
Executable specifications for distributed software systems
Author :
Urban, Joseph E. ; Joo, Hankyu
Author_Institution :
Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Abstract :
The front-end life cycle or upper CASE aspects of software development for distributed systems is driven by the components of applications, management, and techniques/tools. The applications component seeks taxonomies of application domains in distributed computing and the identification of core software requirements. The management component concerns the twofold aspects of developing distributed computing systems and distributed development teams. The techniques/tools component includes analysis of those elements available to support software development. Specifications have advantages and limitations in distributed computing that must be addressed to effectively develop software systems. This paper describes the role of executable specifications in distributed computing, specification language development/experience, and future directions
Keywords :
Petri nets; computer aided software engineering; distributed algorithms; distributed processing; formal specification; specification languages; temporal logic; core software requirements; distributed computing; distributed development teams; distributed software systems; executable specifications; front-end life cycle; management component; software development; specification language development; techniques/tools component; upper CASE aspects; Application software; Computer science; Control systems; Distributed computing; Logic; Petri nets; Power system modeling; Programming; Software systems; Specification languages;
Conference_Titel :
Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Cheju Island
Print_ISBN :
0-8186-7125-4
DOI :
10.1109/FTDCS.1995.524993
