Abstract: A method for providing cost data for a flight is provided. The method (i) obtains cost target data for the flight, under anticipated conditions; (ii) obtains real-time aircraft performance parameters affecting the actual cost of the flight, using continuous monitoring during the flight, including at least aircraft speed modes, aircraft flight level changes, tactical interventions, weather impact, and descent timing deviations; (iii) determines an actual cost of the flight, based on the real-time aircraft performance parameters affecting the actual cost; (iv) identifies flight plan change options associated with a potential cost savings over the actual cost, wherein the flight plan change options comprise potential modifications to the flight plan to complete the flight; (v) presents the flight plan change options; and (vi) adapts operation of one or more avionics systems onboard the aircraft, based on one of the flight plan change options.

Abstract: Methods and systems are provided for optimization of an aircraft flight trajectory with shortcuts. The method comprises retrieving an active flight plan stored in a flight management system (FMS) and identifying a potential shortcut with a shortcut advisor tool. The FMS monitors the location of the aircraft with respect to an identified start point of the potential shortcut. Prior to the aircraft's arrival at the identified start point, current key performance indicators (KPI) of the shortcut are evaluated with the shortcut advisor tool. The aircrew is alerted to the potential shortcut along with a preview of the performance of the aircraft upon accepting the potential shortcut. The aircrew may accept the addition of the potential shortcut to the flight plan and request approval of the shortcut by air traffic control (ATC). The active flight plan is updated with the shortcut upon approval from the ATC.

Abstract: A method for providing cost data for a flight is provided. The method (i) obtains cost target data for the flight, under anticipated conditions; (ii) obtains real-time aircraft performance parameters affecting the actual cost of the flight, using continuous monitoring during the flight, including at least aircraft speed modes, aircraft flight level changes, tactical interventions, weather impact, and descent timing deviations; (iii) determines an actual cost of the flight, based on the real-time aircraft performance parameters affecting the actual cost; (iv) identifies flight plan change options associated with a potential cost savings over the actual cost, wherein the flight plan change options comprise potential modifications to the flight plan to complete the flight; (v) presents the flight plan change options; and (vi) adapts operation of one or more avionics systems onboard the aircraft, based on one of the flight plan change options.

Abstract: A method for providing cost data for a flight is provided. The method (i) obtains cost target data for the flight, under anticipated conditions; (ii) obtains real-time aircraft performance parameters affecting the actual cost of the flight, using continuous monitoring during the flight, including at least aircraft speed modes, aircraft flight level changes, tactical interventions, weather impact, and descent timing deviations; (iii) determines an actual cost of the flight, based on the real-time aircraft performance parameters affecting the actual cost; (iv) identifies flight plan change options associated with a potential cost savings over the actual cost, wherein the flight plan change options comprise potential modifications to the flight plan to complete the flight; (v) presents the flight plan change options; and (vi) adapts operation of one or more avionics systems onboard the aircraft, based on one of the flight plan change options.

Abstract: Methods and systems are provided for optimization of an aircraft flight trajectory with shortcuts. The method comprises retrieving an active flight plan stored in a flight management system (FMS) and identifying a potential shortcut with a shortcut advisor tool. The FMS monitors the location of the aircraft with respect to an identified start point of the potential shortcut. Prior to the aircraft's arrival at the identified start point, current key performance indicators (KPI) of the shortcut are evaluated with the shortcut advisor tool. The aircrew is alerted to the potential shortcut along with a preview of the performance of the aircraft upon accepting the potential shortcut. The aircrew may accept the addition of the potential shortcut to the flight plan and request approval of the shortcut by air traffic control (ATC). The active flight plan is updated with the shortcut upon approval from the ATC.

Abstract: A method for providing landing lights operation data during a flight of an aircraft is provided. The method obtains a standard operating procedure (SOP) for operating landing lights onboard the aircraft during the flight, wherein the SOP comprises a customary industry-recommended practice for at least one of extension and retraction of the landing lights on the aircraft, and wherein execution of the SOP produces a flight efficiency level including at least fuel burn and drag parameters; determines an optimized operating procedure for the landing lights to increase the flight efficiency level to achieve an increased flight efficiency level, based on real-time contextual data; and presents an advisory comprising at least graphical elements associated with the optimized operating procedure, a potential cost savings for the optimized operating procedure, and the increased flight efficiency level onboard the aircraft, via a display device.

Abstract: A method for providing cost data for a flight is provided. The method (i) obtains cost target data for the flight, under anticipated conditions; (ii) obtains real-time aircraft performance parameters affecting the actual cost of the flight, using continuous monitoring during the flight, including at least aircraft speed modes, aircraft flight level changes, tactical interventions, weather impact, and descent timing deviations; (iii) determines an actual cost of the flight, based on the real-time aircraft performance parameters affecting the actual cost; (iv) identifies flight plan change options associated with a potential cost savings over the actual cost, wherein the flight plan change options comprise potential modifications to the flight plan to complete the flight; (v) presents the flight plan change options; and (vi) adapts operation of one or more avionics systems onboard the aircraft, based on one of the flight plan change options.

Abstract: Methods and systems for integrating process perspectives and abstraction levels into business process modeling are described. In one example embodiment, modeling business processes for an enterprise can include selecting a segmented view of an enterprise meta-model. The segmented view is associated with a business process to be modeled. The enterprise meta-model is a machine-readable representation of business rules and policies for the enterprise. A business process model is created using a set of visual modeling tools, which are limited by the segmented view. A business policy having some relevance to the process being modeled can be selected for annotation to the business process. Once completed, the business process model is transformed into a machine-readable representation and stored in a repository.

Abstract: An enhanced process query framework, including receiving a user input defining behavioral and static aspects of a target process artifact, and automatically defining a query specification including an axiom component expressing the static aspect using a logical expression, and a process definition component expressing the behavioral aspect using ontologized ?-calculus. The process further includes querying a process artifact library using the automatically defined query specification, and outputting a candidate process artifact matching the defined behavioral and static aspects, based on querying the process artifact library.

Abstract: A system and method are provided to generate a dynamic web services interface model. In one embodiment, description content of a Web Service Definition Language (WSDL) file is identified. A first metadata and a second metadata are extracted from the description content. A dynamic web services interface model is created via the first metadata and the second metadata.

Abstract: Methods and systems for integrating process perspectives and abstraction levels into business process modeling are described. In one example embodiment, modeling business processes for an enterprise can include selecting a segmented view of an enterprise meta-model. The segmented view is associated with a business process to be modeled. The enterprise meta-model is a machine-readable representation of business rules and policies for the enterprise. A business process model is created using a set of visual modeling tools, which are limited by the segmented view. A business policy having some relevance to the process being modeled can be selected for annotation to the business process. Once completed, the business process model is transformed into a machine-readable representation and stored in a repository.

Abstract: A system and method are provided to generate a dynamic web services invocation model. In one embodiment, a first metadata and a second metadata are extracted from description content of a Web Service Definition Language (WSDL) file. The first metadata and the second metadata are inspected. A web service is invoked via a dynamic web services invocation model.

Abstract: An enhanced process query framework, including receiving a user input defining behavioral and static aspects of a target process artifact, and automatically defining a query specification including an axiom component expressing the static aspect using a logical expression, and a process definition component expressing the behavioral aspect using ontologized ?-calculus. The process further includes querying a process artifact library using the automatically defined query specification, and outputting a candidate process artifact matching the defined behavioral and static aspects, based on querying the process artifact library.

Abstract: Various embodiments described herein provide one or more of systems, methods, and software for formal modeling of business processes. Some embodiments provide a formal model for business processes that allows for expressive querying and reasoning over process models. Some such models provide mechanisms for rich descriptions of processes from different workflow perspectives that may allow automated process verification, simulation, execution, and querying in the process space. Some embodiments include receiving a mapping of at least a portion of a process and determining an order of tasks of the process as a function of ?-calculus formulas associated with each type of the tasks of the process map. The ordered tasks may then be translated into a process modeling language representation of the at least a portion of the process.

Abstract: A system and method are provided to generate a dynamic web services interface model. In one embodiment, description content of a Web Service Definition Language (WSDL) file is identified. A first metadata and a second metadata are extracted from the description content. A dynamic web services interface model is created via the first metadata and the second metadata.

Abstract: A system and method are provided to generate a dynamic web services invocation model. In one embodiment, a first metadata and a second metadata are extracted from description content of a Web Service Definition Language (WSDL) file. The first metadata and the second metadata are inspected. A web service is invoked via a dynamic web services invocation model.

Abstract: A method of depicting a hard copy document, in which a user generates an electronic document and then selects an instruction for assembling a hard copy document. The visual appearance of the electronic document once printed and assembled in accordance with the instruction is determined in the computer, and this visual appearance is produced as output. For example, the visual appearance of the electronic document may depict a printing media used in the hard copy document, such as the weight, color, texture, or transparency of the printing media, a preexisting image on the printing media, a cover to be used in the hard copy document, a binding to be used in the hard copy document, such as a velo tape, spiral, multi-ring, comb, magazine style, or stapling binding, or a physical modification of a printing media used in the hard copy document, such hole punching, folding or cutting.