Data processing: structural design – modeling – simulation – and em – Modeling by mathematical expression
Reexamination Certificate
2006-07-25
2006-07-25
Rodriguez, Paul (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Modeling by mathematical expression
C703S022000, C717S114000, C717S124000
Reexamination Certificate
active
07082386
ABSTRACT:
A method, system, software tool and computer program product for different modeling environments is described. A metamodel representation, termed a “definition graph” is configured as a directed weighted multi-graph representation of ordered pairs, being node and edge pairs. Each node and edge has an associated weight and attributes. The definition graph is validated. A user-generated model is then defined, and checked for compatibility with a validated metamodel. This is achieved by extracting a template graph from the instance graph of the user model as the basis for the comparison.
REFERENCES:
patent: 5732192 (1998-03-01), Malin et al.
patent: 6185516 (2001-02-01), Hardin et al.
patent: 6516306 (2003-02-01), Alur et al.
patent: 6536027 (2003-03-01), Grinchuk et al.
patent: 6714936 (2004-03-01), Nevin, III
patent: 2003/0131338 (2003-07-01), Georgalas
Caughlin, Don “Automating the Metamodeling Process”, Proceedings of the 1997 Winter Simulation Conference, pp. 978-985.
Lee et al, “OOPM/RT: A Multimodeling Methodology for Real-Time Simulation”, ACM Transactions on Modeling and Computer Simulation, vol. 9, No. 2, Apr. 1999, pp. 141-170.
Hill, David “Object-Oriented Analysis and Simulation”, Addison-Wesley Publishing Company, 1996, pp. 9-14,28-29,41-44,54-55;95-96, 107-110.
Hajjar et al, “Building a Special Purposes Simulation Tool for Earth Moving Operations”, Proceedings of the 28th conference on Winter simulation, Nov. 1996, pp. 1313-1320).
Devanbu et al, “Extracting formal domain models from exsisting code for generative reuse”, ACM SIGAPP Applied Computing Review, vol. 5 Issue 1, Jun. 1997.
Hamilton, et al, “A survey of object-oriented methodologies”, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, Nov. 1995.
Caughlin, Don, “Verification, validation, and accreditation (VV&A) of models and simulations through reduced order metamodels”, Proceedings of the 27th conference on Winter simulation, Dec. 1995.
Nordstrom-G.G., “Metamodeling—Rapid Design and Evolution of Domain-Specific Modeling Environments”, Dissertation, Vanderbilt University May 1999. p. 1-155.
Tolujev et al., “Assessment of Simulation Models Based on Trace-file Analysis: A Metamodeling Approach”. ACM. pp. 443-450, 1998.
Hulbut-R.R., “Managing Business Domain Architectures through Use Case Formalisms” IITRI 1997 Revision 2.02 Ph.D. Thesis Proposal. p. 1-95.
Kaindl-H., “A Design Process Based on a Model Combining Scenarios with Goals and Functions” IEEE 2000. pp. 537-551.
Jansesen et al., “Making Graphs Reducible with Controlled Node Splitting” Delft Unvi. of Tech. ACM 1997. p. 1031-1052.
Lam et al., “Optimal Edge Ranking of Trees in Linear Time” 1989 Univ of Hong Kong p. 436-445.
Minato et al. “Shared Binary Decision Diagram with Attibuted Edges for Efficient Boolean Function Manipulation” IEEE 1990. p. 52-57.
Kleijnen et al., “Bootstrapping and Validation of MetaModels in Simulation” 1998, p. 701-706.
Barton-R.R., “Simulation Models”1998 Winter Simulation Conference 1998, p. 167-174.
International Business Machines - Corporation
Rodriguez Paul
Schmeiser Olsen & Watts
Steinberg William H.
Stevens Thomas
LandOfFree
Generalized software modeling tool does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Generalized software modeling tool, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generalized software modeling tool will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3566506