JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CAPÍTULO 5. <strong>JCML</strong> - JAVA CARD MODELING LANGUAGE 82invariant ::= invariant-keyword predicate ;invariant-keyword ::= invarianthistory-constraint ::= constraint-keyword predicate ;constraint-keyword ::= constraintrepresents-decl ::= represents-keyword store-ref-expressionl-arrow-or-eq spec-expression ;|represents-keyword store-ref-expression \such thatpredicate ;represents-keyword ::= representsl-arrow-or-eq ::=