Formal enterprise modeling of batch plants using projects
- Autores
- Canavesio, Mercedes M.; Martinez, E.
- Año de publicación
- 2002
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Intense competition and rapid environmental changes are revealing severe limitations and drawbacks of the hierarchical and functional-oriented management system currently used by the vast majority of batch plants. In this work, a formal modeling framework for batch plants using projects and situation calculus is proposed. Projects are autonomous, temporary entities within the enterprise, in which different types of expertise are combined to achieve a concrete set of goals or deliverables. Situation calculus is used to represent the plethora of relationships involving projects, resources, actors etc. at different levels of abstraction over time. The use of a formal language permits to define the enterprise model specifications for rigorous reasoning about batch plant structure and behaviour. The proposed framework is exemplified with a case study comprising a dairy facility that involve the production 100+ different fresh products using an order-driven management system.
Sociedad Argentina de Informática e Investigación Operativa - Materia
-
Ciencias Informáticas
Formal language
Project-oriented management
Enterprise modeling - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/4.0/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/183449
Ver los metadatos del registro completo
| id |
SEDICI_771d92bfc6692f0f4baf3dc212e4af03 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/183449 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
Formal enterprise modeling of batch plants using projectsCanavesio, Mercedes M.Martinez, E.Ciencias InformáticasFormal languageProject-oriented managementEnterprise modelingIntense competition and rapid environmental changes are revealing severe limitations and drawbacks of the hierarchical and functional-oriented management system currently used by the vast majority of batch plants. In this work, a formal modeling framework for batch plants using projects and situation calculus is proposed. Projects are autonomous, temporary entities within the enterprise, in which different types of expertise are combined to achieve a concrete set of goals or deliverables. Situation calculus is used to represent the plethora of relationships involving projects, resources, actors etc. at different levels of abstraction over time. The use of a formal language permits to define the enterprise model specifications for rigorous reasoning about batch plant structure and behaviour. The proposed framework is exemplified with a case study comprising a dairy facility that involve the production 100+ different fresh products using an order-driven management system.Sociedad Argentina de Informática e Investigación Operativa2002-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf67-78http://sedici.unlp.edu.ar/handle/10915/183449enginfo:eu-repo/semantics/altIdentifier/issn/1666-1095info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T11:21:45Zoai:sedici.unlp.edu.ar:10915/183449Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 11:21:45.906SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
Formal enterprise modeling of batch plants using projects |
| title |
Formal enterprise modeling of batch plants using projects |
| spellingShingle |
Formal enterprise modeling of batch plants using projects Canavesio, Mercedes M. Ciencias Informáticas Formal language Project-oriented management Enterprise modeling |
| title_short |
Formal enterprise modeling of batch plants using projects |
| title_full |
Formal enterprise modeling of batch plants using projects |
| title_fullStr |
Formal enterprise modeling of batch plants using projects |
| title_full_unstemmed |
Formal enterprise modeling of batch plants using projects |
| title_sort |
Formal enterprise modeling of batch plants using projects |
| dc.creator.none.fl_str_mv |
Canavesio, Mercedes M. Martinez, E. |
| author |
Canavesio, Mercedes M. |
| author_facet |
Canavesio, Mercedes M. Martinez, E. |
| author_role |
author |
| author2 |
Martinez, E. |
| author2_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas Formal language Project-oriented management Enterprise modeling |
| topic |
Ciencias Informáticas Formal language Project-oriented management Enterprise modeling |
| dc.description.none.fl_txt_mv |
Intense competition and rapid environmental changes are revealing severe limitations and drawbacks of the hierarchical and functional-oriented management system currently used by the vast majority of batch plants. In this work, a formal modeling framework for batch plants using projects and situation calculus is proposed. Projects are autonomous, temporary entities within the enterprise, in which different types of expertise are combined to achieve a concrete set of goals or deliverables. Situation calculus is used to represent the plethora of relationships involving projects, resources, actors etc. at different levels of abstraction over time. The use of a formal language permits to define the enterprise model specifications for rigorous reasoning about batch plant structure and behaviour. The proposed framework is exemplified with a case study comprising a dairy facility that involve the production 100+ different fresh products using an order-driven management system. Sociedad Argentina de Informática e Investigación Operativa |
| description |
Intense competition and rapid environmental changes are revealing severe limitations and drawbacks of the hierarchical and functional-oriented management system currently used by the vast majority of batch plants. In this work, a formal modeling framework for batch plants using projects and situation calculus is proposed. Projects are autonomous, temporary entities within the enterprise, in which different types of expertise are combined to achieve a concrete set of goals or deliverables. Situation calculus is used to represent the plethora of relationships involving projects, resources, actors etc. at different levels of abstraction over time. The use of a formal language permits to define the enterprise model specifications for rigorous reasoning about batch plant structure and behaviour. The proposed framework is exemplified with a case study comprising a dairy facility that involve the production 100+ different fresh products using an order-driven management system. |
| publishDate |
2002 |
| dc.date.none.fl_str_mv |
2002-09 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/183449 |
| url |
http://sedici.unlp.edu.ar/handle/10915/183449 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/issn/1666-1095 |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| dc.format.none.fl_str_mv |
application/pdf 67-78 |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1842260722352914432 |
| score |
13.13397 |