Uma Estratégia baseada em Regras para Instanciação, Validação e Simulação de Modelos de Processos intensivos em Conhecimento
Keywords:
Validação de Modelos, Processos intensivos em Conhecimento, Modelagem Conceitual, BPM.Abstract
Com o recente avanço da pesquisa e prática em Gestão de Processos de Negócio (Business Process Management – BPM), organizações vêm mudando o seu foco para processos críticos que tipicamente são pouco estruturados, dinâmicos e de alta complexidade, denominados Processos intensivos em Conhecimento (Knowledge-intensive Processes – KiP). Em função de tais características, atividades típicas de BPM como modelagem, instanciação, validação e simulação de processos apresentam muitos desafios. Este artigo propõe uma estratégia baseada em regras para instanciar, validar e simular modelos de KiPs. A proposta considera a ontologia de processos intensivos em conhecimento (KiPO) como um metamodelo para modelar um KiP, e transforma as suas regras em especificações na linguagem Alloy. A aplicabilidade de proposta foi avaliada em um estudo de caso com 4 cenários, e os resultados evidenciam os benefícios para modeladores de processos.
Palavras-Chave. Validação de Modelos; Processos intensivos em Conhecimento; Modelagem Conceitual; BPM.
Downloads
References
BENEVIDES, A.B., GUIZZARDI, G.A.B, BRAGA, B.F.B., ALMEIDA, J.P.A, Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures. J. UCS 16 (20), 2904-2933, (2010).
BORBAR, B., ANASTASAKIS1, K., GEORG, G., RAY, I.: UML2Alloy: A Challenging Model Transformation. In:International Conference on Model Driven Engineering Languages and Systems MODELS 2007: Model Driven Engineering Languages and Systems pp 436-450, (2007).
DCR GRAPHS . Webpage. http://dcrgraphs.com/the-solution/(2018)
DI CICCIO, C.; MARRELLA, A.; RUSSO. A. Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. Journal on Data Semantics, v. 4, n. 1, p. 29-57, (2015).
DUMAS, M., ROSA, M. L., MENDLING, J., REIJERS, H. Fundamentals of Business Process Management, Springer (2013)
OMITIDO para o processo de revisão
FRANÇA, J.B.S., NETTO, J.M, CARVALHO, J.E.S., SANTORO, F.M., BAIÃO, F.A., PIMENTEL, M.: KiPO: the knowledge-intensive process ontology. In: Software Systems Modeling -DOI 10.1007/s10270-014-0397-1 (2014)
iSys: Revista Brasileira de Sistemas de Informação (iSys: Brazilian Journal of Information Systems)
http://seer.unirio.br/index.php/isys/
GUERSON, J., SALES, T.P., GUIZZARDI, G., ALMEIDA, J.P., 2015, OntoUML Lightweight Editor: A Model-Based Environment to Build, Evaluate and Implement Reference Ontologies, 19th IEEE Enterprise Computing Conference (EDOC 2015), Demo Track, Adelaide, Australia.(2015)
GUIZZARDI, G., ALMEIDA, J.P.A., GUERSON, J.: Support for Domain Constraints in the Validation of Ontologically Well-Founded Conceptual Models. In: Enterprise, Business-Process and Information Systems Modeling pp 302-316, (2014).
GUIZZARDI, G.: Ontological Foundations for Structural Conceptual Models. In:Universal Press, TheNetherlands. ISBN90-75176-81-3, (2005).
JACKSON, D.: Software Abstraction – Logic, Language and Analysis. In: MIT Press, (2006)
MAGALHÃES, I.L.; PINHEIRO, W. B. “Gerenciamento de Serviços de TI na Prática.” Rio de Janeiro: Novatec. (2007)
MALDONADO, M.U.: Impact analysis of knowledge intensive process creation and transfer policy: a system dynamic model. M.Sc. dissertation. Programa de Pós-Graduação em Engenharia e Gestão do Conhecimento, Universidade Federal de Santa Catarina, Brazil (in Portuguese) (2008)
MILICEVIC, A., NEAR, J. P., KANG, E., JACKSON, D. “Alloy*: a general-purpose higher-order relational constraint solver” 2015 ICSE '15 Proceedings of the 37th International Conference on Software Engineering - Volume 1 - Pages 609-619 (2015)
MYLOPOULOS, J.: “Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development”, chapter “Conceptual Modeling and Telos”; John Wiley & Sons, Chichester, 49-68. (1992)
MONTAGHAMI, V., RAYSIDE, D. “Bordeaux: A Tool for Thinking Outside the Box” 2017 - International Conference on Fundamental Approaches to Software Engineering - FASE 2017: Fundamental Approaches to Software Engineering pp 22-39 (2017)
NASCIMENTO, A., SANTORO, F.M.; CEREJA, J.R . Um Método Para Identificar Variabilidade em Processos Intensivos em Conhecimento. Simpósio Brasileiro de Sistemas de Informação, Goiânia. (2015) NELSON, T., DANAS, N., DOUGHERTY, D.J., KRISHNAMURTHI, S. “The Power of Why and WhyNot : Enriching Scenario Exploration with Provenance” ESEC /FSE 2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (2017)
NETTO, J.M., SANTORO, F.M., BAIÃO, F.A.: “Evaluating KiPN for Modeling KiP”. In: International Conference on Business Process Management BPM 2013: Business Process Management Workshops pp 549-561 (2014).
NONAKA, I., UEMEMOTO, K., SENOO, D. "From information processing to knowledge creation: A paradigm shift in business management," Technology in Society (18:2), pp 203-218. (1996)
iSys: Revista Brasileira de Sistemas de Informação (iSys: Brazilian Journal of Information Systems)
http://seer.unirio.br/index.php/isys/
RAO, A.S., GEORGEFF, M.P.: Modeling Rational Agents within a BDI Architecture. Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pag 473–484, Cambridge, MA, USA. Morgan Kaufmann Publishers, (1991).
RICHTER-VON HAGEN, C.; RATZ, D.; POVALEG, R. Towards self-organizing knowledge intensive processes. Journal of Universal Knowledge Management, v. 2, p. 148-169, (2005).
SCHONIG, S., ACKERMANN, L., JABLONSKI, S. “DPIL Navigator 2.0: Multi-Perspective Declarative Process Execution” 2017 15th International Conference on Business Process Management (BPM 2011) (2017)
SONG, M., CHAMBERS, T. "Text mining with the Stanford CoreNLP", Measuring scholarly impact – Springer. (2014)
WALTER, T., PARREIRAS, F. S., STAAB, S. “An ontology-based framework for domain-specific modeling” Software & Systems Modeling - Springer (2014)
WESTERGAARD, M., MAGGI,F,B “Declare: A Tool Suite for Declarative Workflow Modeling and Enactment” 2011 9th International Conference on Business Process Management (BPM 2011) (2011)
YIN, R.K., Estudo de Caso – Planejamento e Métodos, 5 ed. Porto Alegre, Bookman. (2015)
