Search results for "Notation"
showing 10 items of 317 documents
Asynchronous Runtime Verification of Business Processes
2015
The authors propose a runtime verification mechanism for business processes. This mechanism allows verifying the correctness of business process execution and it runs in parallel with the base processes affecting them insignificantly. The authors have identified the case where the use of business process runtime verification is helpful and applicable. The verification mechanism monitors the business process execution and verifies compliance with the base process description. The verification mechanism prototype was developed and tested in real business processes, as well as limits of runtime verification overhead were evaluated.
Information Systems and Business Strategy
2003
The main purpose of this chapter is to deep into the importance attached to the Information Systems for the proper formulation of the corporate strategy. After introducing the basis of the strategic planning tradition model, which suggests the subordination of the Information Systems (IS) to the Business Strategy, we propose a new model that views the IS as an strategic instrument suited for the strategy formulation stage, rather than operational tools for the strategy control phase. Success in the application of this model we call “Concurrent Business/IS Strategic Planning Model” will closely depend on the consistency, coherence and soundness of the IS, both internal and external. In order…
Business Process Reference Models: Survey and Classification
2006
Within the Information Systems field, reference models are well-known for many years. The aim of this paper is to survey and to describe reference models for business processes. Our analysis of 30 process reference models is based on a framework consisting of criteria such as application domain, used process modeling languages, model's size, known evaluations and applications of process reference models. Furthermore, we identify model domains, which have been dealt with, describe similarities and differences between the available process reference models, and point to open research questions.
From Organization Business Model to Information System: One Approach and Lessons Learned
2011
The system ISTechnology and lessons learned of its use in the business modeling and development of information systems are analyzed in the paper. The system consists of the meta-model and applications. The meta-model enables to define a platform independent business model of the organization. The applications provide the definition and interpretation of the business model. Interpretation of the business model provides functionality of the information system in the selected platform. The lessons learned confirm that the development and maintenance cost of information systems can be significantly reduced by use of the ISTechnology.
An Architecture for Collaborative Scenarios Applying a Common BPMN-Repository
2005
Collaborative business scenarios require a flexible integration of enterprises. To manage inter-organizational business processes, existing concepts for business process management (BPM) need to be adopted and extended. This paper presents a conceptual architecture for cross-enterprise processes’ planning, implementation, and controlling. Core component of the architecture is a distributed repository managing all required data and information, which especially obtains a process-oriented view on collaboration networks. Cross-organizational processes need close coordination among networking partners. This is achieved through the integration of business process models. Thus we further propose …
BRIMA : Low-Overhead Browser-Only Image Annotation Tool
2021
Image annotation and large annotated datasets are crucial parts within the Computer Vision and Artificial Intelligence fields. At the same time, it is well-known and acknowledged by the research community that the image annotation process is challenging, time-consuming and hard to scale. Therefore, the researchers and practitioners are always seeking ways to perform the annotations easier, faster, and at higher quality. Even though several widely used tools exist and the tools’ landscape evolved considerably, most of the tools still require intricate technical setups and high levels of technical savviness from its operators and crowdsource contributors.In order to address such challenges, w…
URBAN RESILIENCE AND WASTE MANAGEMENT: PROPOSALS OF NEW INFRASTRUCTURES FOR URBAN AREAS AND BUILDINGS
2015
La produzione ingente di rifiuti, quale conseguenza di costumi di vita volti allo spreco, rende vulnerabili i sistemi urbani che possono essere sottoposti, in casi emergenziali, a pressioni eccezionali e incontrollate con situazioni prossime al collasso. Un’opportuna e corretta gestione integrata dei rifiuti contribuisce alla resilienza dei sistemi urbani. Perciò si rendono necessarie la pianificazione e la progettazione di nuovi servizi e l’individuazione/integrazione di spazi e dotazioni tecnologiche per incentivare la popolazione a effettuare la raccolta differenziata in modo corretto e costante. Si presentano gli esiti di uno studio svolto in un piccolo centro siciliano. Partendo dalle …
A family of experiments to generate graphical user interfaces from BPMN models with stereotypes
2021
Abstract Context: A significant gap separates Business Process Model and Notation (BPMN) models representing processes from the design of Graphical User Interfaces (GUIs). Objective: This paper reports on a family of experiments to validate a method to automatically generate GUIs from BPMN models using stereotypes complemented with UML class primitives, and transformation rules. Method: We conducted two replications (23 and 31 subjects respectively) in which we compared two methods to generate GUIs from BPMN models; one automatic (using Stereotyped BPMN models) and one manual (using Non-stereotyped BPMN models). The study focuses on comparing effort, accuracy, and satisfaction (in terms of …
Combined approaches to identify genomic regions involved in phenotypic differentiation between low divergent breeds: Application in Sardinian sheep p…
2019
Selective breeding has led to modifications in the genome of many livestock breeds. In this study, we identified the genomic regions that may explain some of the phenotypic differences between two closely related breeds from Sardinia. A total of 44 animals, 20 Sardinian Ancestral Black (SAB) and 24 Sardinian White (SW), were genotyped using the Illumina Ovine 50K array. A total of 68, 38 and 15 significant markers were identified using the case–control genome-wide association study (GWAS), the Bayesian population differentiation analysis (FST) and the Rsb metric, respectively. Comparisons among the approaches revealed a total of 22 overlapping markers between GWAS and FST and one marker bet…
A Formalism Supplementing Cognitive Semantics Based on Mereology
2007
ABSTRACT This paper is motivated by and aims to supplement Cognitive Semantics. Details of this latter prominent approach within contemporary linguistic research will not be discussed here. Rather, we focus on a formalization of the concept of Gestalt and provide a formal semantics that can be used to interpret a certain formal language (LM 0) with respect to a universe of structured wholes (Gestalts). Since a great deal of the analyses of linguistic organization that has been provided by Cognitive Semantics since the mid-1970s is based on the concept of Gestalt, the semantics unfolded in the following may be viewed as an attempt to provide a starting point for supplementing the yet informa…