Conformance Verification of Normative Specifications using C-O Diagrams

C-O Diagrams have been introduced as a means to have a visual representation of normative texts and electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in case of not fulfillment of their obligations and prohibitions. In such diagrams we are also able to represent absolute and relative timing constrains. In this paper we consider a formal semantics for C-O Diagrams based on a network of timed automata and we present several relations to check the consistency of a contract in terms of realizability, to analyze whether an implementation satisfies the requirements defined on its contract, and to compare several implementations using the executed permissions as criteria.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

COMPARATIVE ANALYSIS OF NEURO- FUZZY AND SIMPLEX OPTIMIZATION MODEL FOR CONGESTION CONTROL IN ATM NETWORK.

Congestion always occurred when the transmission rate increased the data handling capacity of the network. Congestion normally arises when the network resources are not managed efficiently. Therefore if the source delivers at a speed higher then service rate queue, the queue size will be higher. Also if the queue size is finite, then the packet will observed delay. MATLAB Software was used to carry out simulations to develop Congestion control optimization Scheme for ATM Network with the aims to reducing the congestion of Enugu ATM Network. The results of the research reveal the minimization of congestion application model for Enugu ATM using optimization and Neuro-fuzzy. The result shows that congestion control model with Optimization and Neuro-fuzzy were 0.00003153 and 0.00002098 respectively. The ATM Congestion was reduced by 0.0000105, which is 18.2% decrease after Neuro-fuzzy controller was used. The results show the application of Neuro-fuzzy model which can use to control and minimized the ATM Congestion of Enugu ATM Network. The result shows that when Neuro-fuzzy is applied the congestion and the packet queue length in the buffer will be minimized. Key words: Congestion, MATLAB, Optimization, Neuro-fuzzy, ATM DOI: 10.7176/CTI/10-05 Publication date:July 31st 2020

Timed Automata Semantics for Visual e-Contracts

C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in case of not fulfillment of their obligations and prohibitions. In such diagrams we are also able to represent absolute and relative timing constraints. In this paper we present a formal semantics for C-O Diagrams based on timed automata extended with an ordering of states and edges in order to represent different deontic modalities.Comment: In Proceedings FLACOS 2011, arXiv:1109.239