Filters








3,096 Hits in 5.2 sec

Automatic Detection and Semantic Formalisation of Business Rules [chapter]

Cheikh Kacfah Emani
2014 Lecture Notes in Computer Science  
This paper examines these problems and envisions solutions to help experts. We thus envisage to automate detection and extraction of business rules in regulatory texts.  ...  Moreover, with regard to the number of texts and the diversity of their writers, we cannot neglect the possibility of getting inconsistencies.  ...  State of the Art Two fields of study are the most relevant to our work: (i) detecting and rephrasing rules and (ii) automatically formalising them. Detecting and Reformulating Business Rules.  ... 
doi:10.1007/978-3-319-07443-6_57 fatcat:sahz3rxrf5ds5iyvfffumydu2i

BProVe: A formal verification framework for business process models

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Nevertheless, the lack of formal semantics hinders the automatic verification of relevant properties. This paper presents a novel verification framework for BPMN 2.0, called BProVe.  ...  A complete tool chain, based on the Eclipse modelling environment, allows for rigorous modelling and analysis of Business Processes.  ...  Sketch of rules for part of the semantics of processes and pools.  ... 
doi:10.1109/ase.2017.8115635 dblp:conf/kbse/CorradiniFP0TV17 fatcat:pfaanpgf6vfj5e64u3f7f3npeq

UNICOMP: Identification of Enterprise Competencies to Build Collaborative Networks [chapter]

Kafil Hajlaoui, Xavier Boucher, Omar Boussaid
2010 IFIP Advances in Information and Communication Technology  
Due to the complexity of the notion of competence, this contribution is based on a semantic representation of information using semantic ontology, bonds and a linguistic treatment based on the utilization  ...  To identify enterprise competencies, the UNICOMP system uses company web sites as information source, as well as a general ontology of competencies as semantic resource.  ...  As a perspective, an automatic or semi-automatic enrichment of the ontology and the pattern base, using case-learning techniques would be able to increase the overall performance of the system.  ... 
doi:10.1007/978-3-642-15961-9_46 fatcat:af2g45l3nncl5h3jqkvzh6knoi

Ontology-based Data Management Tool for Studying Radon Concentration

F´elix Fern´andez-Pe˜na, Alex Maigua-Quinteros, Pilar Urrutia-Urrutia, Diana Coello-Fiallos
2020 Advances in Science, Technology and Engineering Systems  
The main contribution of this research relies on the formal definition of the semantic of the presence of radon in the dimensions of space and time.  ...  Interpreting data for solving information needs demands an understanding of the semantics of row data.  ...  Acknowledgment This research was funded by the Research Project #PFICM019 "Arquitectura de Servicios Web Semánticos para la Integración de Fuentes de Datos Estructuradas de Proyectos Urbanísticos" of Universidad  ... 
doi:10.25046/aj050670 fatcat:o2c3vksxurfaravxwq36llhkta

Competence Mining for Collaborative Virtual Enterprise [chapter]

Ali Harb, Kafil Hajlaoui, Xavier Boucher
2011 IFIP Advances in Information and Communication Technology  
First we extract the correlation between terms of a learning dataset using the generation of association rules. Second we retain the relevant new concepts using an extracted semantic information.  ...  In a context of decision-aid to support the identification of collaborative networks, this paper focuses on extracting essential facets of firm competencies.  ...  This approach is sensitive to the domain studied: it is important to have a corpora that describes the subject domain accurately, so there is a very rich language with nouns and adjectives available.  ... 
doi:10.1007/978-3-642-23330-2_39 fatcat:np7ofrjl4bb7xnmwox74d4cxbu

The Function-Behaviour-Structure Diagram for Modelling Workflow of Information Systems [chapter]

Stanislaw Jerzy Niepostyn, Ilona Bluemke
2012 Lecture Notes in Business Information Processing  
The satisfactory completeness means that the model enables to describe fully a function, a structure, and a behaviour of the IT system.  ...  Currently, no single UML diagram provides the satisfactory completeness and consistency of the system description. There is also no BPMN diagram to satisfy such requirements.  ...  The reason for the lack of such rules is the semantic of the UML [2] models defined in natural language.  ... 
doi:10.1007/978-3-642-31069-0_34 fatcat:3qkdpfzfb5cpncodbnlqk3gjrq

Reasoning on Semantically Annotated Processes [chapter]

Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella
2008 Lecture Notes in Computer Science  
In this paper we propose to represent semantically labelled business processes as part of a knowledge base that formalises: business process structure, business domains, and a set of criteria describing  ...  Our approach allows (1) to impose domain dependent constraints during the phase of process design, and (2) to automatically verify, via logical reasoning, if business processes fulfill a set of given constraints  ...  Detection of correctness of semantic tagging, suggestion of possible correct tagging, and semantic query based analysis of a process in order to find criticalities and manage crosscutting concerns are  ... 
doi:10.1007/978-3-540-89652-4_13 fatcat:tjerji3rtbegph3xkc76yieonq

Handling Data-Based Concurrency in Context-Aware Service Protocols

Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
2010 Electronic Proceedings in Theoretical Computer Science  
Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set.  ...  In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols.  ...  The operational semantics of n (n > 1) CA-STSs (− → c ) is formalised using two rules.  ... 
doi:10.4204/eptcs.30.5 fatcat:ihvlyptgojhohgwmn2xpicqtwi

Animating the Formalised Semantics of a Java-Like Language [chapter]

Andreas Lochbihler, Lukas Bulwahn
2011 Lecture Notes in Computer Science  
It models a substantial subset of multithreaded Java source and bytecode in Isabelle/HOL and focuses on proofs and modularity whereas code generation was of little concern in its design.  ...  Considerable effort has gone into the techniques of extracting executable code from formal specifications and animating them.  ...  Thedering and A. Zea for their work on Java2Jinja, and J. Blanchette, A. Popescu, M. Hecker, D. Lohner, and the anonymous reviewers for comments on earlier drafts.  ... 
doi:10.1007/978-3-642-22863-6_17 fatcat:hwsqw6rkdjgkjbxvc2rk57qnx4

Risk-Driven Compliant Access Controls for Clouds [article]

Hanene Boussi Rahmouni, Kamran Munir, Mohammed Odeh, Richard McClatchey
2012 arXiv   pre-print
However, security and regulatory compliance issues are continuing to challenge the wide acceptance of such technology both from social and commercial stakeholders.  ...  This implies that the exchange of private and other protected data within the cloud environment would be governed by multiple jurisdictions.  ...  The requirements specification and risk derivation rules will be used in the next phase of the framework in order to automatically generate applicable risk detection metrics.  ... 
arXiv:1202.5482v2 fatcat:2lu3w6fy4bfbxa3hgaddbz73ta

A Framework to Support Interoperability among Semantic Resources [chapter]

Celson Lima, Catarina Ferreira Da Silva, Chan Le Duc, Alain Zarli
2006 Interoperability of Enterprise Software and Applications  
FUNSIEC aims at studying the feasibility of building and maintaining an Open Semantic Infrastructure for the European Construction Sector (OSIECS).  ...  Construction Sector (OSIECS), intended mainly to support the e-business needs of Construction.  ...  The expressiveness of such ontologies allows semantics of modelling languages to be formalised (e.g UML [11], EXPRESS [12]) and to make the semantics as explicit as possible.  ... 
doi:10.1007/1-84628-152-0_9 fatcat:jt3v27kkj5ga3jloqhgckkzazm

Process Modelling, Web Services and Geoprocessing [chapter]

Nicolas Regnauld, Guillaume Touya, Nicholas Gould, Theodor Foerster
2014 Lecture Notes in Geoinformation and Cartography  
While in the early days, this would take the form of a static sequence of generalisation actions, today the focus is on modelling much more complex processes, capable of generalising geographic data in  ...  This chapter therefore explores the requirements and potential approaches to design and build such systems.  ...  of user requirements, data integration and automatic cartographic design (to style the resulting map).  ... 
doi:10.1007/978-3-319-00203-3_7 fatcat:utjfv4ehxbdtlhz3w4akkpbfjm

FORMAL SUPPORT FOR AN INFORMAL BUSINESS MODELLING METHOD

YUN-HEH CHEN-BURGER, DAVID ROBERTSON, JUSSI STADER
2000 International journal of software engineering and knowledge engineering  
The role of the formal notation in this case is not to provide a formal semantics for BSDM but to provide a framework for sharing the information supplied at different modelling stages and which we can  ...  The role of the formal notation in this case is not to provide a formal semantics for BSDM but to provide a framework for sharing the information supplied at different modelling stages and which we can  ...  Several types of critiques are provided. Correctness critiques detect structural, syntactical and semantical errors.  ... 
doi:10.1142/s0218194000000055 fatcat:l6silpjfyfclfhr7zokjnm624q

Ontology-based standards development: Application of OntoStanD to ebXML business process specification schema

Bahareh Rahmanzadeh Heravi, Mark Lycett, Sergio de Cesare
2014 International Journal of Accounting Information Systems  
These standards, however, mainly capture the syntax of the transactions and not their semantics.  ...  and sharing of semantics embedded within B2B processes as well as enabling knowledge deduction and reasoning over the shared knowledge.  ...  We would like to thank Stephen Green, a voting member and one of the main contributors to ebBP standard, for his help and support during the development of this work.  ... 
doi:10.1016/j.accinf.2014.01.005 fatcat:hq55kddnefeu3g7zbupmwg47du

Inter-enterprise Business Transaction Management in Open Service Ecosystems

Lea Kutvonen, Alex Norta, Sini Ruohomaa
2012 2012 IEEE 16th International Enterprise Distributed Object Computing Conference  
One of the difficult challenges in inter-enterprise computing is aligning business transactions and technical management of distributed transactions, especially in breach situations.  ...  We propose and analyse a two-level business transaction management framework that allows injection of businesslevel concerns to the control processes of inter-enterprise transactions.  ...  Further, with the choice of subjective detection of breaches we want to emphasise that each partner defines the rules for detecting an unacceptable situation independently; some of these rules are derived  ... 
doi:10.1109/edoc.2012.14 dblp:conf/edoc/KutvonenNR12 fatcat:b5simao4d5e2rmjaxmebwzcdou
« Previous Showing results 1 — 15 out of 3,096 results