Primitives for Contract-based Synchronization

We investigate how contracts can be used to regulate the interaction between processes. To do that, we study a variant of the concurrent constraints calculus presented in [1], featuring primitives for multi-party synchronization via contracts. We proceed in two directions. First, we exploit our primitives to model some contract-based interactions. Then, we discuss how several models for concurrency can be expressed through our primitives. In particular, we encode the pi-calculus and graph rewriting.Comment: In Proceedings ICE 2010, arXiv:1010.530

Challenges for the comprehensive management of cloud services in a PaaS framework

The 4CaaSt project aims at developing a PaaS framework that enables flexible definition, marketing, deployment and management of Cloud-based services and applications. The major innovations proposed by 4CaaSt are the blueprint and its lifecycle management, a one stop shop for Cloud services and a PaaS level resource management featuring elasticity. 4CaaSt also provides a portfolio of ready to use Cloud native services and Cloud-aware immigrant technologies

Interface refactoring in performance-constrained web services

This paper presents the development of REF-WS an approach to enable a Web Service provider to reliably evolve their service through the application of refactoring transformations. REF-WS is intended to aid service providers, particularly in a reliability and performance constrained domain as it permits upgraded ’non-backwards compatible’ services to be deployed into a performance constrained network where existing consumers depend on an older version of the service interface. In order for this to be successful, the refactoring and message mediation needs to occur without affecting functional compatibility with the services’ consumers, and must operate within the performance overhead expected of the original service, introducing as little latency as possible. Furthermore, compared to a manually programmed solution, the presented approach enables the service developer to apply and parameterize refactorings with a level of confidence that they will not produce an invalid or ’corrupt’ transformation of messages. This is achieved through the use of preconditions for the defined refactorings

Electronic institutions with normative environments for agent-based E-contracting

Tese de doutoramento. Engenharia Informática. Faculdade de Engenharia. Universidade do Porto. 201

CIRAS News (Vol. 38, No. 4)

Contents: Network of services helps company relocate; Center creates new uses for Iowa\u27s crops; IIOF 2003 focus is food processing; Contracting with the federal government: Commercial items; Productivity paves the way; Lighting giant \u27glows\u27 with CIRAS help; Iowa State\u27s WiST lab offers range of applicationshttps://lib.dr.iastate.edu/ciras_news/1013/thumbnail.jp

Monitoring Multi-Party Contracts for E-Business.

"Monitoring Multi-party Contracts for E-business" investigates the issues involved in the performance of econtract monitoring of business automations in business to business e-commerce environment. A pro-active monitoring contract model and monitoring mechanism have been designed and developed. A new architecture and framework is proposed for pro-active monitorable contracts. This pro-active monitoring contract model is supported by a prototype

Foundations of B2B electronic contracting

Nowadays, flexible electronic cooperation paradigms are required for core business processes to meet the speed and flexibility requirements dictated by fast-changing markets. These paradigms should include the functionality to establish the formal business relationship required by the importance of these core processes. The business relationship should be established in an automated, electronic way in order to match the speed and flexibility requirements mentioned above. As such, it should considerably improve on the ineffectiveness and inefficiency of traditional contracting in this context. The result of the establishment should be a detailed electronic contract that contains a complete specification of the intended cooperation between organizations. Electronic contracts should contain a precise and unambiguous specification of the collaboration at both the conceptual and technological level. Existing commercial software solutions for business-to-business contracting provide low level of automation and concentrate solely on the automated management of the contract enactment. However, in the modern, dynamic, business settings, an econtracting system has to support high automation of the e-contract establishment, enactment, and management. In the thesis, the business, legal, and technological requirements for the development of a highly automated e-contracting system are investigated. Models that satisfy these requirements and that can be used as a foundation for the implementation of an electronic contracting system are defined. First, the thesis presents the business benefits introduced to companies by highly automated electronic contracting. Next, a data and process analysis of electronic contracting is presented. The specification of electronic contracts and the required process support for electronic contract establishment and enactment are investigated. The business benefits and data and process models defined in the thesis are validated on the basis of two business cases from on-line advertising, namely the cases of online advertising in "De Telegraaf" and "Google". Finally, the thesis presents a specification of the functionalities that must be provided by an e-contracting system. A conceptual reference architecture that can be used as a starting point in the design and implementation of an electronic contracting system is defined. The work in the thesis is conducted on the intersection of the scientific areas of conceptual information and process modeling and specification on the one hand and distributed information system architecture modeling on the other hand

NATURE OF THE FIRM: A STUDY ON DEVELOPERS IN CHINA AND HONG KONG

In Hong Kong, dwellings are fitted with neat and tidy paintings, well decorated floor and wall tiles. Equipped with world�renowned kitchen and bathroom appliance, housing owners can move in with a bag of cloths. Builders in China, however, only provide fundamental elements such as windows, doors, ironmongery and grayish wall. By the time home purchasers receive their dwellings, they need to do a lot of shopping before they can move in. They need to buy water closet, tiles, towel rings and so on. Scope of services provided by Hong Kong developers is much wider than those in China�s. Ronald Coase, Nobel economist 1991 addresses two questions in his 1937 paper: why firms exist and what determines their scale and scope. What are the major determining factors which affect the size of the developers and their scope of services? Few or even no paper has studied this issue. This paper reviews that unpredictable rules and regulations couple with poor law drafting decrease firms� incentive in vertical integration.firm, developers, Hong Kong, China