Results 1 -
6 of
6
Non-Functional Aspects of Wide Area Network Programming
, 2003
"... Wide-Area Network (WAN) applications have become one of the most popular ap-plications in current distributed computing. Internet and the World Wide Web are now the primary environment for designing, developing and distributing appli-cations. This scenario imposes different programming metaphors wit ..."
Abstract
-
Cited by 13 (13 self)
- Add to MetaCart
(Show Context)
Wide-Area Network (WAN) applications have become one of the most popular ap-plications in current distributed computing. Internet and the World Wide Web are now the primary environment for designing, developing and distributing appli-cations. This scenario imposes different programming metaphors with respect to traditional applications. Theoretical models for formally reasoning on WAN applications must consider many crucial aspects and their mutual relationships, e.g. mobility, network aware-ness, security, service level agreement, etc. This dissertation attempts to formally define declarative approaches for dealing with various facets of actual WAN programming and verification issues. We propose a declarative approach based on hypergraphs that provide founda-tional framework for “declaring ” components ’ behaviours of a distributed system. It is exercised with two well-known models for distributed computations as Ambient and Klaim. Moreover, we extend Klaim with constructs for specifying, at applica-
A formal MDA approach for mobile health systems
- In Second European Workshop on Model Driven Architecture (MDA
, 2004
"... Abstract. M-health systems are safety critical systems intended for use by the public and are therefore characterized by especially strict requirements relating to safety, security, correctness, reliability, adaptability and user friendliness. This position paper proposes a methodology which realize ..."
Abstract
-
Cited by 9 (1 self)
- Add to MetaCart
(Show Context)
Abstract. M-health systems are safety critical systems intended for use by the public and are therefore characterized by especially strict requirements relating to safety, security, correctness, reliability, adaptability and user friendliness. This position paper proposes a methodology which realizes the MDA approach by utilizing formal methods to support verification, validation and transformation. The objective is to investigate the use of MDA enriched by formal methods to define a generic, evolvable architecture for m-health services which facilitates the rapid development and deployment of high quality adaptable m-health services. 1
Towards An Integrated Graph Based Semantics for UML
, 2002
"... Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that approach and show how two more UML diagram types, sequence and collaboration diagrams, can be captured. Fo ..."
Abstract
- Add to MetaCart
Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that approach and show how two more UML diagram types, sequence and collaboration diagrams, can be captured. For UML models consisting of a class diagram and particular state diagrams, a graph transformation system can be defined. Its graphs are associated with system states and its rules with operations in the class diagram and transitions in the state diagrams. Sequence and collaboration diagrams then characterize sequences of operation applications and therefore sequences of transformation rule applications. Thus valid sequence and collaboration diagrams correspond to derivations induced by the graph transformation system. Proceeding this way, it can be checked for example whether such an operation application sequence may be applied in a specific system state.
Administrative domains (Security)
"... for building global systems. They are hard to be made roboust because: Absence of centralised control Client-Server not enough: P2P ..."
Abstract
- Add to MetaCart
for building global systems. They are hard to be made roboust because: Absence of centralised control Client-Server not enough: P2P
