Formal Semantics of Dynamic Rules in ORM

Balsters, Herman; Halpin, Terry

doi:10.1007/978-3-540-88875-8_94

Cited by 22 publications

(7 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Perhaps, the closest in spirit to our work is the works by Halpin et al [7], [10], [11]. Halpin et al come out with a series of work in expressing business rules based on different modality and static/dynamic properties.…”

Section: Related Workmentioning

confidence: 93%

“…In data modelling, business rules are usually presented as integrity constraint where we can distinguish the constraint into static and dynamic integrity constraints [5], [4], [10], [11]. The requirements on the states are called static (integrity) constraints, and the requirements on the state transitions are called dynamic (integrity) constraints or transitional constraints.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Protecting Cumulative Node Constraint during XML Update

Wahid

Pardede

2013

2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications

View full text Add to dashboard Cite

In this paper, we propose a method of preserving cumulative node constraints, which are derived from business rules such as policies during XML update. To handle the constraints, we treat the collection of nodes as objects that have to be preserved. For any triggered update query, the query will be processed into a query object. And then, we use an object distance algorithm to carry out a validation process to compare the constraint object and the query object. To support the experimentation, we utilize Schematron as the language to convey the constraints. Lastly, we show evaluation of our algorithm on different sizes of data and analyse the performance of the algorithm in terms of the validation quality.

show abstract

Section: Related Workmentioning

confidence: 93%

Section: Related Workmentioning

confidence: 99%

Protecting Cumulative Node Constraint during XML Update

Wahid

Pardede

2013

2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications

View full text Add to dashboard Cite

show abstract

“…However, extending ORM with state transitions is not new. In [41], [42] they explore the extension of ORM to support declarative specification of dynamic rules restricted to single-step transitions. The extension of ORM in [40] allowed us analyze SD model behavior at a conceptual level and provide an inductive definition by presenting a mechanism to use the information structure for describing information structure states and their relations in time.…”

Section: A Continuous Approximationmentioning

confidence: 99%

Decomposition and Conceptualization to Support System Dynamics Behavior Modeling

Tulinayo

Weide²,

Bommel³

2018

CSIMQ

View full text Add to dashboard Cite

With the increasing need for data-based decision making, social systems and the ecosystems; practitioners and decision makers need guidance in their decision making, as is offered by data-based models and a systematic generation of simulation tools. Overtly, relations between data and practice have been under-conceptualized. Data modelers and decision makers tend to lack a mutual understanding of each other's knowledge systems which has led to huge knowledge gaps. Assimilation of modeling methods therefore is vital. Modeling methods use a specific way of thinking, rules and directions on how to model different aspects of systems. These rules and directions are what we refer to as constructs. Conceptualizing model relations and formulations requires significant domain knowledge and understanding of the constructs. In this article, we use the decomposition mechanism to better conceptualize and understand the System Dynamics (SD) model behavior, and show how using a natural language based domain modeling method (Object-Role Modeling, ORM) helps in dealing with complex SD models. Through applying the decomposition mechanism, we are able to better understand the underlying concepts of the stock and flow diagram and update behaviors of ORM objects. To achieve this, we use examples and an SD model derived from a case "Intrapartum process in Ugandan hospitals" to study the object behaviors. The main results of this article include: a theoretical founding of integrating ORM with SD; quantitative analysis at the level of ORM reasoning; and transformation rules from ORM into SD.

show abstract

“…Balsters et al mention transactions in [11] and [12], but actually they concentrate on dynamic rules, and do not give a syntax for data manipulation operations as such. In [11], adding actual operations to the ORM-language that explicitly model transactions is mentioned as future work, which it still is up to now.…”

Section: Introductionmentioning

confidence: 99%

Declarative semantics of transactions in ORM

Brock

2016

Information Systems

View full text Add to dashboard Cite

In order to specify databases completely at the conceptual level, conceptual database specification languages should contain a data definition (sub)language (DDL), for specifying data structures ( þconstraints), a data retrieval (sub)language (DRL), for specifying queries, as well as a (declarative) data manipulation (sub)language (DML), for specifying transactions.Object Role Modeling (ORM) is a powerful method for designing and querying database models at the conceptual level. By means of verbalization the application is also described in natural language as used by domain experts, for communication and validation purposes. ORM currently comprises a DDL and a DRL (ConQuer). However, the ORM-method does not yet contain an expressive DML for specifying transactions at the conceptual level.In an earlier paper we designed a syntactic extension of the ORM-method with a DML for specifying transactions at the conceptual level in a purely declarative way. For all transactions we proposed syntaxes, verbalizations, and diagrams. However, we did not give a formal semantics then.The purpose of this paper is to add a clear, formal and purely declarative semantics to the proposed ORM-transactions. The paper also formally defines rollbacks and illustrates everything with examples (including a solution to a well-known transaction specification problem). The extension of ORM with an expressive set of completely declaratively specified transactions makes ORM complete as a database specification method at the conceptual level.

show abstract

Formal Semantics of Dynamic Rules in ORM

Cited by 22 publications

References 16 publications

Protecting Cumulative Node Constraint during XML Update

Protecting Cumulative Node Constraint during XML Update

Decomposition and Conceptualization to Support System Dynamics Behavior Modeling

Declarative semantics of transactions in ORM

Contact Info

Product

Resources

About