37 research outputs found

    Metamodel-based model conformance and multiview consistency checking

    Get PDF
    Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

    Integrated Financial Supervision: Experiences in Selected Countries

    No full text
    This paper represents one of the first comparative analyses of experiences of integrated supervision. It discusses how several countries around the world have developed the processes of integrating financial regulation and supervision, and covers numerous relevant technical issues as well as the policy options. It describes the scope of the activities, institutions, responsibilities, and regulatory powers that integrated supervisors are expected to cover. Issues related to the organizational structures and the management of staff resources are also considered. In particular, the paper discusses how the supervisory agencies have dealt with three important aspects: the treatment of financial conglomerates, the risk assessment process, and crisis management

    Integrated Financial Supervision: Experiences in Selected Countries

    No full text
    This paper represents one of the first comparative analyses of experiences of integrated supervision. It discusses how several countries around the world have developed the processes of integrating financial regulation and supervision, and covers numerous relevant technical issues as well as the policy options. It describes the scope of the activities, institutions, responsibilities, and regulatory powers that integrated supervisors are expected to cover. Issues related to the organizational structures and the management of staff resources are also considered. In particular, the paper discusses how the supervisory agencies have dealt with three important aspects: the treatment of financial conglomerates, the risk assessment process, and crisis management.Financial Services, Financial Policy, Transparency & Anticorruption, Public Administration & Policy Making, Finance, Financial Markets, Publications, financial supervision, supervision

    Isolation and characterization of polymorphic microsatellite loci in Acanthoscelides obtectus Say (Coleoptera: Bruchidae)

    No full text
    International audienceSix microsatellite loci were isolated from the bruchid Acanthoscelides obtectus Say (Coleoptera: Bruchidae). Each locus was polymorphic, with the number of alleles ranging from 3 to 18. We found high levels of within‐population variation at most loci, with heterozygosities ranging from 0 to 0.75. Cross‐species amplification of these loci was tested in two other species of the genus Acanthoscelides , A. obvelatus Bridwell and A. argillaceus Sharp
    corecore