[Introspector-developers] introspector meta-logical requirements

[James M. D. <mdu...@ya...>]

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