37,650 Hits in 5.8 sec

Mapping of Oil and Gas Exploration Business Data Entities for Effective Operational Management

Shastri Nimmagadda, Heinz Dreher, Amit Rudra
2006 2006 IEEE International Conference on Industrial Informatics  
In the present paper, logical entityrelationship (ER) models have been re-written in multidimensional and object-oriented models.  ...  An OLAP model discussed in this paper is a pursuit of cost saving detailed exploration for oil and gas prospect investigation in any basin.  ...  Initial ER models are presented in logical multidimensional schemas and then rewritten in object oriented data models (Ambler, [1] ).  ... 
doi:10.1109/indin.2006.275814 fatcat:wulgsi6tkjdqrlo64sjb34lbsm

Java-MOP: A Monitoring Oriented Programming Environment for Java [chapter]

Feng Chen, Grigore Roşu
2005 Lecture Notes in Computer Science  
Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state, but also to both past and future states.  ...  A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle.  ...  Runtime verification (RV) [5] is an expanding area dedicated to provide more rigor in testing, essentially as a complementary approach to model checking software systems.  ... 
doi:10.1007/978-3-540-31980-1_36 fatcat:a5kbxo4linedpbbd2zxtrh77vi

Description Logics for Conceptual Data Modeling [chapter]

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
1998 Logics for Databases and Information Systems  
After a discussion on class-based formalisms for data modeling, we introduce a family of logics, called Description Logics, which stem from research on Knowledge Representation in Artificial Intelligence  ...  For this purpose we use a unifying Description Logic, which incorporates all the features needed for the logical reformulation of the data models used in the various contexts.  ...  Other formalisms have been recently proposed with the aim of integrating the object-oriented and the logic programming paradigms.  ... 
doi:10.1007/978-1-4615-5643-5_8 fatcat:h7r35sbw3ffvfcy2rnthl4gvui

OOREA: An Object-Oriented Resources, Events, Agents Model for Enterprise Systems Design

Uday S. Murthy, Casper E. Wiggins Jr.
2004 International Conference on Information Systems  
This paper critiques prior data modeling approaches and presents an integrated object-oriented modeling approach that captures both the structural and the behavioral aspects of the business domain.  ...  A number of modeling approaches have been proposed in the literature for designing business information systems.  ...  A significant advantage of object-oriented modeling is that semantics represented in the logical model correspond directly to constructs in object-oriented technologies.  ... 
dblp:conf/icis/MurthyW04 fatcat:iioqb42ntndgniwyohxq3tfxgu

Towards Model Checking Stochastic Process Algebra [chapter]

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2000 Lecture Notes in Computer Science  
The key contribution is an action-based temporal logic to describe behaviours-of-interest, together with a model checking algorithm to derive the probability with which a stochastic process algebra model  ...  As opposed to traditional performance modelling techniques, the behaviouroriented style supports composition and abstraction in a natural way.  ...  We checked three models: A small model with 4 (2) programmer (user) bu er places, an intermediate model with 10 (4) programmer (user) bu er places and a large model with 40 (10) programmer (user) bu er  ... 
doi:10.1007/3-540-40911-4_24 fatcat:w6k4i67ksrgwld3zcpl3ui73fi

Modelių darnos užtikrinimas naudojant OMT, Booch ir OOSE objektinius metodus

Ruta Dubauskaite, Olegas Vasilecas
2009 Informacijos mokslai  
Consistency rules are directed to constrain relationships of different aspect models. The proposed approach is illustrated by a case study in a digital library domain.  ...  However, constraints defi ned in the OMT, OOSE, Booch object-oriented methods are suitable only for one model and at that point constraints of models relationships are not defi ned explicitly.  ...  Section "The Approach of Ensuring the Consistency in Object-Oriented Models" presents the proposed approach for checking the consistency of object-oriented IS models.  ... 
doi:10.15388/im.2009.0.3244 fatcat:xdlbyebxpnbd7e656oihlk6eki

SOA-A Generic Approach for Integrating Loosely Coupled Systems with other Systems

D.R .Ingle, B.B. Meshram
2013 International Journal on Web Service Computing  
We describes a generalized approach comprising a loosely couples system and integrate with other system. It deals with the setting up the environment for implementing the system.  ...  Various organizations generate data in various domains which is queried and analyzed by users. This limits the possibility of database integration with other systems.  ...  Objective A. Logical view: 1. Business level operation for this model include checking the status of the student in the merit list based on the certain condition 2.  ... 
doi:10.5121/ijwsc.2013.4201 fatcat:2wmatfuohzdrjijg7vnxng5y6q

Formal verification applied to Java concurrent software

Radu Iosif
2000 Proceedings of the 22nd international conference on Software engineering - ICSE '00  
In particular, it focuses on elaborating a formal method for the speci cation and validation of temporal logic properties concerning the behavior of Ja va concurrent programs.  ...  This research activity aims to integrate formal veri cation with programming languages currently used in softw are development.  ...  As said, our practical intent is to use model checking 6 in decision.  ... 
doi:10.1145/337180.337594 dblp:conf/icse/Iosif00 fatcat:ugz6df2r5bfhtjyp4bojntpqyi

Repository support for multi-perspective requirements engineering

Hans W. Nissen, Matthias Jarke
1999 Information Systems  
Our solution is based on a novel modeling language design, M-Telos, that integrates the adaptability and analysis advantages of the logic-based meta modeling language Telos with a module concept covering  ...  In contrast, many successful informal methods for business analysis and requirements engineering e.g. JAD emphasize team negotiation, goal orientation and exibility of modeling notations.  ...  We would like to thank Manfred A. Jeusfeld and Martin Staudt for their contributions to this work.  ... 
doi:10.1016/s0306-4379(99)00009-5 fatcat:x77q7t2x5vht5ljdpbzxvm2uqi

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Feng Chen, Marcelo d'Amorim, Grigore Roşu
2006 Electronical Notes in Theoretical Computer Science  
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role.  ...  Based upon a carefully designed specification schema and upon several logic plug-ins, Java-MOP allows users to specify and monitor properties which can refer not only to the current program state, but  ...  ., ghost variables and model fields, but note that declaring and using variables inside specifications is supported in a more general fashion in MOP. ERE.  ... 
doi:10.1016/j.entcs.2006.02.002 fatcat:mmat2sqmrvfdxaepg5flxy6bo4

An ER-Based Framework for Declarative Web Programming [chapter]

Michael Hanus, Sven Koschnicke
2010 Lecture Notes in Computer Science  
Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming  ...  Our framework, called "Spicey", supports the following features: ER-based: The framework is based on a specification of the data model as an entityrelationship (ER) model.  ...  Hence, integrity constraints expressed in the ER description are automatically checked in contrast to the iData toolkit. Turbinado 5 is a web framework for Haskell.  ... 
doi:10.1007/978-3-642-11503-5_18 fatcat:ufk5e7zuz5awpjttaslp2likn4

Rewriting Logic as a Framework for Generic Verification Tools

Martin Leucker, Thomas Noll
2000 Electronical Notes in Theoretical Computer Science  
The compiler is linked together with the existing verification platform Truth to obtain a model-checking tool for the specification language in question.  ...  We present a compiler generator which, given the definition of a language, automatically generates a corresponding model-checking tool.  ...  Furthermore, a local game-based model-checking algorithm has been integrated into the system supporting interactive debugging of the specification.  ... 
doi:10.1016/s1571-0661(05)80123-9 fatcat:iegpmy6b5fcdpp26kngilrw3fe

Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models [chapter]

Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla, Thomas E. Burk
1999 Lecture Notes in Computer Science  
We have provided a complete grammar using "yacc" like syntax to translate the pictogram-extended ER diagram into a SQL3-level logical data model using OGIS-standard spatial data types.  ...  In addition the logical data model gets cluttered with redundant tables representing materialization of the M:N spatial relationships.  ...  This work was also supported, in part, by the National Science Foundation under Grant N0. 9631539.  ... 
doi:10.1007/3-540-46621-5_6 fatcat:vx2wbbtt3velbe6nlhpck7jsf4

Towards Monitoring-Oriented Programming

Feng Chen, Grigore Roşu
2003 Electronical Notes in Theoretical Computer Science  
The generated code has the same effect as a logical checking of requirements and can be used in any context, in particular to trigger user defined actions, when requirements are violated.  ...  In this paper we present a paradigm for combining formal specification with implementation, called monitoringoriented programming (MoP), providing a light-weighted formal method to check conformance of  ...  and model checking.  ... 
doi:10.1016/s1571-0661(04)81045-4 fatcat:b2ter52jvjhljccny2ggzh4gxu

Structured objects: Modeling and reasoning [chapter]

Diego Calvanese, Giuseppe Giacomo, Maurizio Lenzerini
1995 Lecture Notes in Computer Science  
The research w ork reported in this paper explores the possibility of enhancing the power of object-oriented data models in schema de nition, thus o ering more possibilities to reason about the intension  ...  We demonstrate our approach b y presenting a new data model, called CVL, that extends the usual object-oriented data models with several aspects, including view de nition, recursive structure modeling,  ...  The similarity b e t ween the interpretative structures in object-oriented models and labeled transition systems re ects in a similarity b e t ween object-oriented models and modal logics of programs,  ... 
doi:10.1007/3-540-60608-4_43 fatcat:cu7ie3xiynbohilnsme4ifoh3m
« Previous Showing results 1 — 15 out of 37,650 results