1.
2.
3.
4.
5.
Boeva, V, et al.
(författare)
A transition logic for schemata conflicts
2004
Ingår i: Data & Knowledge Engineering. - : Elsevier BV. - 0169-023X .- 1872-6933. ; 51:3, s. 277-294
Tidskriftsartikel (refereegranskat) abstract
Conflict detection and analysis are of high importance, e.g., when integrating conceptual schemata, such as UML-Specifications, or analysing goal-fulfilment of sets of autonomous agents. In general, models for this introduce unnecessarily complicated frameworks with several disadvantages regarding semantics as well as complexity. This paper demonstrates that an important set of static and dynamic conflicts between specifications can be diagnosed using ordinary first-order modal logic. Furthermore, we show how the framework can be extended for handling situations when there are convex sets of probability measures over a state-space. Thus, representing specifications as conceptual schemata and using standard Kripke models of modal logic, augmented with an interval-valued probability measure, we propose instrumental definitions and procedures for conflict detection.
6.
Caporuscio, Mauro, 1975-, et al.
(författare)
Formal Analysis of Architectural Patterns
2004
Ingår i: Software Architecture. - Berlin, Heidelberg : Springer. - 9783540220008 ; , s. 10-24
Bokkapitel (övrigt vetenskapligt/konstnärligt) abstract
Architectural patterns characterize and specify structural and behavioral properties of (sub)systems, thus allowing the provision of solutions for classes of problems.In this paper we show the use of architectural patterns as an abstraction to carry on, and reuse, formal reasoning on systems whose configuration can dynamically change.This kind of systems is hard to model and to reason about due to the fact that we cannot simply build a model with fixed topology (i.e. fixed number of components and connectors) and validate properties of interest on it.The work presented in this paper proposes an approach that given an architectural pattern which expresses a class of systems configurations and a set of properties of interest (i) selects, if any, aminimal configuration for which the specified properties make sense, (ii) an abstraction of the chosen architectural model erformed, in order to reduce the complexity of the verification phase. In this stage, abstractions are driven by the properties of interest. The output of this abstraction step can be model-checked, tested and analyzed by using a standard model-checking framework. (iii) The verification results obtained in the previous step are lifted to generic configurations by performing manual reasoning driven by the constraints posed by the architectural pattern.The approach will be applied by using an event-based architectural pattern to a publish/subscribe system, the Siena middleware, in order to validate its features and its mobility extension.
7.
Caporuscio, Mauro, 1975-, et al.
(författare)
Yet Another Framework for Supporting Mobile and Collaborative Work
2003
Ingår i: Proceedings. Twelfth IEEE International Workshops on Enabling Technologies, 2003. WET ICE 2003.. - : IEEE Press. - 0769519636 ; , s. 81-86
Konferensbidrag (refereegranskat) abstract
This paper presents the design of YACO (Yet Another framework for Collaborative work), a framework for supporting mobile collaborative work. Mobile collaborative work has been increasing in popularity in business domain. Coworkers cooperate and share expertise across sites and domains, employees may move from a location to another carrying devices (such as PDAs and laptops) in which they store documents. The YACO framework that we have designed aims at exploiting the capabilities provided by an event-based system with support for mobile application in order to offer services to users that collaborates each other in a corporate domain.
8.
Cronholm, Stefan, et al.
(författare)
Grounded Theory in Use : a Review of Experiences
2002
Ingår i: Proceedings of the first European Conference on Research Methodology for Business and Management Studies (ECRM 2002.
Konferensbidrag (refereegranskat) abstract
This paper evaluates experiences from novice use of the qualitative analysis methodology grounded theory. The methodology can be understood as a reaction against more traditional scientific approaches such as hypothesis testing and quantitative analysis. The paper tries to answer the question: What problems and strengths arise from the practical use of grounded theory? In order to answer the question a list of problems and strengths, categorised into the methodology phases open coding, axial coding, selective coding and theoretical sampling, is presented. Some findings of a more general nature are also presented.
9.
10.
Henkel, Martin
(författare)
A framework for understanding the vision, goals, instruments and uses of software services
2004
Ingår i: Journal of Integrated Design & Process Science. - 1092-0617 .- 1875-8959. ; 8:1, s. 129-141
Forskningsöversikt (refereegranskat) abstract
Software services have been suggested for use in several areas such as business-to-business communication, system integration and as an enabler for virtual enterprises. However, it has not been clear if the use of services in these different areas is guided by a common vision, and if they share goals and technical background. By introducing a framework that relates the vision and goals of software services to different categories of service use, this work presents an overview of the instruments needed for the development of software services. The framework spans across four interrelated parts; the vision, goals, instruments and categories of service use. Firstly a single vision for software services is proposed. This vision is then divided into the three goals of modularity, integration and discovery. Furthermore, the high-level instruments needed to achieve each goal are presented. The use of services is classified into four categories depending on reach and extent i.e.: point wise-internal, point wise-external, infrastructure-internal and infrastructure-external use. The framework presented in this paper shows how these categories of service utilise the defined instruments. As an example of framework use, the instruments needed to create a process-centric service infrastructure for infra-enterprise use is proposed.