Supporting process model validation through natural language generation

H Leopold, J Mendling… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
The design and development of process-aware information systems is often supported by
specifying requirements as business process models. Although this approach is generally …

Adaptive and dynamic decision-making processes: A conceptual model of production systems on Indian farms

M Robert, A Thomas, M Sekhar, S Badiger, L Ruiz… - Agricultural systems, 2017 - Elsevier
Farming systems are complex structures with several dimensions interacting in a dynamic
and continuous manner around farmers' management strategies. This complexity peaks in …

Automatic generation of basic behavior schemas from UML class diagrams

M Albert, J Cabot, C Gómez, V Pelechano - Software & Systems Modeling, 2010 - Springer
The specification of a software system must include all relevant static and dynamic aspects
of the domain. Dynamic aspects are usually specified by means of a behavioral schema …

Reasoning on UML conceptual schemas with operations

A Queralt, E Teniente - … , CAiSE 2009, Amsterdam, The Netherlands, June …, 2009 - Springer
A conceptual schema specifies the relevant information about the domain and how this
information changes as a result of the execution of operations. The purpose of reasoning on …

Logic programming for data warehouse conceptual schema validation

C Dell'Aquila, F Di Tria, E Lefons… - Data Warehousing and …, 2010 - Springer
The current lack of a standard methodology for data warehouse design has led to have
many possible lifecycles. In some of them, the validation of the data warehouse conceptual …

Deriving operation contracts from UML class diagrams

J Cabot, C Gómez - … Conference on Model Driven Engineering Languages …, 2007 - Springer
Class diagrams must be complemented with a set of system operations that describes how
users can modify and evolve the system state. To be useful, such a set must be complete (ie …

Explaining conceptual models—An architecture and design principles

H Dalianis, P Johannesson - International Conference on Conceptual …, 1997 - Springer
An important activity in requirements engineering is validation, which is the process of
checking whether a model correctly represents a piece of reality and the users' …

Modeling adaptive decision-making of farmer: an integrated economic and management model, with an application to smallholders in India

M Robert - 2016 - theses.hal.science
In semi-arid regions, agricultural production systems depend greatly on irrigation and
encounter increasing challenges (depletion of natural resources, high volatility in market …

[PDF][PDF] Validation of UML Conceptual Schemas with OCL Constraints and Operators

AQ Calafat - 2009 - core.ac.uk
To ensure the quality of an information system, it is essential that the conceptual schema that
represents the knowledge about its domain and the functions it has to perform is …

Validating active rules by planning

P Fraternali, E Teniente, T Urpí - … Workshop on Rules in Database Systems, 1997 - Springer
Active rules are a widely diffused extension of modern database technology, presently
available on most commercial DBMS platforms and research prototypes. Recently, the role …