[Introspector-developers] introspector meta-logical requirements
Status: Beta
Brought to you by:
mdupont
|
From: James M. D. <mdu...@ya...> - 2003-01-12 23:09:44
|
This is an experimental set of
something like triples.
I will be posting a newer version, this might be interesting to you.
Splitting-of-module-up-into-new-modules is-a requirement
creation-of-tools-to-refactor-code is-a requirement
extraction-of-variables-and-dependancies is-a requirement
finding-of-the-scope-of-a-variable is-a requirement
Finding-all-the-usages-of-a-variable is-a requirement
regeneration-of-source-code is-a requirement
translation-of-source-code-into-new-language is-a requirement
Replacing-expressions-with-other-expressions is-a requirement
editing-of-source-in-memory is-a requirement
Treat-data-as-RDF-triples is-a requirement
visualizing-of-sections-of-code is-a requirement
STATEMENT-AS-A-NODE IS-A RULE
STATEMENT-AS-A-NODE-BREAKDOWN NAME BREAKDOWN
STATEMENT-AS-A-NODE-BREAKDOWN OPERATION-Comment "a statement-as-a-Node
can be broken down into statement"
STATEMENT-AS-A-NODE-CREATE RANGE STATEMENT-AS-A-NODE
STATEMENT-AS-A-NODE-CREATE DOMAIN STATEMENT
STATEMENT-AS-A-NODE OPERATION STATEMENT-AS-A-NODE-CREATE
STATEMENT-AS-A-NODE-CREATE NAME CREATE
STATEMENT-AS-A-NODE-CREATE is-a OPERATION
STATEMENT-AS-A-NODE-CREATE DOMAIN STATEMENT-AS-A-NODE
STATEMENT-AS-A-NODE-CREATE RANGE STATEMENT
STATEMENT-AS-A-NODE OPERATION-Comment "a statement-as-a-Node can be
created out of a statement"
STATEMENT-AS-A-NODE-CREATE is-inverse-of
STATEMENT-AS-A-NODE-BREAKDOWN
is-inverse-of is-a relationship
is-inverse-of domain RULE
is-inverse-of range RULE
is-inverse-of description "when a rule is the inverse of a another"
IMPLIES is-a relationship
IMPLIES domain RULE
IMPLIES range RULE
IMPLIES description "when a rule implies another"
STATEMENT AS-A NODE
AS-A is-a representation
STATEMENT-BECAUSE-STATEMENT is-a RULE
STATEMENT-IMPLIES-STATEMENT is-a RULE
STATEMENT BECAUSE STATEMENT
STATEMENT IMPLIES STATEMENT
recompile-times-are-large is-a statement
editing-of-source-in-memory BECAUSE
recompile-times-are-large
recompile-times-are-large IMPLIES
editing-of-source-in-memory
editing-of-source-in-memory is-a requirement
editing-of-source-in-memory about source
editing-of-source-in-memory defined-operation editing
editing-of-source-in-memory defined-operation-on source
editing-of-source-in-memory defined-operation-in memory
source is-stored-in memory
Splitting-of-module-up-into-new-modules is-a requirement
file is-a storage
module is-a file
file is-a resource
Replacing-expressions-with-other-expressions is-a requirement
replace-expression is-a use-case
replace-expression range database
replace-expression domain database
replace-expression parameter expression-to-find
replace-expression parameter expression-to-replace-with
Finding-all-the-usages-of-a-variable is-a requirement
find-usage-of-variable is-a use-case
usage-of-variable is-a use-case
variable is-a object
visualizing-of-sections-of-code is-a requirement
code-section is-a section
section is-a subset
section is-a range
code-section contains code
code has-operation visualize
visualize is-a output-operation
output-operation has-a output-context
output-context is-a context
operation has-a context
output-operation has-a output-format
operation has-a state
code represents program-knowledge
data output-as gui-records
data output-as gui-list
data output-as gui-tables
data output-as gui-trees
data output-as gui-graphs
gui-records displays records
gui-list displays list
gui-tables displays tables
gui-trees displays trees
gui-graphs displays graphs
graph has-method layout
Treat-data-as-RDF-triples is-a requirement
database stores program-knowledge
program-knowledge is program-data
data is-defined-as program-data
data is-defined-as instance-data-structures
data is-defined-as objects
instance-data-structure should-be-able-to
serialize-itself-into-triples-format.
serialize-itself-into-triples-format is-a method
serialize-itself-into-triples-format has-range triples-format
serialize-itself-into-triples-format has-domain
instance-data-structure
triples-format is-a set-of-statements
set-of-statements contains statements
statements are-a-collection-of statement
statement has-a subject
statement has-a predicate
statement has-a object
subject is-a node
object is-a node
predicate is-a node
predicate is-a property
each is-a qualifier
instance-data-structure is-a object
should-be-able-to is-a statement-of-requirements
statement-of-requirements is-a statement
statement-of-requirements is-about requirements
requirements is-collection-of requirement
requirement is-a need
data-structure has instances
instances is-collection-of instance
data-structure has-a type
type is-a class
handling of traversal
context of traversal
traversal is-a operation on-a collection
collection has-op traversal
has-op defined-has operation
defined-has is-a has
has is-a property
has-a is-a property
is-a is-a property
iterator is-a operation
network has iteration-paths
iteration-paths is-a-collection-of paths
iteration-paths is-result-of iteration
iteration is-a operation
iteration operation collection
iteration instance interator
paths collection-of path
vector is-a sequence
list is-a sequence
path is-a sequence
serialize is-a operation
serialize-itself is-a method
method is-a operation
method is-a property
=====
James Michael DuPont
http://introspector.sourceforge.net/
__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com
|