Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking

Abstract

This contribution presents a scheduling domain ontology, named SchedOnto, devised to tackle the formal specification of batch scheduling problems, as well as integration issues associated with the scheduling function. More specifically, this paper describes the ontological engineering approach that led to SchedOnto. The ontology characteristics along with its development process are presented, starting from the challenges that motivated the construction, the competency questions that defined the scope of the ontology, going afterwards through conceptualization and implementation stages, and finishing with some validation issues. SchedOnto relies on both, the ISA-88 and ISA-95 standards, which are well accepted in the industrial domain. After presenting SchedOnto, and its associated design process, this contribution addresses an example that shows the benefits of a formal representation of temporal aspects.
Fichier principal
Vignette du fichier
978-3-642-40361-3_13_Chapter.pdf (67.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01470607 , version 1 (17-02-2017)

Licence

Attribution

Identifiers

Cite

Gabriela Patricia Henning. Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking. 19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.96-103, ⟨10.1007/978-3-642-40361-3_13⟩. ⟨hal-01470607⟩
159 View
133 Download

Altmetric

Share

Gmail Facebook X LinkedIn More