Patent application number | Description | Published |
20110078509 | INFERENCE OF CONTRACT USING DECLARATIVE PROGRAM DEFINITION - A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts. | 03-31-2011 |
20120089988 | HOSTING NON-MESSAGING WORKFLOWS IN A MESSAGING HOST - A workflow hosting system is described herein that allows non-messaging workflows to be hosted by a message-based service host. The system provides a host implementation, which can be used to host non-messaging workflows, or workflows that either do not begin with a message activity or do not use messaging activities at all. When the host receives a message for a workflow service, if it is not already running (or persisted), the system creates a new workflow service instance. If a workflow does not begin with a message activity, it cannot be started by sending a message because there is no activity to receive the message. To host a non-messaging workflow, the system provides a translation layer that sits between the communication layer and the workflow with methods that a developer can override to correctly activate the workflow. | 04-12-2012 |
20120159424 | DISTRIBUTED APPLICATION MANIFEST - A method of creating a manifest for a distributed application is disclosed. Components and composites of components of the distributed application are described in a technology agnostic manner. The description includes a definition of the scalability of the composites of components. | 06-21-2012 |
20120159425 | APPLICATION MODEL FOR IMPLEMENTING COMPOSITE APPLICATIONS - Embodiments are directed to providing an application model for implementing composite applications and to providing a declarative programming model and distributed runtime for creating and executing composite applications. In an embodiment, a computer system instantiates an application model. The application model allows users to compose composite applications. The composite applications are configured to run on both distributed computing systems and local computing systems. The computer system receives user input at the instantiated application model. The user input indicates which composite application components are to be used in conjunction with each other to form the composite application. The computer system also provides the composite application on a distributed computing system and/or a local computing system. | 06-21-2012 |
20120222003 | DISTRIBUTED APPLICATION DEFINITION - A method of creating an application definition for a distributed application is disclosed. Constructs corresponding with a schema of the distributed application are defined in a declarative and technology agnostic manner. The constructs include the application definition, a module definition, and a component definition. Each construct includes metadata. | 08-30-2012 |
20120246613 | DISTRIBUTED COMPONENT MODEL - A distributed component model for creating a scalable and available distributed application is disclosed. The distributed component model provides for an application schema to be declaratively defined to include a module having a component. The schema includes a corresponding definition construct in a technology agnostic manner. The corresponding definition construct is declaratively defined to include metadata to control scaling and availability. | 09-27-2012 |
20120254109 | DISTRIBUTED COMPONENT RUNTIME - A method of creating a distributed application in a distributed component runtime is disclosed. An application schema including distributed modules is declaratively defined. Each module hosts a component having a corresponding logical address. Mapping the corresponding logical addresses to physical addresses at runtime virtualizes interactions between the components. | 10-04-2012 |
20120260227 | STATEFUL COMPONENT AUTHORING AND EXECUTION - A method for of authoring and executing stateful components for a distributed application is disclosed. An application schema for the distributed application is declaratively defined and includes a plurality of distributed modules. Each module hosts a set of stateful components co-located in a physical tier of a distributed environment having logic to manipulate state. The runtime supports partitioning the stateful components. Control flow opaqueness of component logic is banished in each of the stateful components, which would otherwise occur if state was externalized. | 10-11-2012 |