Int. J. of Big Data Intelligence   »   2017 Vol.4, No.4

 

 

Title: Composition and verification of student-oriented courses

 

Author: Naseem Ibrahim

 

Address: Department of Computer Science and Software Engineering, The Behrend College, Penn State University, Erie, PA, USA

 

Abstract: In the last few years, the popularity of online degrees has dramatically increased. In current online degrees, the school specifies the courses required to obtain a degree. For each course, the instructor specifies the course elements including teaching method and assessments. But different students have different capabilities and constraints. Most institutions provide the same courses. A student should be able to select the course that best matches his capabilities and constraints as long as it satisfies the required course outcomes. To achieve this goal, we propose the use of service-oriented architecture (SOA). We introduce an extended service-oriented architecture and an extended service definition, which will enable the specification and provision of student-oriented courses. We also propose a formal composition approach. To formally verify the result of the composition, we have also introduced a formal verification approach using the model checking tool UPPAAL.

 

Keywords: student-oriented; service-oriented architecture; SOA; context; service model; UPPAAL.

 

DOI: 10.1504/IJBDI.2017.10006846

 

Int. J. of Big Data Intelligence, 2017 Vol.4, No.4, pp.237 - 249

 

Submission date: 28 Feb 2016
Date of acceptance: 19 Sep 2016
Available online: 04 Aug 2017

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article