IFIP Open Access Digital Library
Not a member yet
22614 research outputs found
Sort by
Defining Software Company’s KPIs from Customers’ and Employees’ Perspectives
No full textPart 2: Late-Breaking ResultsInternational audienceCustomers are the lifeline of software companies. Therefore, it is vital for companies to guarantee customer satisfaction and loyalty. Many research studies have been conducted on employee satisfaction and employee motivation, but these have rarely been connected to software services to customers. In this paper, we describe a case study where performance indicators were defined both from the perspective of the employees and the customers to give some indication of the quality of the services. The case study was conducted in collaboration with an international software company in Iceland where the main author of this paper is an employee. The main results show that the employees agreed that the performance indicators were positive and motivating. The main contribution of the project is in the form of key performance indicators that the employees will hopefully use in the future. The results of the project can be used by other IT professionals that want to define performance indicators for their services from the joint perspective of the customers and the employees
Developing a VR Factory Walkthrough for Use in Schools
No full textPart 5: DemosInternational audiencePractical experiences are an important part of the education in vocational schools. In many cases, for example concerning production modes, this experience is gained by excursions to factories. Since the number of such excursions is limited by time and money constraints, and since the current alternative are traditional, less immersive materials such as books or videos, we present a virtual reality (VR) walkthrough of a demonstration factory. We collected requirements that are specific to this situation, built an application, and evaluated it, according to the human-centred design process. From this, we derive an overview of the special precautions and the challenges related to development for use in a school setting
Human-Centered Software Engineering: 10th IFIP WG 13.2 InternationalWorking Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024
No full textInternational audienceBook Front Matter of LNCS 1479
Simulation-Based Decision Support for Cross-Organisational Workflows
No full textPart 1: Regular PapersInternational audienceAnalysing and managing workflows across organisations can be a complex task. One of the main challenges is that planners often have a limited overview of shared resources and dependencies in collaborative workflows that extend beyond their local context. In this paper, we use an emergency handling workflow across multiple organisations as a case study to demonstrate how our recently developed formal language \mathcal {R}{\textsc {pl}}RPL and its accompanying tool \mathcal {R}{\textsc {pl}}\textrm{Tool}RPLTool can be adopted to facilitate decision making on resource allocation in cross-organisational workflows. We formally model the workflow in \mathcal {R}{\textsc {pl}}RPL, and simulate the model with multiple concurrency levels and resource configurations regarding their availability and efficiency using \mathcal {R}{\textsc {pl}}\textrm{Tool}RPLTool, allowing the decision-makers to observe how the changes in these scenarios impact the behaviour and the performance of the workflow
Grass-Root Enterprise Modelling: How Large Language Models Can Help
No full textPart 2: Advances in Enterprise Modelling TechniquesInternational audienceConceptual modelling has turned out to be a promising application field for large language models (LLM). The paper reports the results of a study in the field of enterprise modelling (EM) aiming at generating multi-perspective models. The results indicate that LLM can be seen as assistive technology for certain tasks in EM. Thus, the paper also discusses if LLM can be considered as a tool for grass-roots EM, i.e., modelling by stakeholders without solid EM training. The main contributions of the paper are (1) an analysis of the state of research in LLM use in EM, (2) a study on LLM use for producing multi-perspective enterprise models, and (3) to position LLM in the roadmap for increasing the reach of EM
SymboleoAC: An Access Control Model for Legal Contracts
No full textPart 4: Security, Compliance, and Configuration in Enterprise ModelingInternational audienceLegal contracts have served as the bedrock of business transactions for millennia. Many are now automated through the use of smart contracts, supported by blockchain and IoT technologies. However, automation poses security challenges as to who should have access to operate on contract elements. This paper proposes a role-based access control model, treating all contract elements as resources and ensuring regulated access by designated parties. The access control model extends the Symboleo specification language for legal contracts with new modeling concepts inspired by Role-Based Access Control (RBAC), tailored for the legal contract domain, resulting in SymboleoAC. Specifically, we: (i) model a set of access control concepts, including resource, access rule, and access policy, thereby extending the Symboleo ontology, (ii) define controller rules that specify who can authorize access to each resource, and (iii) present pre-authorization rules that specify who has access to what. Our contributions include an access control model for legal contracts, an extension of the Symboleo language with pre-authorization access rules, as well as a tool that generates smart contract code for Hyperledger Fabric (in JavaScript, from SymboleoAC) that is compliant with access policies and access rules
Knowledge Graphs as a Scholarly Data Fabric: A Data Silo Transformation Pipeline with Visualization Semantics
No full textPart 2: Advances in Enterprise Modelling TechniquesInternational audienceThe paper reports on a Knowledge Graph (KG)-based Data Fabric project in the authors’ host institution. The project aimed to lift legacy relational databases that are spread around the institution to an enterprise-grade Ontotext GraphDB server and to provide a visual data navigator to decision-makers. The visualization takes a particular technical approach to be explained in this paper. Complex SPARQL queries are devised not only to retrieve the data to be visualized, but also to gradually transform legacy data towards visual graph structures tailored for diagrammatic navigation through a contextual sliding window. This raises a specific requirement for graph transformations that are valuable as reusable patterns that are more comprehensible compared to the common visual tools we encountered for KG navigation. Therefore the work belongs to the artifact-building genre advocated by Design Science and suggests the importance of a dedicated research direction that should account for the distinction between the semantics of what is stored in the KG and the semantics of visual constructs, of how things are graphically presented – with the help of metadata labelled here as “visualization semantics”, a viewpoint that is well established in the field of diagramming but ignored for a long time by the visual interfaces emerging from the KG community
Towards Timeline-Based Layout for Process Mining
No full textPart 3: Process Mining and Business Process AnalysisInternational audienceProcess mining techniques have been developed in order to help process analysts to obtain better insights into the performance of business processes. A key dimension of such analysis is time, as it is closely connected with performance problems such as waiting times or bottlenecks. So far, process mining techniques have mostly focused on behavioral patterns such as directly-follows relationships, missing the opportunity to show time explicitly in generated process models. In this paper, we argue that representing time in process models is essentially a layout problem. We present a technique for aligning a process model with the time axis and exemplify it for directly-follows graphs. We use an illustrative evaluation using BPIC event logs to investigate the plausible benefits of a timeline-based layout
Preorder-Constrained Simulations for Program Refinement with Effects
No full textInternational audienceWe propose a notion of preorder-constrained simulation. It is parameterised by a preorder (“observation preorder”) on traces, so that it can uniformly characterise quantitative notions of program refinement for different effects, such as exception, nondeterminism and I/O. Preorder-constrained simulation is additionally parameterised by a positive number (“look-ahead bound”), and forms a generative spectrum governed by the look-ahead bound. We analyse the complexity of determining preorder-constrained similarity, and show that preorder-constrained simulation can be enhanced by the so-called up-to technique
A Note on Skew-Asynchronous Cellular Automata
No full textPart 2: Contributed PapersInternational audienceAtomicity property (in other words, fully asynchronism) is a well-studied source of the noise or perturbation in cellular systems where two consecutive cells are not allowed to be updated simultaneously. In this work, we question this restriction and introduce the notion of skewed environment where atomicity property is not respected. The proposed skew-asynchronous cellular automata update two consecutive cells chosen uniformly at random in each step. The present work focuses on elementary cellular automata, which are classified based on their dynamical behaviour under the proposed skewed environment. The dynamical behaviour of these cellular automata are compared with the fully-asynchronous cellular automata, which points out varieties of rich phenomenon under skewed environment. Some elementary cellular automata shift from convergence nature to divergence and some from non-convergence to convergence nature, if update style shifts from fully asynchronism to skewed asynchronism. We identify the cases where the divisibility of the lattice size by 2 or 4 introduces massive repercussion in the system following presence or absence of the atomicity property. Lastly, we theorize the reason behind convergence towards all 0 and all 1 point attractors under the proposed skewed environment which partially validates our experimental observations