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.
Type de document :
Communication dans un congrès
Christos Emmanouilidis; Marco Taisch; Dimitris Kiritsis. 19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. Springer, IFIP Advances in Information and Communication Technology, AICT-398 (Part II), pp.96-103, 2013, Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services. 〈10.1007/978-3-642-40361-3_13〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01470607
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 février 2017 - 15:52:17
Dernière modification le : vendredi 1 décembre 2017 - 01:15:28
Document(s) archivé(s) le : jeudi 18 mai 2017 - 14:41:16

Fichier

978-3-642-40361-3_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Gabriela Henning. Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking. Christos Emmanouilidis; Marco Taisch; Dimitris Kiritsis. 19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. Springer, IFIP Advances in Information and Communication Technology, AICT-398 (Part II), pp.96-103, 2013, Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services. 〈10.1007/978-3-642-40361-3_13〉. 〈hal-01470607〉

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

22