Title :
A formal specification of a process model
Author_Institution :
Fac. of Comput. Studies & Math., Univ. of the West of England, Bristol, UK
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.814215
