Algebra for Enterprise Ontology: towards analysis and synthesis of enterprise models
暂无分享,去创建一个
[1] Luciano Baresi,et al. On Formalizing UML with High-Level Petri Nets , 2001, Concurrent Object-Oriented Programming and Petri Nets.
[2] Piotr Szwed,et al. Formal Analysis of Use Case Diagrams , 2010, Comput. Sci..
[3] Zhenhua Duan,et al. Verification of Use Case with Petri Nets in Requirement Analysis , 2009, ICCSA.
[4] Mehrdad Sabetzadeh,et al. A manifesto for model merging , 2006, GaMMa '06.
[5] Mark von Rosing,et al. Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.
[6] Jeremy Gibbons,et al. Formalisations and applications of BPMN , 2011, Sci. Comput. Program..
[7] S. Sengupta,et al. Formalization of UML use case diagram-a Z notation based approach , 2006, 2006 International Conference on Computing & Informatics.
[8] Christophe Ringeissen,et al. Manipulating algebraic specifications with term-based and graph-based representations , 2004, J. Log. Algebraic Methods Program..
[9] Martin Op't Land,et al. Applying Architecture and Ontology to the Splitting and Allying of Enterprises: Problem Definition and Research Approach , 2006, OTM Workshops.
[10] Remco M. Dijkman,et al. Business Process Model Merging: An Approach to Business Process Consolidation , 2013, TSEM.
[11] Wil M. P. van der Aalst,et al. Merging Event-Driven Process Chains , 2008, OTM Conferences.
[12] Manuel I. Capel,et al. Automating the Transformation from BPMN Models to CSP+T Specifications , 2012, 2012 35th Annual IEEE Software Engineering Workshop.
[13] Junichi Iijima,et al. A step toward foundation of class diagram algebra for enterprise service systems , 2009, 2009 6th International Conference on Service Systems and Service Management.
[14] Aditya K. Ghose,et al. Managing changes in the enterprise architecture modelling context , 2016, Enterp. Inf. Syst..
[15] Yan Wang,et al. Transformation of DEMO Metamodel into XML Schema , 2011, EEWC.
[16] Bernhard K. Aichernig,et al. Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases , 2003 .
[17] Kimon P. Valavanis,et al. On the Measurement of Enterprise Agility , 2002, J. Intell. Robotic Syst..
[18] George Boole,et al. The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning , 2007 .
[19] Alta van der Merwe,et al. Extending the enterprise evolution contextualisation model , 2017, Enterp. Inf. Syst..
[20] Remco M. Dijkman,et al. Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..
[21] Jaehyun Park,et al. Transformation of DEMO Model into Coloured Petri Net - Ontology based Simulation , 2014, KEOD.
[22] John Yen,et al. Merging workflows: A new perspective on connecting business processes , 2006, Decis. Support Syst..
[23] Giuseppe De Giacomo,et al. Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .
[24] Joaquim Filipe,et al. Enterprise Information Systems , 2000, Springer Netherlands.
[25] Jan L. G. Dietz,et al. Enterprise ontology - theory and methodology , 2006 .
[26] Hans B. F. Mulder,et al. The discipline of enterprise engineering , 2013 .
[27] Robert B. France,et al. Towards a formalization of UML class structures in Z , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).
[28] L. Comtet,et al. Advanced Combinatorics: The Art of Finite and Infinite Expansions , 1974 .
[29] Zhaohui Wu,et al. Enterprise Pattern: integrating the business process into a unified enterprise model of modern service company , 2017, Enterp. Inf. Syst..
[30] Eduard Babkin,et al. Towards Devising an Architectural Framework for Enterprise Operating Systems , 2018, ICSOFT.