Abstract: A method of modeling operational and/or logical aspects of a system in a system-of-systems environment. Modeling components of generic structure are used to obtain a logical model of the system. The logical model and the modeling components of generic structure are used to obtain related models targeted toward the aspects. The related models are implemented to determine effects of the aspects on the system and/or system-of-systems.

Abstract: A method of providing information from at least one information resource. A semantic query is received that includes one or more generic constructs referencing an ontology relating to a domain of the information resource(s). A representation of the semantic query in an ontology representation language is inferred from the constructs. The query representation is used to access the information resource(s). This method allows a user to formulate database queries semantically without knowledge as to underlying data structures.

Abstract: A method of providing information from at least one information resource. A semantic query is received that includes one or more generic constructs referencing an ontology relating to a domain of the information resource(s). A representation of the semantic query in an ontology representation language is inferred from the constructs. The query representation is used to access the information resource(s). This method allows a user to formulate database queries semantically without knowledge as to underlying data structures.

Abstract: A method of modeling operational and/or logical aspects of a system in a system-of-systems environment. Modeling components of generic structure are used to obtain a logical model of the system. The logical model and the modeling components of generic structure are used to obtain related models targeted toward the aspects. The related models are implemented to determine effects of the aspects on the system and/or system-of-systems.

Abstract: A method for scheduling the allocation of resources in a semiconductor object processing tool. The method comprises identifying a conflict in a resource allocation schedule for the processing of a plurality of semiconductor objects through the tool over time. The schedule utilizes a fundamental period for scheduling the periodic introduction of the objects into the tool for processing. A conflict arising when a transport mechanism adapted to move the objects to and from the resources in the tool is scheduled to execute more than one transport action in a given time interval. The time blocks associated with the conflict are rescheduled from a present time interval to a different time interval such that the rescheduling of the time block does not violate a post-processing residency constraint for a residency time that the object spends in the resource whose time block is rescheduled.