A formal specification of a process model

Author

Sa, Jin

Author_Institution

Fac. of Comput. Studies & Math., Univ. of the West of England, Bristol, UK

Volume

1

fYear

1999

fDate

1999

Firstpage

922

Abstract

In this paper, a formal notation is used to specify a subset of a real-life process. The process specified is the procedural part of a joint scheme between two universities, called the Internetics scheme. The aim of the scheme is to teach students from both universities using Internet technologies. In this scheme, each university offers modules to students from the other university through the use of the World Wide Web. The author presents a formal specification of the process for part of the scheme and assesses the usefulness of the formal model and the expressiveness of the formal notation

Keywords

Internet; educational technology; formal specification; information resources; teaching; Internet technology; Internetics scheme; World Wide Web; course modules; expressiveness; formal notation; formal specification; joint university scheme; procedural scheme; process model; students; teaching; usefulness assessment; Collaboration; Collaborative work; Communication system control; Contracts; Formal specifications; Internet; Mathematics; Quality control;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on

Conference_Location

Tokyo

ISSN

1062-922X

Print_ISBN

0-7803-5731-0

Type

conf

DOI

10.1109/ICSMC.1999.814215

Filename

814215