Presentation of the paper "Modelling Safe Interface Interactionsin Web Applications" by Marco Brambilla, Jordi Cabot, Michael Grossniklaus at ER- Conceptual Modeling 2009. Presentation given by Jordi Cabot in Gramado, Brasil, 2009.
2024: Domino Containers - The Next Step. News from the Domino Container commu...
Modelling Safe Interface Interactionsin Web Applications
1. Modelling Safe Interface Interactions in Web Applications Marco Brambilla 1 , Jordi Cabot 2 and Michael Grossniklaus 1 Politecnico di Milano 1 Open University of Catalonia 2
To present you a method that helps the designer during the specification of the software system by automatically generating a set of operations for a given class diagram.
Simple is more or less as public
Simple is more or less as public
Simple is more or less as public
Simple is more or less as public
In particular we will represent rules as pre/postcondition contracts E.g. once expressed in OCL we can apply code-generation techniques to the rules
Simple is more or less as public
Simple is more or less as public
Transactions not exaclty in the database sense
Simple is more or less as public
Basically, we create a class to store the information of each element
Strong executability : r is strongly executable if, for any legal instantiation that satisfies the pre-condition, there is another legal instantiation that satisfies the post-condition. I : I’ : (INV[I] and PREr[I]) (INV[I’] and POSTr[I, I’])
Simple is more or less as public
Simple is more or less as public
Simple is more or less as public
Simple is more or less as public
Indeed, once GT rules are expressed in OCL, we can benefit from all tools designed for managing OCL expressions when dealing with the GT rules. VAlidation: here an initial host graph is passed as an additional parameter to the verification tool)