806 research outputs found
Examples from paper "Constraint Formalization for Automated Assessment of Enterprise Models": ArchiChecker-examples
No full textExamples from paper Joosten, S., Roubtsova, E. E., & El Makki Haddouchi. (2022). Constraint Formalization for Automated Assessment of Enterprise Models. In ICEIS (2) (pp. 430-441).
The source contains
1) An ArchiMate model with two views.
2) 10 Formalized policies in Ampersand.
3) An instruction on how to install the Ampersand tool and how to run Ampersand for automatic assessment of an ArchiMate model against formalized policies
Behavior modeling - foundations and applications: international workshops, BM-FA 2009-2014, revised selected papers
No full textThis book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers presented at these 6 workshops. The contributions were organized in topical sections named: modelling practices; new ways of behaviour modelling: events in modelling; and new ways of behaviour modelling: protocol modelling
e.e. cummings, Poetry Reading, Part 2
No full textEdward Estlin e. e. Cummings (October 14, 1894 – September 3, 1962), often styled as e e cummings, as he sometimes signed his name, was an American poet, painter, essayist, author, and playwright. He wrote approximately 2900 poems, two autobiographical novels, four plays, and several essays. This undated recording captures cummings during his visit to Eastern Michigan University. There is no commentary between poems.https://commons.emich.edu/performances/1016/thumbnail.jp
Process Mining and Performance Business Rules
Full text linkProcess mining uses event logs to build a business process model, which potentially can be used to better understand the business process performance. However, the understanding of performance almost always demands definitions in form of performance business rules within the business process. This means that process mining should be accompanied with another research method to retrieve the performance business rules of the studied business process.This paper presents an approach showing how the process mining techniques shape the structure of the semi-structured interviews for retrieving performance business rules to be checked on the logged business process. The proposed approach is illustrated with a case study of process mining and performance assessment of an application process in an employment agency
Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures
No full textChange analysis of enterprise architectures is usually done by observing differences between two enterprise architectures, As-Is and To-Be. If the As-Is and To-Be have a lot of differences, it is problematic to manually create a correct view on changes. This paper proposes a revision of a definition of the Gap of Changes and defines it as a language independent analytic pattern suitable for using in tools. The paper describes a tool built on the basis of this definition. The change analysis without the tool and with the tool output has been tested in a workshop. The added value of the tool was acknowledged by the workshop participants
KPI Design as a Simulation Project
No full textDesign of key performance indicators (KPIs) is a repeated and challenging problem for organizations. KPIs are measured at the operational level, but are used to manage organizations at the strategic level. Strategic goals often change, and professionals with different backgrounds must understand and implement new KPIs that correspond to them. Nowadays, KPIs are designed and directly implemented on running organizations, which is disturbing to operational personnel. To avoid the disruption of business processes, we propose to design and test KPIs through simulation. After satisfactory experiments, a KPI can be implemented on the modelled organization.We have developed a conceptual reference model to organize KPI design simulation projects, showing what should be produced in a project. Our model has been built by the application of requirements engineering methods to the review of the literature of performance indicators. The model has been tested on several case studies. In this paper, we show two studies that demonstrate how unspecified concepts from our conceptual reference model damage reliability and improvement orientation of the designed indicators.<br/
UML-based tool for component specification
No full textWe present a specification tool for comonent specification that uses UML diagrams as an illustration of the specification. A component is specified as a set of roles communicating via interfaces, named an interface suite. Our tool is based on a specification model for interface suites and it is realized as a specific extension of the Rational Rose UML-based tool
Design technology for microprocessor regulators.
No full textProceedings of XI International conference of control problems. Tashkent, 1989, pp. 490-491
- …
