Applications formal Web using UML and methods
Methodologies
The languages and tools OO are not a panacea to construct to systems oriented for objetos.Por example a problem is the increase in the complexity of the system due to the strong interaction of the objects. A process of development of correct software aid to produce a good product. The methodology offers a preselection us of the techniques to use in each stage of the development of software (specification, architectonic design, detailed and implementation):
*COMET (Development of concurrent applications, distributed and of real time using UML). We will use this methodology in an interesting example and I practice: in all the applications where we must look for a set of registries of a data base and show them in browser, we must paginar them to show them in several paginas. For example the mailbox of hotmail mail or the finder google, does not show all the result found in a pagina, it shows to n following registries by paginas, and bellboys and previous.
Example will specify using cases of east use and of the analysis of the cases of use we found the objects that we will need. Soon the consolidated diagram of collaboration was developed, from this the diagram will become of classes and we will show the logic of events of the tasks.
I will measure the level of connection and cohesion that has the system, because this measurement influences in the following qualities: manteniblidad, entendibilidad and modificabilidad
By I complete implemented in ASP.NET(c #) and SQL-SERVER(TRANSACT-SQL)
To see all the development with the specification, architectonic design, detailed and to code asp.net.
*Formal methods
Will show this methodology with an example: many applications the user enters data and we must show ordered them. Although most of the languages they have functions to order them, we generally do not know that arrangement procedure implements the language, far from it its complexity temporary. By this he is interesting to implement our own algorithm of arrangement and to demonstrate that properties have.
I write a formal specification of a ordered vector, using quantified expressions and Short lists of Hoare. From this specification origin using axioms and rules of I calculate of programs two algorithms of different temporary and space complexity. As one of the algorithms uses a battery, I define the data type pounds using algebraic specification and writing an abstraction function I implement a battery with a vector. The formal correction of both algorithms obtained with respect to the formal specification can make sure by the form in which they were constructed. By I complete I implement both algorithms in a pagina DHTML using JavaScript
To see the complete derivation of the example detailing all the axioms and rules applied in each step and the implementation in fast Javascript But is to unload the complete derivation in format for Word (metodosFormales.doc)
-Made works and projects
Using formal UML and methods develop the following projects
1-Application of contacts, search of pairs and you prune to vote the photos of the users
the user one registers creating a sexual profile with nick, password, presentation, description, preferences, place of residence and can raise photos, all this can modify it when it enters its account. When it finalizes the inscription is sent an email to him with its data of entrance. The user enters his account with his nick and password.
He can modify his data, raise and erase photos, to look for profiles and to send messages or email writing nick of the adressee or if he knows his direction mail. Also you prune to vote to the other profiles being given him a puntaje between 0 and 10. Each account has a message mailbox. The messages can be read, be reenviar, be responded or be erased.
In the cover of the pagina they are nick of the 50 last new recruits, the profile with the presentation and description of the 4 profiles but voted and one mentions random. Also you prune to look for from the cover and without being enrolled profiles by residence place and sexual preferences. In addition in the cover it has a Link for the forum and the magazine. If these registering and you do not enter some of the submenu (to look for, forum, magazine or to see the profile), when queres to send a message or to go to another menu takes you to the pagina of inscription.
The application registers whichever email and messages to envoy and received each user.
This application we disturbed it in 25 modules: list of users, messages, forum, to modify presentation, photo, description. Each I modulate this made up of several classes, for example I modulate list of users (this detailed in previous section COMET), has the following classes: interface of entrance, exit, entity.DataBase and entity.Estado Implemented in asp.net and SQL-SERVER To see the application.
2-Lists of distribution of email
the user can create a list of distribution writing the name of the list, a password and a description on the subjects that are going to treat the list. People can see the name of all the lists and the descriptions of the lists. When people subscribe enters the name of a list and an email is sent to him that it has to confirm within 24hs following a Link only.
When she enters with the name of the list and the password you can load a file with an email list, the application recognizes each email and it sends confirmations to him to all the directions that there are in the file. You can send email to all subscribed in format HTML or the text. Each sent email can be consulted also online entering the name of the list that is wanted to consult the messages that were sent. This application was disturbed in 12 modules, each I modulate with several classes. It was implemented in asp.net(c #) and SQL-SERVER(T-SQL)
To see project.
3- Development tool of applications Web online
Similar to FontPage, or WebMatrix but Online. After inscribirte a directory with your name of user creates to you. In this directory you create, to open, guards you publish and you execute your projects in remote form. For house file name tenes 3 edition windows. In a window you publish code c #, in the other the code Javascript and in completes tag HTML Soon you prune to execute the project and to see in operation the application that you created. To see pagina
To model and to simulate an application Web
the application can simultaneously take care of 1000 users, with more user falls. The users arrive at the system with an average of 2 per hour and its function of mass of probability this given by: 70% of the users who enter are men and the rest women. This is important because the time that the user also remains in the system is a variate and depends on sex. If the average is man it is of 30 minutes, and his function of distribution this given by: If the average is woman it is of 45 minutes and his function of distribution this given by: By simulation we will obtain the probability that the application falls in 24hs of operation. We will consider p by means of an interval of confidence of 95% and 1,96, with a level of confidence of 96% and To unload I cosay.
4- Chat
executes like servant or client depending on the last parameters. If we did not pass any parameter to him executes itself like servant, if we passed like parameter a direction to him IP, acts as client and connects itself with the servant in direction IP passed like parameter. Implemented in Java and using datagrams. To unload I cosay
Languages
In many occasions we needed to translate from a language to another one. For example to migrate of asp to asp.net, and to happen of visual BASIC to [login to view URL] Line of vision. For this we must have analyzing syntactic (Parseador) that a portion of text analyzes and determines its logical structure.
Implemented parser in Huskell and Java. To unload I cosay
5- Associative memory and supervised learning
the user enters p patterns (images of NxK) and the application stores them. Soon when another pattern appears, the application responds with pattern stored but similar a. Implemented in c++. Descargar I cosay. The exit of the network with the correct answer is compared and the network receives feedback. After being trained the network input learns the answers correct to nobody. Implemented in c++. Descargar I cosay
[login to view URL]
