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

fYear

1995

fDate

28-30 Aug 1995

Firstpage

257

Lastpage

265

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTDCS.1995.524993

Filename

524993