By Topic

An Algorithm Model to Mapping Mealy Machines for a Software Manufacture Cell Petri Net

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

6 Author(s)
Fernandes, D.D. ; ITA, Brazilian Aeronaut. Inst. of Tecnology, Brazil ; Cardoso, F. ; Montini, D.A. ; Supino, F.M.
more authors

This paper shows how to use the state machines and systematic approaches for modeling software to help improve the consistency of the model, verification and validation of an analysis area through a Domain Specific Language (Domain Specifical Language - DSL), in addition to the refinement of the business process (since the mapping of domain analysis and process of business development). The main objective of this approach is how to obtain systematically a DSL from a domain analysis that may be using the system code compliance to all Business Rules outlined, and no documents and settings very complex. Many problems of Systems Computer Software Computer Software Systems-CSS) are derived from a specification with and without its behavior defined. To resolve these problems, business rules will be treated since its formalization to its construction and testing. In this context, Petri Nets provide a graphical description technique easy to understand and, closed to state-transition diagrams. Parallelism, concurrency and sincronization are easy to model in a Petri net. Add to this, many techniques and tools (in software) are available for the analysis of Petri nets. However, too much formalization can bring problems to software development and the time and cost grow. Furthermore it is suggested that formal methods have fewer errors than the heuristic methods.

Published in:

Information Technology: New Generations (ITNG), 2010 Seventh International Conference on

Date of Conference:

12-14 April 2010