Algebra for Enterprise Ontology: towards analysis and synthesis of enterprise models

References

• Baresi, L., and M. Pezz. 2001. “On Formalizing UML with High-Level Petri Nets.” In Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets Lecture Notes in Computer Science, edited by G. A. Agha, F. De Cindio, and G. Rozenberg, 276–304. Springer-Verlag Berlin Heidelberg. https://link.springer.com/chapter/10.1007/3-540-45397-0_9
   Google Scholar
• Berardi, D., D. Calvanese, and D. G. Giuseppe 2001. “Reasoning on UML Class Diagrams Using Description Logic Based Systems.” In Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS’01), 1–12. Vienna. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.177.1920&rep=rep1&type=pdf
   Google Scholar
• Boole, G. 1847. The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning. Cambridge: Macmillan, Barclay, & Macmillan.
   Google Scholar
• Brunet, G., M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh. 2006. “A Manifesto for Model Merging.” In Proceedings of the 2006 International Workshop on Global Integrated Model Management – GaMMa ’06, 5–12. New York: ACM. http://portal.acm.org/citation.cfm?doid=1138304.1138307
   Google Scholar
• Capel, M. I., and L. E. Mendoza. 2012. “Automating the Transformation from BPMN Models to CSP+T Specifications.” In Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012, 100–109. Heraclion, Crete: IEEE. http://ieeexplore.ieee.org/document/6479807/
   Google Scholar
• Comtet, L. 1974. Advanced Combinatorics: The Art of Finite and Infinite Expansions. Netherlands: Springer. http://link.springer.com/10.1007/978-94-010-2196-8
   Google Scholar
• Dam, H. K., L.-S. Lê, and A. Ghose. 2015. “Managing Changes in the Enterprise Architecture Modelling Context.” Enterprise Information Systems 10 (6): 666–696. doi:10.1080/17517575.2014.986219.
   Web of Science ®Google Scholar
• de Vries, M., A. van der Merwe, and A. Gerber. 2015. “Extending the Enterprise Evolution Contextualisation Model.” Enterprise Information Systems 11 (6): 787–827. doi:10.1080/17517575.2015.1090629.
   Web of Science ®Google Scholar
• Dietz, J. L. G. 2006. Enterprise Ontology: Theory and Methodology. Springer Berlin Heidelberg. https://link.springer.com/book/10.1007%2F3-540-33149-2#about
   Google Scholar
• Dietz, J. L. G. 2012. “DEMO-3 Way of Modelling Way of Working (version 3.5, September 2012).” Unpublished slides.
   Google Scholar
• Dietz, J. L. G. 2013. “DEMO-3 Models and Representations (Version 3.6c, March 2013).” http://www.ee-institute.com/publications/doc_view/179-demo3-modelsarepresentations-36c.
   Google Scholar
• Dietz, J. L. G. 2015. “The DELTA Theory - Understanding Systems.” Tech. rep. Czech Technical University in Prague.
   Google Scholar
• Dietz, J. L. G., J. A. P. Hoogervorst, A. Albani, D. Aveiro, E. Babkin, J. Barjis, A. Caetano, et al. 2013. “The Discipline of Enterprise Engineering.” International Journal of Organisational Design and Engineering 3 (1): 86–114. doi:10.1504/IJODE.2013.053669.
   Google Scholar
• Dijkman, R. M., M. Dumas, and C. Ouyang. 2008. “Semantics and Analysis of Business Process Models in BPMN.” Information and Software Technology 50 (12): 1281–1294. doi:10.1016/j.infsof.2008.02.006.
   Web of Science ®Google Scholar
• Enjo, H., M. Tanabu, and J. Iijima. 2009. “A Step toward Foundation of Class Diagram Algebra for Enterprise Service Systems.” In 6th International Conference on Service Systems and Service Management, 456–460. Xiamen: IEEE.
   Google Scholar
• Fatyani, T., J. Iijima, and J. Park. 2014. “Transformation of DEMO Model into Coloured Petri Net: Ontology Based Simulation.” In 6th International Conference on Knowledge Engineering and Ontology Development, KEOD 2014, 388–396. Italy: SCITEPRESS (Science and Technology Publications, Lda.).
   Google Scholar
• Gottschalk, F., W. M. P. Van Der Aalst, and M. H. Jansen-Vullers. 2008. “Merging Event-Driven Process Chains.” In On the Move to Meaningful Internet Systems: OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9–14, 2008, Proceedings, Part I, Vol. 5331 LNCS of Lecture Notes in Computer Science, edited by R. Meersman and Z. Tari, 418–426, Springer Berlin Heidelberg. https://link.springer.com/chapter/10.1007/978-3-540-88871-0_28
   Google Scholar
• Guerreiro, S., S. Van Kervel, and E. Babkin. 2013. “Towards Devising an Architectural Framework for Enterprise Operating Systems.” In Proceedings of the 8th International Joint Conference on Software Technologies, 578–585. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.2628&rep=rep1&type=pdf
   Google Scholar
• Klimek, R., and P. Szwed. 2010. “Formal Analysis of Use Case Diagrams.” Computer Science 11: 115–131.
   Google Scholar
• La Rosa, M., M. Dumas, R. Uba, and R. M. Dijkman. 2013. “Business Process Model Merging: An Approach to Business Process Consolidation.” ACM Transactions on Software Engineering and Methodology 22 (2): 1–42. doi:10.1145/2430545.
   Web of Science ®Google Scholar
• Li, Y., Z. Luo, J. Yin, X. Lida, Y. Yin, and W. Zhaohui. 2015. “Enterprise Pattern: Integrating the Business Process into a Unified Enterprise Model of Modern Service Company.” Enterprise Information Systems 11 (1): 37–57. doi:10.1080/17517575.2015.1053415.
   Web of Science ®Google Scholar
• Meng, S., and B. K. Aichernig. 2003. “Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases.” Tech. rep. UNU/IIST (The United Nations University, International Institute for Software Technology) Report.
   Google Scholar
• Moreira, A. M., C. Ringeissen, D. Déharbe, and G. Lima. 2004. “Manipulating Algebraic Specifications with Term-Based and Graph-Based Representations.” The Journal of Logic and Algebraic Programming 59 (1–2): 63–87. doi:10.1016/j.jlap.2003.12.001.
   Google Scholar
• Object Management Group. 2011. “Business Process Model and Notation (BPMN) - Version 2.0.” http://www.omg.org/spec/BPMN/.
   Google Scholar
• Object Management Group. 2013. “Semantics of Business Vocabulary and Business Rules (SBVR), V1.2 Annex G - EU-Rent Example.” http://www.omg.org/spec/SBVR/1.2/.
   Google Scholar
• Op ’T Land, M. 2006. “Applying Architecture and Ontology to the Splitting and Allying of Enterprises: Problem Definition and Research Approach.” In On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeB Lecture Notes in Computer Science, edited by R. Meersman, Z. Tari, and P. Herrero, 1419–1428. Springer Berlin Heidelberg.
   Google Scholar
• Op ’T Land, M. 2008. “Applying Architecture and Ontology to the Splitting and Allying of Enterprises.” Doctoral thesis. Delft University of Technology. http://link.springer.com/10.1007/11915072_46
   Google Scholar
• Perinforma, A. P. C. 2012. The Essence of Organization. Leidschendam: Sapio Enterprise Engineering.
   Google Scholar
• Ross, D. T. 1960. “Computer-Aided Design: A Statement of Objectives.” Tech. rep. Cambridge, MA: Massachusetts Institute of Technology.
   Google Scholar
• Sengupta, S., and S. Bhattacharya. 2006. “Formalization of UML Use Case Diagram – A Z Notation Based Approach.” In International Conference on Computing & Informatics 2006, 1–6. Kuala Lumpur: IEEE. doi:10.1109/ICOCI.2006.5276507
   Google Scholar
• Shroff, M., and R. B. France. 1997. “Towards a Formalization of UML Class Structures in Z.” In Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC’97), 646–651. Washington, DC. doi:10.1109/CMPSAC.1997.625087
   Google Scholar
• Sun, S., A. Kumar, and J. Yen. 2006. “Merging Workflows: A New Perspective on Connecting Business Processes.” Decision Support Systems 42 (2): 844–858. doi:10.1016/j.dss.2005.07.001.
   Web of Science ®Google Scholar
• Tsourveloudis, N. C., and K. P. Valavanis. 2002. “On the Measurement of Enterprise Agility.” Journal of Intelligent and Robotic Systems: Theory and Applications 33 (3): 329–342. doi:10.1023/A:1015096909316.
   Web of Science ®Google Scholar
• Wang, Y., A. Albani, and J. Barjis. 2011. “Transformation of DEMO Metamodel into XML Schema.” In Advances in Enterprise Engineering V: First Enterprise Engineering Working Conference, EEWC 2011, Antwerp, Belgium, May 16–17, 2011. Proceedings Lecture Notes in Business Information Processing, edited by J. L. Antonia Albani, G. Dietz, and J. Verelst, 46–60. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-21058-7_4
   Google Scholar
• Wong, P. Y. H., and J. Gibbons. 2011. “Formalisations and Applications of BPMN.” Science of Computer Programming 76 (8): 633–650. doi:10.1016/j.scico.2009.09.010.
   Web of Science ®Google Scholar
• Zhao, J., and Z. Duan. 2009. “Verification of Use Case with Petri Nets in Requirement Analysis.” In Computational Science and Its Applications – ICCSA 2009: International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II Lecture Notes in Computer Science, edited by O. Gervasi, D. Taniar, B. Murgante, A. Laganà, Y. Mun, and M. L. Gavrilova, 29–42. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02457-3_3
   Google Scholar