<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462020000100075</article-id>
<article-id pub-id-type="doi">10.13053/cys-24-1-3217</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[A Method for Expressing Integrity Constraints in Database Conceptual Modeling]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pereira Toledo]]></surname>
<given-names><![CDATA[Alain]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Rodríguez Morffi]]></surname>
<given-names><![CDATA[Abel]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pérez Alonso]]></surname>
<given-names><![CDATA[Alain]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Morfa Hernández]]></surname>
<given-names><![CDATA[Andy]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[González González]]></surname>
<given-names><![CDATA[Luisa M.]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Central "Marta Abreu" de Las Villas  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Cuba</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad Técnica Federico Santa María  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Chile</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>03</month>
<year>2020</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>03</month>
<year>2020</year>
</pub-date>
<volume>24</volume>
<numero>1</numero>
<fpage>75</fpage>
<lpage>95</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462020000100075&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462020000100075&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462020000100075&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract Traditional methods lack the necessary or appropriate means for expressing the integrity constraints during the database conceptual modeling stage. At most, integrity constraints are informally documented and then, coded in the application. This leads to late error detection and database inconsistencies due to the incapacity of the domain expert to validate the program code. Thus, it is necessary to express such constraints in a natural and formal way in order to close the gap between modelers and domain experts, and to support the transformation to other languages and models. As a result, we propose a controlled natural language based on Semantics of Business Vocabulary and Business Rules (SBVR) to help modelers and domain experts in the process of writing and validating the constraints that cannot be represented in an Entity-Relationship schema; and the Alloy language to allow a formal specification. In addition, all the correspondences between the models and languages are described in order to consistently express the constraints and to lay the foundations of the automatic transformation. Finally, a case study and a usability survey show that the proposal is feasible, without abandoning a traditional and popular approach such as the Entity-Relationship model.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Integrity constraints]]></kwd>
<kwd lng="en"><![CDATA[entity-relationship]]></kwd>
<kwd lng="en"><![CDATA[SBVR]]></kwd>
<kwd lng="en"><![CDATA[alloy]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Akbar]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Bajwa]]></surname>
<given-names><![CDATA[I. S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Scope Resolution of Logical Connectives in Natural Language Constraints]]></article-title>
<source><![CDATA[International Journal of Computational Linguistics Research]]></source>
<year>2014</year>
<volume>5</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>131-9</page-range></nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Andries]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Engels]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Hybrid Query Language for an Extended Entity-Relationship Model]]></article-title>
<source><![CDATA[Journal of Visual Languages &amp; Computing]]></source>
<year>1996</year>
<volume>7</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>321-52</page-range></nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Angelaccio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Catarci]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Santucci]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[QBD*: A Graphical Query Language with Recursion]]></article-title>
<source><![CDATA[IEEE Transactions on Software Engineering]]></source>
<year>1990</year>
<volume>16</volume>
<numero>10</numero>
<issue>10</issue>
<page-range>1150-63</page-range></nlm-citation>
</ref>
<ref id="B4">
<label>4</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ataullah]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Business Policy Modeling and Enforcement in Relational Database Systems]]></source>
<year>2014</year>
<publisher-loc><![CDATA[Waterloo, Ontario, Canada ]]></publisher-loc>
<publisher-name><![CDATA[University of Waterloo]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Badia]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Entity-Relationship modeling revisited]]></article-title>
<source><![CDATA[ACM SIGMOD Record]]></source>
<year>2004</year>
<volume>33</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>77-82</page-range></nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Badia]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Lemire]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Call to Arms: Revisiting Database Design]]></article-title>
<source><![CDATA[ACM SIGMOD Record]]></source>
<year>2011</year>
<volume>40</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>61-9</page-range></nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bajwa]]></surname>
<given-names><![CDATA[I. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Bordbar]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Lee]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[OCL Usability: A Major Challenge in Adopting UML]]></article-title>
<source><![CDATA[Proceedings of the 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering]]></source>
<year>2014</year>
<page-range>32-7</page-range><publisher-loc><![CDATA[New York, NY, USA ]]></publisher-loc>
<publisher-name><![CDATA[RAISE]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<label>8</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bajwa]]></surname>
<given-names><![CDATA[I. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Sarwar]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Naeem]]></surname>
<given-names><![CDATA[M. A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Generating EXPRESS Data Models from SBVR]]></article-title>
<source><![CDATA[Proceedings of the Pakistan Academy of Sciences: A. Physical and Computational Sciences]]></source>
<year>2016</year>
<volume>53</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>381-9</page-range></nlm-citation>
</ref>
<ref id="B9">
<label>9</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bajwa]]></surname>
<given-names><![CDATA[I. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Shahzada]]></surname>
<given-names><![CDATA[M. A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach]]></article-title>
<source><![CDATA[Mehran University Research Journal of Engineering &amp; Technology]]></source>
<year>2017</year>
<volume>36</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>243-54</page-range></nlm-citation>
</ref>
<ref id="B10">
<label>10</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bloesch]]></surname>
<given-names><![CDATA[A. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Halpin]]></surname>
<given-names><![CDATA[T. A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Conceptual Queries Using ConQuer-II]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Embley]]></surname>
<given-names><![CDATA[D. W.]]></given-names>
</name>
<name>
<surname><![CDATA[Goldstein]]></surname>
<given-names><![CDATA[R. C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Proc. ER' 97]]></source>
<year>1997</year>
<page-range>113-26</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<label>11</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bonais]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Nguyen]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Pardede]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Rahayu]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Formalized Transformation Process for Generating Design Models from Business Rules]]></article-title>
<source><![CDATA[Proceedings of PACIS 2014]]></source>
<year>2014</year>
<publisher-loc><![CDATA[Chengdu, China ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B12">
<label>12</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bonais]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Nguyen]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Pardede]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Rahayu]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Automated generation of structural design models from SBVR specification]]></article-title>
<source><![CDATA[Applied Ontology]]></source>
<year>2016</year>
<volume>11</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>51-87</page-range></nlm-citation>
</ref>
<ref id="B13">
<label>13</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cabot]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Pau]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Raventós]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[From UML/OCL to SBVR Specifications: A Challenging Transformation]]></article-title>
<source><![CDATA[Information Systems]]></source>
<year>2010</year>
<volume>4</volume>
<numero>35</numero>
<issue>35</issue>
<page-range>417-40</page-range></nlm-citation>
</ref>
<ref id="B14">
<label>14</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chapin]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[SBVR: What is now Possible and Why?]]></article-title>
<source><![CDATA[Business Rules Journal]]></source>
<year>2008</year>
<volume>9</volume>
<numero>3</numero>
<issue>3</issue>
</nlm-citation>
</ref>
<ref id="B15">
<label>15</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chen]]></surname>
<given-names><![CDATA[P. P.-S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Entity-Relationship Model-Toward a Unified View of Data]]></article-title>
<source><![CDATA[ACM Transactions on Database Systems (TODS)]]></source>
<year>1976</year>
<volume>1</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>9-36</page-range></nlm-citation>
</ref>
<ref id="B16">
<label>16</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chisholm]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[How to Build a Business Rules Engine]]></source>
<year>2004</year>
<publisher-loc><![CDATA[San Francisco, CA, USA ]]></publisher-loc>
<publisher-name><![CDATA[Morgan Kaufmann Publishers]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<label>17</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chittimalli]]></surname>
<given-names><![CDATA[P. K.]]></given-names>
</name>
<name>
<surname><![CDATA[Bhattacharyya]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[SBVR-based Business Rule Creation for Legacy Programs Using Variable Provenance]]></article-title>
<source><![CDATA[Proceedings of the 12th Innovations on Software Engineering Conference (Formerly Known As India Software Engineering Conference)]]></source>
<year>2019</year>
<page-range>16:1-16:11</page-range><publisher-loc><![CDATA[New York, NY, USA ]]></publisher-loc>
<publisher-name><![CDATA[ACM]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<label>18</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Connolly]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Begg]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Database Systems: A Practical Approach to Design, Implementation, and Management]]></source>
<year>2015</year>
<edition>6</edition>
<publisher-loc><![CDATA[UK ]]></publisher-loc>
<publisher-name><![CDATA[Pearson Education]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<label>19</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Date]]></surname>
<given-names><![CDATA[C. J.]]></given-names>
</name>
</person-group>
<source><![CDATA[An Introduction to Database Systems]]></source>
<year>2000</year>
<edition>7</edition>
<publisher-loc><![CDATA[Reading, Massachusetts ]]></publisher-loc>
<publisher-name><![CDATA[Addison Wesley Longman, Inc]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<label>20</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Elmasri]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Navathe]]></surname>
<given-names><![CDATA[S. B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Fundamentals of Database Systems]]></source>
<year>2016</year>
<edition>7</edition>
<publisher-loc><![CDATA[New York, USA ]]></publisher-loc>
<publisher-name><![CDATA[Pearson]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<label>21</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Essebaa]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Chantit]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Tool Support to Automate Transformations from SBVR to UML Use Case Diagram]]></article-title>
<source><![CDATA[Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE]]></source>
<year>2019</year>
<page-range>525-32</page-range><publisher-loc><![CDATA[Funchal, Madeira, Portugal ]]></publisher-loc>
<publisher-name><![CDATA[SciTePress]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<label>22</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gogolla]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[An Extended Entity-Relationship Model. Fundamentals and Pragmatics]]></source>
<year>1994</year>
<publisher-loc><![CDATA[Berlin Heidelberg ]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B23">
<label>23</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Halpin]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Object-Role Modeling Fundamentals: A Practical Guide to Data Modeling with ORM]]></source>
<year>2015</year>
<edition>first</edition>
<publisher-name><![CDATA[Technics Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B24">
<label>24</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Halpin]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Morgan]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Information Modeling and Relational Databases]]></source>
<year>2008</year>
<edition>2</edition>
<publisher-loc><![CDATA[San Francisco, CA, USA ]]></publisher-loc>
<publisher-name><![CDATA[Morgan Kaufmann Publishers Inc]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B25">
<label>25</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hay]]></surname>
<given-names><![CDATA[D. C.]]></given-names>
</name>
</person-group>
<source><![CDATA[UML &amp; Data Modeling: A Reconciliation]]></source>
<year>2011</year>
<publisher-loc><![CDATA[LLC, Westfield, New Jersey ]]></publisher-loc>
<publisher-name><![CDATA[Technics Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B26">
<label>26</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hnatkowska]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Alvarez-Rodriguez]]></surname>
<given-names><![CDATA[J. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Business Rule Patterns Catalog for Structural Business Rules]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Madeyski]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Smialek]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Hnatkowska]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Huzar]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
</person-group>
<source><![CDATA[Software Engineering: Challenges and Solutions]]></source>
<year>2017</year>
<numero>504</numero>
<issue>504</issue>
<page-range>3-16</page-range><publisher-name><![CDATA[Springer International Publishing]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<label>27</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hnatkowska]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Gaweda]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Automatic Processing of Dynamic Business Rules Written in a Controlled Natural Language]]></article-title>
<source><![CDATA[Towards a Synergistic Combination of Research and Practice in Software Engineering]]></source>
<year>2018</year>
<page-range>91-103</page-range><publisher-loc><![CDATA[Cham ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B28">
<label>28</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hohenstein]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
<name>
<surname><![CDATA[Engels]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[SQL/EER: Syntax and Semantics of an Entity-Relationship-Based Query Language]]></article-title>
<source><![CDATA[Information Systems]]></source>
<year>1992</year>
<volume>17</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>209-42</page-range></nlm-citation>
</ref>
<ref id="B29">
<label>29</label><nlm-citation citation-type="">
<collab>International Organization for Standardization</collab>
<source><![CDATA[Ergonomic requirements for office work with visual display terminals (VDTs), Part 11: Guidance on usability]]></source>
<year>1998</year>
<publisher-loc><![CDATA[Geneva ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B30">
<label>30</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Iqbal]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
<name>
<surname><![CDATA[Bajwa]]></surname>
<given-names><![CDATA[I. S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Generating UML activity diagram from SBVR rules]]></source>
<year>2016</year>
<page-range>216-9</page-range><publisher-name><![CDATA[IEEE]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B31">
<label>31</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ivanov]]></surname>
<given-names><![CDATA[A. N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Graphic Language for Describing Constraints on Diagrams of UML Classes]]></article-title>
<source><![CDATA[Programming and Computer Software]]></source>
<year>2004</year>
<volume>30</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>204-8</page-range></nlm-citation>
</ref>
<ref id="B32">
<label>32</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jackson]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Software Abstractions: Logic, Language, and Analysis]]></source>
<year>2012</year>
<publisher-loc><![CDATA[Cambridge, MA ]]></publisher-loc>
<publisher-name><![CDATA[MIT Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B33">
<label>33</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jesus]]></surname>
<given-names><![CDATA[J. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Melo]]></surname>
<given-names><![CDATA[A. C.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An Architectural Pattern to Implement Business Rules in nformation Systems]]></article-title>
<source><![CDATA[2015 IEEE 17th Conference on Business Informatics (CBI)]]></source>
<year>2015</year>
<volume>2</volume>
<page-range>80-7</page-range></nlm-citation>
</ref>
<ref id="B34">
<label>34</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jesus]]></surname>
<given-names><![CDATA[J. S. d.]]></given-names>
</name>
<name>
<surname><![CDATA[Melo]]></surname>
<given-names><![CDATA[A. C. V. d.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Business Rules: From SBVR to Information Systems]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Fournier]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Mendling]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Business Process Management Workshops]]></source>
<year>2014</year>
<numero>202</numero>
<issue>202</issue>
<page-range>489-503</page-range><publisher-name><![CDATA[Springer International Publishing]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B35">
<label>35</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Burton]]></surname>
<given-names><![CDATA[Jim]]></given-names>
</name>
<name>
<surname><![CDATA[Howse]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Semiotics of Spider Diagrams]]></article-title>
<source><![CDATA[Logica Universalis]]></source>
<year>2017</year>
<volume>11</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>177-204</page-range></nlm-citation>
</ref>
<ref id="B36">
<label>36</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jodlowiec]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Pietranik]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Towards the Pattern-Based Transformation of SBVR Models to Association-Oriented Models]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Nguyen]]></surname>
<given-names><![CDATA[N. T.]]></given-names>
</name>
<name>
<surname><![CDATA[Chbeir]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Exposito]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Aniorté]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Trawi&#324;sky]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Computanional Collective Intelligence]]></source>
<year>2019</year>
<volume>11683</volume>
<publisher-loc><![CDATA[Cham, Hendaye, France ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B37">
<label>37</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kent]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Constraint Diagrams: Visualizing Invariants in Object-Oriented Models]]></article-title>
<source><![CDATA[OOPSLA'97 Proceedings of the 12th ACM SIGPLAN Conf. on Object-Oriented Programming Systems, Languages &amp; Applications]]></source>
<year>1997</year>
<page-range>327-41</page-range><publisher-loc><![CDATA[Atlanta, Georgia, USA ]]></publisher-loc>
<publisher-name><![CDATA[ACM Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B38">
<label>38</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kuhn]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Survey and Classification of Controlled Natural Languages]]></article-title>
<source><![CDATA[Computational Linguistics]]></source>
<year>2014</year>
<volume>40</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>121-70</page-range></nlm-citation>
</ref>
<ref id="B39">
<label>39</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lawley]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Topor]]></surname>
<given-names><![CDATA[R. W.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Query Language for EER Schemas]]></source>
<year>1994</year>
<page-range>292-304</page-range></nlm-citation>
</ref>
<ref id="B40">
<label>40</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Manaf]]></surname>
<given-names><![CDATA[N. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Antoniades]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Moschoyiannis]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[SBVR2alloy: An SBVR to Alloy Compiler]]></article-title>
<source><![CDATA[2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA)]]></source>
<year>2017</year>
<page-range>73-80</page-range></nlm-citation>
</ref>
<ref id="B41">
<label>41</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Maoz]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Ringert]]></surname>
<given-names><![CDATA[J. O.]]></given-names>
</name>
<name>
<surname><![CDATA[Rumpe]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[CD2alloy: Class diagrams analysis using Alloy revisited]]></article-title>
<source><![CDATA[Model Driven Engineering Languages and Systems]]></source>
<year>2011</year>
<page-range>592-607</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B42">
<label>42</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nemuraite]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Skersys]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Sukys]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Sinkevicius]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Ablonskis]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[VETIS tool for editing and transforming SBVR business vocabularies and business rules into UML&amp;OCL models]]></article-title>
<source><![CDATA[16th International Conference on Information and Software Technologies, Kaunas: Kaunas University of Technology]]></source>
<year>2010</year>
<page-range>377-84</page-range></nlm-citation>
</ref>
<ref id="B43">
<label>43</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Olivé]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Conceptual Modeling of Information Systems]]></source>
<year>2007</year>
<publisher-loc><![CDATA[Berlin ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B44">
<label>44</label><nlm-citation citation-type="">
<collab>OMG</collab>
<source><![CDATA[Object Constraint Language, v2.4]]></source>
<year>2014</year>
</nlm-citation>
</ref>
<ref id="B45">
<label>45</label><nlm-citation citation-type="">
<collab>OMG</collab>
<source><![CDATA[Semantics of Business Vocabulary and Business Rules (SBVR) v 1.4]]></source>
<year>2017</year>
</nlm-citation>
</ref>
<ref id="B46">
<label>46</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pastor]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Ruiz]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[From Requirements to Code: A Conceptual Model-based Approach for Automating the Software Production Process]]></article-title>
<source><![CDATA[Enterprise Modelling and Information Systems Architectures]]></source>
<year>2018</year>
<numero>13</numero>
<issue>13</issue>
<page-range>274-80</page-range></nlm-citation>
</ref>
<ref id="B47">
<label>47</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ross]]></surname>
<given-names><![CDATA[R. G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Principles of the Business Rule Approach]]></source>
<year>2003</year>
<publisher-loc><![CDATA[Boston, USA ]]></publisher-loc>
<publisher-name><![CDATA[Addison-Wesley Longman Publishing Co., Inc]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B48">
<label>48</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ross]]></surname>
<given-names><![CDATA[R. G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Are Integrity Constraints Business Rules? Not!]]></article-title>
<source><![CDATA[Business Rules Journal]]></source>
<year>2007</year>
<volume>8</volume>
<numero>3</numero>
<issue>3</issue>
</nlm-citation>
</ref>
<ref id="B49">
<label>49</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ross]]></surname>
<given-names><![CDATA[R. G.]]></given-names>
</name>
</person-group>
<source><![CDATA[RuleSpeak Sentence Forms. Specifying Natural-Language Business Rules in English. v2.2]]></source>
<year>2009</year>
</nlm-citation>
</ref>
<ref id="B50">
<label>50</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Roychoudhury]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Sunkle]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Kholkar]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Kulkarni]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[From Natural Language to SBVR Model Authoring Using Structured English for Compliance Checking]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Hallé]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Villemaire]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Lagerström]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC)]]></source>
<year>2017</year>
<page-range>73-8</page-range><publisher-loc><![CDATA[Quebec City, QC, Canada ]]></publisher-loc>
<publisher-name><![CDATA[IEEE]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B51">
<label>51</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Salemi]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Selamat]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Penhaker]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A model transformation framework to increase OCL usability]]></article-title>
<source><![CDATA[Journal of King Saud University - Computer and Information Sciences]]></source>
<year>2016</year>
<volume>28</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>13-26</page-range></nlm-citation>
</ref>
<ref id="B52">
<label>52</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Selway]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Grossmann]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Mayer]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Stumptner]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Formalising natural language specifications using a cognitive linguistic/configuration based approach]]></article-title>
<source><![CDATA[Information Systems]]></source>
<year>2015</year>
<volume>54</volume>
<page-range>191-208</page-range></nlm-citation>
</ref>
<ref id="B53">
<label>53</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Shin]]></surname>
<given-names><![CDATA[S.-S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Empirical study on the effectiveness and efficiency of model-driven architecture techniques]]></article-title>
<source><![CDATA[Software &amp; Systems Modeling]]></source>
<year>2019</year>
<volume>18</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>3083-96</page-range></nlm-citation>
</ref>
<ref id="B54">
<label>54</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Simsion]]></surname>
<given-names><![CDATA[G. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Witt]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Data Modeling Essentials]]></source>
<year>2005</year>
<edition>3</edition>
<publisher-loc><![CDATA[San Francisco, USA ]]></publisher-loc>
<publisher-name><![CDATA[Morgan Kaufmann Publishers]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B55">
<label>55</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Snoeck]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Enterprise Information Systems Engineering]]></source>
<year>2014</year>
<publisher-loc><![CDATA[Cham ]]></publisher-loc>
<publisher-name><![CDATA[Springer International Publishing]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B56">
<label>56</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Speelpenning]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Daux]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Gallus]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Data Modeling and Relational Database Design]]></source>
<year>1999</year>
<volume>1</volume>
<publisher-name><![CDATA[Oracle Corporation]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B57">
<label>57</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Thalheim]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Visual SQL: Towards ER-Based Object-Relational Database Querying]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Li]]></surname>
<given-names><![CDATA[Q.]]></given-names>
</name>
</person-group>
<source><![CDATA[Conceptual Modeling - ER 2008]]></source>
<year>2008</year>
<volume>5231</volume>
<page-range>520-1</page-range><publisher-loc><![CDATA[Barcelona, Spain ]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B58">
<label>58</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Von Halle]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Business Rules Applied: Building Better Systems Using the Business Rules Approach]]></source>
<year>2002</year>
<publisher-loc><![CDATA[New York ]]></publisher-loc>
<publisher-name><![CDATA[John Wiley &amp; Sons]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B59">
<label>59</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Weichbroth]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Usability attributes revisited: a time-framed knowledge map]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Ganzha]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Maciaszek]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Paprzycki]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Annals of Computer Science and Information Systems]]></source>
<year>2018</year>
<volume>15</volume>
<page-range>1005-8</page-range></nlm-citation>
</ref>
<ref id="B60">
<label>60</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Witt]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Writing Effective Business Rules]]></source>
<year>2012</year>
<edition>1</edition>
<publisher-loc><![CDATA[USA ]]></publisher-loc>
<publisher-name><![CDATA[Morgan Kaufmann]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
