Learn More
Distributed systems with high availability requirements have to support some form of dynamic reconfiguration. This means that they must provide the ability to be maintained or upgraded without being taken off-line. Building a distributed system that allows dynamic reconfiguration is very intrusive to the overall design of the system, and generally requires(More)
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of a conceptual UML class model and to develop guidelines for how the(More)
An MDA-based design approach should be able to accommodate designs at different levels of platform-independence. We have previously proposed a design approach [2], which allows these levels to be identified. An important feature of this approach is the notion of abstract platform. An abstract platform is determined by considering the platform(More)
Substantial experience with the use of formal specification languages in the design of distributed systems has shown that finding appropriate structures for formal specifications presents a serious, and often underestimated problem. Its solutions are of great importance for ensuring the quality of the various designs that need to be developed at different(More)
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is needed to specify, document, communicate and reason about goals and requirements. Current modelling techniques for enterprise architecture focus on the products, services, processes(More)
—Context-awareness refers to systems that unobtrusively adapt to the environment of their users on the basis of context information, popularly known as context-aware systems. One inherent property of context information is that it possesses a certain quality, such as the certainty with which it has been determined and so on. Different aspects of this(More)
Service discovery is a process of locating, or discovering, one or more documents, that describe a particular service. Most of the current service discovery approaches perform syntactic matching, that is, they retrieve services descriptions that contain particular keywords from the user's query. This often leads to poor discovery results, because the(More)
— The " motivation domain " of an Enterprise Architecture addresses objectives in a broad scope ranging from high-level statements expressing the goals of an enterprise to declarations of requirements on business processes, services and systems. An important development regarding the incorporation of the motivation domain in a comprehensive Enterprise(More)
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a(More)