Abstract: A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business applications with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.

Abstract: A method and system are disclosed for manipulating a model, where that model represents some or all of a design. The design includes a multitude of design elements, the model includes a multitude of model elements, and each of the design elements is represented by a single model element. The method comprises the steps of generating a suite of documents from the model, each of the documents describing a view of the model; and displaying the documents to a user as a series of forms. The user provides information to the forms to change the documents, and changes to the documents result in both changes to the model and consistent changes across the suite of documents. In the preferred embodiment, the model identifies specific relationships between the elements of the model, and each of the model elements has defined properties.

Abstract: Disclosed is a computer-implemented method to create a presentation having at least one sheet, where each sheet contains one or more visual elements, as well as a system and computer program embodied on a computer-readable storage medium. The method includes, in response to input from a user, representing visual elements as depictions in a model, where each depiction depicts a single item in the model, where each item is a unit of information with a unique identifier, where each item can be depicted by at least one depiction and each depiction defines the visual representation of the item's information via the visual element. The method further includes, in response to a change to an item made by altering the visual element associated with the depiction of the item, automatically propagating the change to the item to all other depictions of the item across all sheets of the presentation. The method further includes updating the associated visual elements to reflect the change to the item.

Abstract: A method and system are disclosed for manipulating a model, where that model represents some or all of a design. The design includes a multitude of design elements, the model includes a multitude of model elements, and each of the design elements is represented by a single model element. The method comprises the steps of generating a suite of documents from the model, each of the documents describing a view of the model; and displaying the documents to a user as a series of forms. The user provides information to the forms to change the documents, and changes to the documents result in both changes to the model and consistent changes across the suite of documents. In the preferred embodiment, the model identifies specific relationships between the elements of the model, and each of the model elements has defined properties.

Abstract: A method includes defining a first component set of one or more first components; defining a second component set of one or more second components; and defining an original set of relationships, each relationship being between one component of the first component set and one component of the second component set. The method further includes decomposing the original set of relationships into a collection of view sets, each view set having at least one subset of the original set of relationships where the first and second components are associated with the respective relationships of the subset, and each view set satisfies a set of constraints. The components may be elements of a business model.

Abstract: Improved systems and techniques for representation of information. As a user creates a graphic design, properties represented by graphical elements of the design, are associated with visual characteristics of the elements, and a palette of elements is made available for use in development of the design or creation of new designs. As generalized elements are added to a design, the generalized elements may take on visual characteristics associated with properties identified by the positioning of the generalized elements in the design. Ongoing or existing designs may be surveyed to identify elements, properties represented by the elements, and visual characteristics associated with the properties, and new elements added to the palette or existing elements modified as a result of one or more surveys.

Abstract: Disclosed is a computer-implemented method to create a presentation having at least one sheet, where each sheet contains one or more visual elements, as well as a system and computer program embodied on a computer-readable storage medium. The method includes, in response to input from a user, representing visual elements as depictions in a model, where each depiction depicts a single item in the model, where each item is a unit of information with a unique identifier, where each item can be depicted by at least one depiction and each depiction defines the visual representation of the item's information via the visual element. The method further includes, in response to a change to an item made by altering the visual element associated with the depiction of the item, automatically propagating the change to the item to all other depictions of the item across all sheets of the presentation. The method further includes updating the associated visual elements to reflect the change to the item.

Abstract: A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business application, with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.

Abstract: A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business applications with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.

Abstract: An enterprise process model that comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. Data characterizing the view of the attributes of at least one of the objects of the model is generated by associating a plurality of situation/role pairs with the at least one object; and then, for each particular situation/role pair, defining a view definition for subsequent use. In another aspect of the present invention, an enterprise application for use in an information system that comprises diverse software services and hardware platforms is generated by providing a model of the enterprise process, wherein the model comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. A configuration defining software services and hardware platforms that support the model is generated. Finally, program fragments that support the model are generated.

Abstract: An enterprise process model that comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. Data characterizing the view of the attributes of at least one of the objects of the model is generated by associating a plurality of situation/role pairs with the at least one object; and then, for each particular situation/role pair, defining a view definition for subsequent use. In another aspect of the present invention, an enterprise application for use in an information system that comprises diverse software services and hardware platforms is generated by providing a model of the enterprise process, wherein the model comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. A configuration defining software services and hardware platforms that support the model is generated. Finally, program fragments that support the model are generated.

Abstract: A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business application, with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.