NDLI: Ensuring consistency of information systems rules models

Please wait, while we are loading the content...

CompSysTech: ten years after the beginning...

Non-contact ultrasound method for identification of yogurt according to its butter content

Experiences with embedding MPL security monitors into Java programs

Application of contemporary measurement and analysis techniques to human cardiovascular system

Remote identification and information processing with a near field communication compatible mobile phone

Wireless sensor networks to support elementary school learning activities

A shape based approach for biometrical analyses

Prototype of a platform for monitoring and management of asynchronous network events: (network simulator of asynchronous events)

IPv6 - the next big bail-out: will IPv6 save the internet?

Model approach in the design of devices for 3D information input into computing environment

MVTsim: software simulator for multicore on chip parallel computer architectures

A Bayesian approach to recognise facial expressions using vector flows

An access control and time management software solution using RFID

Net-generation learning style: a challenge for higher education

Multifactor authentication based on keystroke dynamics

Runtime generation of a user interface, described in a database

ICT infrastructure and scientific research

Hardware implementation of strategies for servicing queues

Dynamic reconfiguration of multimodal architectures

A bottom-up approach of fusion of events in surveillance systems

RFID and business card information

LOGOPED 2.0: software system for e-consulting and therapy of people with communicative disorders

A computer system for graphometric handwriting analysis

Rule based GUI modification and adaptation

Polymorphic architectures: from media processing to supercomputing

Micro-pipeline section for condition-controlled loop

Evaluating the method of the transforming ontology axioms to application domain rules

FACS-coding of facial expressions

Distributed mobile traffic monitoring system based on free and open source software

FSM decomposition with application to FPGA synthesis

Clustering and prediction of risk spread curves

Advanced scalable algorithms for advanced architectures

Outline of RISC-based core for multiprocessor on chip architecture supporting moving threads

Cyclic histogram thresholding and multithresholding

Controlling the speed of Coding Line Conveyor using fuzzy logic

Architectural models for realization of web-based personal health systems

You must be independent and have self-confidence: attitudes of distance learners

Possibilities of grid computing for realization of simulation problems

National broadband program of the republic of Bulgaria

Photonic Crystal Fibers challenge

Researching product tiles in eBay using the eBay API

XPDL: bringing business and software together - a case study

Algorithm for modeling self-similar ethernet traffic

A web search methodology for different user typologies

Ensuring consistency of information systems rules models

Programming and applying of the multiple product distribution system by using PIC 16F877A microcontroller

Security assurance during the software development cycle

A vision-based attentive user interface with (semi-)automatic parameter calibration

The influence of self-similar traffic on telecommunication network queuing

The "Jigsaw" collaborative method in e-learning environment Moodle

Development of duty schedule using rules approach

A practical approach for software project management

A design of an integrated document system for project management

Cooperation requirements for packet forwarding in vehicular ad-hoc networks (VANETs)

Scoring concept maps: an overview

Data extraction by visual matching

Spider vs. Prolog: simulating Prolog in Spider

A general software development process suitable for explicit manipulation of business rules

The application of fuzzy expert cooling system for multi core microprocessors and mainboards

Algorithm for defining of initial package of notions for purpose of e-learning

Proposing of modular system for web information extraction

Spider vs. Prolog: computation control

Web based portfolio optimization

Modeling the performance and emission characteristics of diesel engine and petrol-driven engine by ANN

The emerging global campus model

Architectural design of a software engine for adaptation control in the ADOPTA e-learning platform

Learning by negation of the negative examples: single model versus double model

A nonlinear programming case study to a sensor location problem

Some remarks about OO teaching

Approach for data replication on MS SQL Server

Executable Petri Nets: towards modelling and management of e-learning processes

Multidimensional scaling: multi-objective optimization approach

Creating an e-training course on computer operating systems

Design of service level agreements for software services

Implementation design of access control system local database in flash memory array

An application of an algorithm for common subgraph detection for comparison of protein molecules

An approach to development of personalized e-learning environment for dyslexic pupils' acquisition of reading competence

Open source solution for workflow execution architecture

Gustafson-Kessel algorithm for evolving data stream clustering

On using of random access machine simulators in teaching of theoretical computer science

One approach to HTML wrappers creation: using Document Object Model tree

Implementing common array algorithms on modern GPUs

Information system topics for studies in software engineering

Keeping artifacts alive: towards a knowledge management system

Distributed secret on the basis of the linear correcting codes

European standardization: mobility without borders

1-Wire based data acquisition system

Investigation of the text entry speed and accuracy in mobile devices

Python prevails

Personalized web search using context enhanced query

Wavelet classifiers for Bulgarian sorting machines ASM 501

Distillation column control using genetic algorithms for LQR design

About singularity of two approaches to solving problems of portfolio selection under risk

Limitations of multivariable controller tuning using genetic algorithms

Research over correlation properties of families optical orthogonal codes

Augmenting UML with decision table technique

An information system for temperature monitoring of administrative buildings

GPROM: a tool for non-invasive personal tracking

Computer modeling of vapor-liquid equilibrium of high fatty acids

Ensuring consistency of information systems rules models

Content Provider	ACM Digital Library
Author	Vasilecas, Olegas Dubauskaite, Ruta
Abstract	Business rules make an important and integral part of each information system (IS) by expressing business logic, constraints of concepts, and their interpretation and relationships. Therefore it is relevant to pay special attention to business rules in development of information systems. Rules related to domain structure and behaviour are presented in data, states, processes and other IS models. Taking into account that rules are expressed in several models, there is a risk that overall specification is inconsistent. Unambiguous models are crucial for the successful implementation of IS models transformation and finally code generation tasks. Therefore it is necessary to check consistency among related rules models. The problem of models inconsistency can be solved by using of formal or partially formal models with constraints. However formal models are often too complex to be used in practice. Semi-formal models are widely used, but constraints used in such a models often are suitable only for one model and relationships among models are not defined. Hence the author of paper suggests extending of IS approach based on semi-formal models and constraints, by adding the consistency rules for IS models. The proposed approach is illustrated by a case study.
Starting Page	1
Ending Page	8
Page Count	8
File Format	PDF
ISBN	9781605589862
ISSN	13138936
DOI	10.1145/1731740.1731844
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-06-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Information systems models Rules models Ensuring consistency Checking models Consistency
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in