Formal specification of batch scheduling problems: A step toward integration and benchmarking

HENNING, GABRIELA

Rodas

Conferencia; APMS 2012 Internactional Conference, Advances in Production Management Systems; 2012

Athena Research Center

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. In other words, not only the ontology characteristics are briefly discussed, but also its development process is 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. Since on-tologies are, by definition, based on consensual knowledge, SchedOnto relies on both, the ISA-88 and ISA-95 standards, which are well accepted in the in-dustrial domain. After presenting SchedOnto, and its associated design process, this contribution addresses an example that shows the benefits of a formal rep-resentation of temporal aspects