Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

Category-theoretic fibration as an abstraction mechanism in information systems

This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

Comparision and abstraction of ethernet based fieldbus

Os sistemas de redes de campo ligando componentes de automação e máquinas possuem uma performance muito elevada, relativamente à sua velocidade e capacidade de funcionamento em tempo-real. Estes apresentam também uma variedade de funcionalidades tais como comunicação cruzada, protocolos de segurança e endereçamento automático. Além disso, definem também aproximações lógicas ao tipo de máquinas em questão, de acordo com o seu perfil de funcionamento. No entanto, todas estas funcionalidades tornam a configuração e programação de aplicações comunicando nestas redes de campo extremamente complexa. Para além da complexidade existente na configuração e programação de um único sistema de redes de campo, existe também uma panóplia de diferentes sistemas de redes de campo, totalmente incompatíveis entre si. Contudo, estes pouco se diferenciam relativamente às suas funcionalidades e performance. Neste trabalho é elaborada uma comparação entre 4 diferentes perfis de accionamentos (CiA 402, CIP Motion, FSP Drive e PROFIdrive) para sistemas de redes de campo baseados em Ethernet (Ethercat, Ethernet/IP, PROFInet e SERCOS. Com este resultado, o acesso aos diferentes sistemas de redes de campo poderá ser generalizado, de forma que a aplicação a desenvolver seja independente do sistema localizado nas camadas OSI inferiores.

On the cloud deployment of a session abstraction for service/data aggregation

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

The dilution effect: The influence of expertise and abstraction on consumer's judgements of products

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.

La monnaie en droit : nature d'une abstraction outre fondée : essai dialectique et logique sur la dualité dans la catégoricité juridique et sur l'abstraction d'hérédité monétaire

"Thèse présentée à la Faculté des études supérieures en vue de l'obtention du grade de Docteur en droit (LL.D.)"

Abstraction et plasticité sonore : une nouvelle approche à la composition de musique acousmatique

« La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU). »