59,796 research outputs found

    Extending and Relating Semantic Models of Compensating CSP

    No full text
    Business transactions involve multiple partners coordinating and interacting with each other. These transactions have hierarchies of activities which need to be orchestrated. Usual database approaches (e.g.,checkpoint, rollback) are not applicable to handle faults in a long running transaction due to interaction with multiple partners. The compensation mechanism handles faults that can arise in a long running transaction. Based on the framework of Hoare's CSP process algebra, Butler et al introduced Compensating CSP (cCSP), a language to model long-running transactions. The language introduces a method to declare a transaction as a process and it has constructs for orchestration of compensation. Butler et al also defines a trace semantics for cCSP. In this thesis, the semantic models of compensating CSP are extended by defining an operational semantics, describing how the state of a program changes during its execution. The semantics is encoded into Prolog to animate the specification. The semantic models are further extended to define the synchronisation of processes. The notion of partial behaviour is defined to model the behaviour of deadlock that arises during process synchronisation. A correspondence relationship is then defined between the semantic models and proved by using structural induction. Proving the correspondence means that any of the presentation can be accepted as a primary definition of the meaning of the language and each definition can be used correctly at different times, and for different purposes. The semantic models and their relationships are mechanised by using the theorem prover PVS. The semantic models are embedded in PVS by using Shallow embedding. The relationships between semantic models are proved by mutual structural induction. The mechanisation overcomes the problems in hand proofs and improves the scalability of the approach

    Comprehensive Monitor-Oriented Compensation Programming

    Full text link
    Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions. While traditional exception handling depends on the state of the system at the moment of failure, compensation programming is significantly more challenging and dynamic because it is dependent on the runtime execution flow - with the history of behaviour of the system at the moment of failure affecting how to apply compensation. To address this dynamic element, we propose the use of runtime monitors to facilitate compensation programming, with monitors enabling the modeller to be able to implicitly reason in terms of the runtime control flow, thus separating the concerns of system building and compensation modelling. Our approach is instantiated into an architecture and shown to be applicable to a case study.Comment: In Proceedings FESCA 2014, arXiv:1404.043

    Precise Modelling of Compensating Business Transactions and its Application to BPEL

    No full text
    We describe the StAC language which can be used to specify the orchestration of activities in long running business transactions. Long running business transactions use compensation to cope with exceptions. StAC supports sequential and parallel behaviour as well as exception and compensation handling. We also show how the B notation may be combined with StAC to specify the data aspects of transactions. The combination of StAC and B provides a rich formal notation which allows for succinct and precise specification of business transactions. BPEL is an industry standard language for specifying business transactions and includes compensation constructs. We show how a substantial subset of BPEL can be mapped to StAC thus demonstrating the expressiveness of StAC and providing a formal semantics for BPEL

    Some Problems With the Uniform Trustees’ Powers Act

    Get PDF

    APPLICATIONS OF SOCIAL CAPITAL THEORY

    Get PDF
    Experiments and studies were conducted to investigate the role of social capital. Social capital (relationship to others) is a productive asset which is a substitute for and complement to other productive assets. The productivity of social capital leads to the expectation that firms and individuals invest in relationships. Data were collected to answer the following questions: Does the identity (relationship) of trading partners affect selling and buying prices; the acceptance of catastrophic risk; the choice of share or cash leases in agriculture; loan approval; and the banks investment to retain customers? The evidence is in the affirmative.Behavioral economics, Institutional economics, Social capital, Institutional and Behavioral Economics,

    Two Case Studies of Subsystem Design for General-Purpose CSCW Software Architectures

    Get PDF
    This paper discusses subsystem design guidelines for the software architecture of general-purpose computer supported cooperative work systems, i.e., systems that are designed to be applicable in various application areas requiring explicit collaboration support. In our opinion, guidelines for subsystem level design are rarely given most guidelines currently given apply to the programming language level. We extract guidelines from a case study of the redesign and extension of an advanced commercial workflow management system and place them into the context of existing software engineering research. The guidelines are then validated against the design decisions made in the construction of a widely used web-based groupware system. Our approach is based on the well-known distinction between essential (logical) and physical architectures. We show how essential architecture design can be based on a direct mapping of abstract functional concepts as found in general-purpose systems to modules in the essential architecture. The essential architecture is next mapped to a physical architecture by applying software clustering and replication to achieve the required distribution and performance characteristics

    Transferability of the Research Tax Credit

    Get PDF

    Knowledge and Information Economy, Welfare and governance: the economic nature of Intellectual Property Rights

    Get PDF
    В даній статті аналізуються підходи до оцінки економічної природи інтелектуальної власності та її використання з урахуванням економічної категорії благополуччя. Зокрема в статті доведено, що транзакційні витрати використання нематеріальних активів, зокрема прав інтелектуальної вартості значно перевищують витрати пов’язні на їх державне регулювання. Ефективність державного регулювання (ліцензування, обмеження, контроль, власність держави) значно перевищує витрати на переговори між контрагентами по впровадженню інтелектуальних прав власності. В дослідженнях «неокласиків» по просуванню інтелектуальних прав власності враховуються лише витрати на виробництво, проте транзакційні витрати ринкових механізмів не беруться до уваги. В роботі доведено, що підходи неокласичної економічної школи не можуть використовуватися для оцінки таких комплексних товарів як нематеріальні активи. Теоретичні результати дослідження полягають в тому, що приватні переговори та ринкова ефективність використання прав інтелектуальної власності не можуть бути досягнуті без інституціонального втручання, тобто без державного регулювання, необхідного для підтримки умов соціальної справедливості. Проблема забезпечення ефективності функціонування інтелектуальних прав власності полягає не лише в урахуванні виробничих витрат, а навпаки, необхідно брати до уваги транзакційні та колективні витрати. Враховуючи всю комплексність нематеріального капіталу в роботі показано обмеження теорії Коуза та обґрунтовано її відмінності з теорією Вільямсона для нематеріальних активів. Зокрема, що стосується теорії Коуза, доведено необхідність використання інституціонального посередника та регулятора для досягнення соціальної та ринкової ефективності. Ринкові механізми довели свою низьку ефективність при регулюванні та функціонуванні такої категорії благ як нематеріальні активи. В висновках можна стверджувати, що для інтелектуальних прав власності приватні переговори та ринкові механізми просування зазначених категорій товарів не забезпечують бажаний соціальний ефект, основною причиною ринкових провалів можна назвати специфіку та комплексність нематеріальних активів, неповноту та асиметричність інформації. Проведений аналіз може бути використаний в різних сферах пов’язаних з нематеріальними активами: просування товарів екологічної спрямованості, культурні товари, освітні послуги, виробництво інформації, економіка Інтернету. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/9144This paper will study the different conceptions about economic nature of (Intelectual) Property Rights, and the implications in regard to Welfare. This analysis may be applied in various fields concerned with intangible components: ecology, cultural goods, knowledge and information production, internet economics, for example. In regard to the complexity of these types of intangible capital, I will show the limits of the private negotiation inspired in Coase´s approach, and underline the opposition between this approach and the Williamson´s one. При цитировании документа, используйте ссылку http://essuir.sumdu.edu.ua/handle/123456789/914
    corecore