his.sePublikationer
Ändra sökning
Avgränsa sökresultatet
12 1 - 50 av 58
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Andler, Sten F.
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för datavetenskap.
    Eriksson, Joakim
    Högskolan i Skövde, Institutionen för datavetenskap.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för datavetenskap.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Eftring, Bengt
    Högskolan i Skövde, Institutionen för datavetenskap.
    DeeDS: Towards a Distributed and Active Real-Time Database Systems1996Ingår i: ACM Sigmod Record, Vol. 25, nr 1, s. 38-40Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    DeeDS combines active database functionality with critical timing constraints and integrated system monitoring. Since the reactive database mechanisms, or rule management system, must meet critical deadlines, we must employ methods that make triggering of rules and execution of actions predictable. We will focus on the scheduling issues associated with dynamic scheduling of workloads where the triggered transactions have hard, firm or soft deadlines, and how transient overloads may be resolved by substituting transactions by computationally cheaper ones. The rationale for a loosely coupled general purpose event monitoring facility, that works in tight connection with the scheduler, is presented. For performance and predictability, the scheduler and event monitor are executing on a separate CPU from the rest of the system. Real-time database accesses in DeeDS are made predictable and efficient by employing methods such as main memory resident data, full replication, eventual consistency, and prevention of global deadlocks.

  • 2.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap. University of Exeter, UK.
    Active Capability Support for Cooperation Strategies in Cooperative Information Systems1998Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    One important feature for the current and next generation of information systemsis the ability to be able tocooperate. Information systems that are able to cooperateare referred to as cooperative information systems. The problem of moving the stateof the art from information systems designed asislands of automationto cooperativeinformation systems has primarly been addressed by the distributed artificial intelli-gence community and the database community. For example, the distributed artificialintelligence community has investigated cooperation strategies such as task sharingand result sharing, whereas the database community has developed techniques forinteroperability over heterogenous databases. One characteristic of cooperative infor-mation systems is that no individual solution can satisfactorily support all requiredcharacteristics of cooperative information systems. This thesis takes the position thata synthesis of results from the distributedartificial intelligence community and thedatabase community is a promising direction for developing cooperative informationsystems.In this thesis, active capability (as defined within active databases) is considered asan important core technology for cooperative information systems. Active capabilityis supported by event condition action (ECA) rules with the following semantics:when an event E occurs, evaluate condition C, and if the condition is satisfied, thenexecute action A. The applicability of using ECA rules has primarly been exploredwithin database systems and has recently initiated ECA related research within otherresearch communities such as real-time and workflow.This thesis focuses on what is required in an interface between information sys-tems when using an active capability approach to supporting the major cooperationstrategies as formulated in distributed artificial intelligence. The significance of the2work reported in this thesis concerns two major issues. First, advanced types ofcooperation strategies such as task sharing and result sharing can now span the do-mains of database and distributed artificial intelligence architectures. Second, as thiswork synthesizes and extends results from two different research communities, it pro-vides a good foundation for using active capability as one of the core technologies forcooperative information systems.

  • 3.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Analyzing Course Configurations for Teaching Object-Oriented Modeling and Design2005Ingår i: IEEE Transactions on Education, ISSN 0018-9359, E-ISSN 1557-9638, Vol. 48, nr 2, s. 337-339Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper presents and analyzes an object-oriented analysis and design course that has been given in three different configurations for students who are already familiar with object-oriented programming. The results show that the course configurations have not had a major impact on the students' performances.

  • 4.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Management of Rules in Object-Oriented Databases1994Ingår i: Proceedings of the Baltic Workshop on National Infrastructure Databases: Problems, Methods and Experiences, 1994, Vol. 1, s. 78-85Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper proposes a new approach to associating rules with events in object-oriented database systems. In it we propose a new run time mechanism, which associates rules with specific event definitions. This provide a basis for indexing rules by event definitions, which reduces rule checking to a minimum. The proposed subscription mechanism is general, in that it can be applied to both primitive events and composite events. Both rules and events are represented as first class objects. This architecture has been adopted in the ACOOD2 prototype on top of ONTOS.

  • 5.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Reactive Object-Oriented Databases and CIM1994Ingår i: Database and Expert Systems Applications: 5th International Conference, DEXA '94 Athens, Greece, September 7–9, 1994 Proceedings / [ed] Dimitris Karagiannis, Berlin: Springer, 1994, , s. 10s. 769-778Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper propose a simple and powerful approach to associating rules with events in reactive object-oriented database systems. In it we propose a new run time subscription mechanism, which associates rules with specific event definitions. This brings optimization considerations - when to fire a rule - to the language level. The proposed subscription mechanism reduces rule checking to a minimum. It can be applied to both primitive and composite events. Both rules and events are represented as first class objects. This architecture has been adopted in the ACOOD2 prototype on top of ONTOS.

  • 6.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Admyre, Marco
    RuleCore, Sweden.
    Strand, Mattias
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    A Fleet Management System Based on Complex Event Processing2014Ingår i: DSS 2.0 – Supporting Decision Making with New Technologies / [ed] Gloria Phillips-Wren, Sven Carlsson, Ana Respício, Patrick Brézillon, IOS Press, 2014, s. 241-252Konferensbidrag (Refereegranskat)
  • 7.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Calestam, Bengt
    UNISYS AB, Solna, Sweden.
    Graphical notations for active rules in UML and UML-A2003Ingår i: Software Engineering Notes: an Informal Newsletter of The Specia, ISSN 0163-5948, E-ISSN 1943-5843, Vol. 28, nr 2, s. 1-6Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Active rules (i.e., event condition action rules, triggers) have been put forward as a technique for reacting to important events, and thereby avoiding polling or embedding rule processing in applications. Despite the promises of active rules technology, the usage of active rules is low in practice. It has often been claimed (by database researchers) that the reason why few active rules applications have been built is due to the lack of support in analysis and design phases. Hence, there are very few notations or guidelines available for software engineers who develop active rules applications.In this paper, we propose modelling templates for UML state-charts and UML-A statecharts for how software engineers can capture the fundamentals of active rules. By following the proposed modelling templates and notations for active rules, it will be easier for software engineers to develop applications that rely on active rules technology.

  • 8.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    University of Florida, Gainesville, USA.
    Lings, Brian
    University of Exeter, UK.
    Cooperative Problem Solving: A New Direction for Active Databases1996Ingår i: Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, 1996, s. 398-401Konferensbidrag (Refereegranskat)
  • 9.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    University of Florida, Gainsville, USA.
    Lings, Brian
    University of Exeter, UK.
    Extending Active Capability Mechanisms for Context Based Subscriptions1998Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Interest has increased recently in synthesizing solutions to CIS problems by using results from the database and distributed AI communities. Such synthesis is not without its difficulties; results do not always transfer seamlessly to a new, complex domain. In this paper we highlight the difficulties encountered in our attempts to use event detection and subscription mechanisms (proposed in current active databases) for the problem of efficient result sharing in CIS. A solution to such problems is described, in the form of a refined, context based subscription mechanism.

  • 10.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    University of Florida, Gainesville, United States.
    Lings, Brian
    University of Exeter, United Kingdom.
    Extending database support for coordination among agents1997Ingår i: International Journal of Cooperative Information Systems (IJCIS), E-ISSN 0218-8430, Vol. 6, nr 3-4, s. 315-339Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to do the same has been a problem - primarily addressed by the AI community and recently by the database community as workflow and process management problems (for example, in business processes, electronic commerce, logistics). Not surprisingly, the problem has been addressed at different levels of abstraction by the two communities. Coordination protocols as well as task and result sharing have been investigated by the AI community; specification of alternative transaction models to meet the requirements of non-traditional applications, and their execution have been addressed by the database community. It is evident that there is a need for bringing the two approaches together to develop systems that support cooperative problem solving. This paper - argues for the use of active databases in general and active capability in particular as an enabling technology for cooperative problem solving and cooperative information systems - details a novel approach for supporting task sharing, a key aspect of CPS, using active capability - elaborates on a methodology for mapping task shared protocols expressed in high level speech acts to Event Condition-Action (ECA) rules.

  • 11.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    University of Florida, Gainesville, USA.
    Lings, Brian
    University of Exeter, UK.
    Result Sharing Among Agents Using Reactive Rules1997Ingår i: Cooperative Information Agents: First International Workshop, CIA'97, Kiel, Germany, February 26-28, 1997, Proceedings / [ed] Peter Kandzia, Matthias Klusch, 1997, s. 126-137Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper critically analyse the use of active databases as an enabling technology for result sharing as defined in the DAI literature. In particular, we demostrate how ECA (Event-Condition-Action) rules can be used for supporting result shared cooperation. Further, we demonstrate how composite events as defined within active databases can help a problem solving agent to precisely specify when to take responsive action to multiple result notifications.

  • 12.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    University of Florida, Gainesville, USA.
    Lings, Brian
    University of Exeter, UK.
    Task Sharing Among Agents Using Reactive Rules1997Ingår i: Proceedings of CoopIS 97: 2nd IFCIS Conference on Cooperative Information Systems / [ed] Arbee L.P. Chen, Wolfgang Klas, Munindar P. Singh, IEEE Computer Society, 1997, s. 56-65Konferensbidrag (Refereegranskat)
    Abstract [en]

    Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to do the same has been a problem-primarily addressed by the AI community and recently by the database community as workflow and process management problems. Not surprisingly, the problem has been addressed at different levels of abstraction by the two communities. It is evident that there is a need for bringing the two approaches together to develop cooperative information systems. This paper argues for the use of active databases as an enabling technology for cooperative information systems, details a novel approach for supporting task sharing (a key cooperation strategy within cooperative information systems) using active capability, and elaborates on a methodology for mapping task-shared protocols expressed in high-level speech acts to event-condition-action rules.

  • 13.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarty, Sharma
    University of Florida, Gainsville, USA.
    Lings, Brian
    University of Exeter, UK.
    Coordination Among Agents Using Reactive Rules1996Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to do that same has been a problem -- primarily addressed by the AI community and recently by the database community as workflow and process management problems (e.g. in business processes, electronic commerce, logistics).

    Not surprisingly, the problem has been addressed at different levels of abstraction by the two communities. Coordination protocols (both static and dynamic) as well as task and result sharing have been investigated by the AI community; system level support as well as specification and execution of relaxed notions of transaction (sometimes termed an activity) have been addressed by the database community. It is evident that combining the two will provide an effective unified solution for a class of problems that require cooperation. This paper classifies problems addressed in the AI and database literature according to degree of coordination and collaboration. It reports on work done by the authors in utilising the reactive paradigm to synthesize, from the yechniques in these areas, a common framework for the support of multi-agent problem solving, workflow, and process management. In addition to resolving the terminology used by different groups, task sharing is used to demonstrate the approach described. It is accomplished by creating either static or dynamic plans that are coordinated by ECA rules -- both pre-defined and dynamically created. The paper details the applicability of ECA rules in this domain, their adequacy, and a prototype implementation.

  • 14.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Forsberg, Daniel
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Stein, Daniel
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Svahn, Thomas
    Advectas AB, Gothenburg, Sweden.
    Becoming a data-driven organisation2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    Organisations seeking competitive advantage in the age of big data often adopt the strategy of becoming data-driven. The paper describes research in progress with an organisation pursuing this strategy. Initial results from literature study and preliminary interviews are outlined, including a two layer factor model and prototype maturity model. The next research steps are also explained.

  • 15.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, J
    Department of Computer and Information Science, Linköping University.
    Olsson, Björn
    Högskolan i Skövde, Institutionen för datavetenskap.
    Lundell, Björn
    Högskolan i Skövde, Institutionen för datavetenskap.
    Planning and implementing your final year project - with success!: a guide for students in computer science and information systems2002Bok (Övrigt vetenskapligt)
  • 16.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, JörgenHögskolan i Skövde, Institutionen för datavetenskap.
    Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 19951996Proceedings (redaktörskap) (Refereegranskat)
  • 17.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för datavetenskap.
    Issues in Active Real-Time Databases1996Ingår i: Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995 / [ed] Mikael Berndtsson, Jörgen Hansson, London: Springer, 1996, s. 142-157Konferensbidrag (Refereegranskat)
    Abstract [en]

    Active databases and real-time databases have gained increased interest in recent. Both active and real-time databases are considered as important technologies for supporting non-traditional applications such as computer integrated manufacturing (CIM), process control and air-traffic control. These applications are often event driven and need to react to events in a timely and efficient manner. In this paper we address the problem of merging active databases and real-time databases. Active real-time database is a fairly new area, in which very little research has been carried out so far. However, the use of active real-time database applications has a great potential. In this paper we address several issues and open questions such as semantics, assignment of time constraints and rule selection, which need to be considered when designing active real-time databases.

  • 18.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för datavetenskap.
    Time is the Shadow of Reactive Behaviour2000Ingår i: Proceedings 2000 International Database Engineering and Applications Symposium / [ed] Bipin C. Desai, Yasuhi Kiyoki, Motomichi Toyama, Piscataway, NJ: IEEE, 2000, s. 417-423Konferensbidrag (Refereegranskat)
    Abstract [en]

    Applications that rely on coordination of messages are frequently based on multi-agent systems or workflow systems. Both implementation platforms use a rule engine for the coordination of messages. Currently, classical production rules are used within multi-agent systems, and workflow systems tend to rely on active database solutions (i.e. triggers). It has been envisioned that subsequent application generations are likely to require support for hundreds or even thousands of triggers. This is in contrast to the current state-of-the-art of implementations, which only scale to a few triggers. The paper outlines a vision where a scalable trigger system is the unifying concept between workflow and multi-agent approaches for applications that require coordination facilities. In particular, the paper defines scalability and performance within an active database context. The paper explores factors and situations that influence active database performance. Finally, the paper explores promising directions for how to move the state-of-the-art to trigger systems that scale to many triggers.

  • 19.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för datavetenskap.
    Workshop Report: The First International Workshop on Active and Real-Time Database Systems (ARTDB-95)1996Ingår i: SIGMOD record, ISSN 0163-5808, E-ISSN 1943-5835, Vol. 25, nr 1, s. 64-66Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This report is a summary of the First International Workshop on Active and Real-Time Database Systems (ARTDB-95) [1], held at the University of Skövde in June 1995. The workshop brought together researchers and practitioners from both the active database community and the real-time database community. The major aims of ARTDB-95 were to identify motivations, problems and requirements when combining active and real-time capabilities.

  • 20.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Hansson, Jörgen
    Software Engineering Institute, Carnegie Mellon University, Pittsburgh , PA, USA.
    Olsson, Björn
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Lundell, Björn
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Thesis projects: A guide for students in computer science and information systems2008 (uppl. 2)Bok (Övrigt vetenskapligt)
  • 21.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Lennerholt, Christian
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Larsson, Peter
    Advectas AB, Sweden.
    Svahn, Thomas
    Advectas AB, Sweden.
    A Blueprint for Training Future Users of Self-Service Business Intelligence2019Ingår i: Business Intelligence Journal, ISSN 1547-2825, Vol. 24, nr 1, s. 30-38Artikel i tidskrift (Refereegranskat)
  • 22.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Lings, Brian
    University of Exeter, UK.
    Logical Events and ECA Rules1995Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper presents an approach to support event-condition-action rules and logical events in an object-oriented environment. Previous approaches in active object-oriented databases support either traditional event-condition-action rules or logical events. We see the need to integrate these two concepts in order to efficiently support specialization of events.

  • 23.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för data- och systemvetenskap.
    Lings, Brian
    University of Exeter, UK.
    On Developing Reactive Object-Oriented Databases1992Ingår i: IEEE Data Engineering Bulletin, Vol. 15, nr 1-4, s. 31-34Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper outlines the ongoing work in Reactive Object-oriented Database Systems between the Departments of Computer Science in the University of Exeter(UK) and the University of Skovde(Sweden). The group is currently designing a monitoring system based on a reactive object oriented database with the objective of supporting efficient interaction between the active DBMS and applications (including intelligent systems). Initial work has centered on a prototype reactive object-oriented system built on top of ONTOS, a commercial OODBMS which has C++ as its base language. The prototype is referred to as ACOOD (ACtive Object Oriented Database system). We briefly discuss this prototype, showing how reactive behaviour has been incorporated into a full OODBMS albeit with some restrictions. We also outline our plans for its future extensions, and how these are motivated.

  • 24.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Lings, Brian
    University of Exeter, UK.
    Foster, Lou
    Valparaiso University, USA.
    Systematic Treatment of Events and Rules1995Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Current prototype Active Object-Oriented database systems introduce powerful event and rule specification languages. We contend that this is not in general done in a uniform and integral manner. We present a modified design for an ACtive Object-Oriented DBMS (ACOOD) currently under development at the University of Skovde. The design emphasises the key concepts being investigated, namely Events and Rules as 1st Class (ER1C). It is important because it addresses the key issue of inheritance, something not prominent in current prototype systems with a fully developed event specification system. Key features in the design are that it has a unifying concept of primitive event and of behaviour, and achieves uniformity and power with respect to inheritance. It further relates this to event specification languages for composite events, guaranteeing orthogonality of features. The paper emphasises modeling concepts, and the design is therefore of relevance to all active, object-oriented database systems. It seeks to explore the wider implications and underpinnings of current active O-O suggestions rather than enriching event and/or rule specification languages.

  • 25.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database, Active Database (Management) System2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 27-28Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 26.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Coupling Modes2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 33-35Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 27.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Execution Model2009Ingår i: Encyclopediia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 35-36Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 28.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Knowledge Model2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 36-37Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 29.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Database Trigger2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 738-738Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 30.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    ECA Rules2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 959-960Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 31.
    Berndtsson, Mikael
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för datavetenskap.
    Högberg, Urban
    EDS Sweden AB, Trollhättan.
    Visualization of the Composite Event Detection Process1999Ingår i: Proceedings User Interfaces to Data Intensive Systems / [ed] Norman W. Paton, Tony Griffiths, 1999, s. 118-127Konferensbidrag (Refereegranskat)
    Abstract [en]

    Active database rules are problematic to explain, understand, debug, and design irrespective of knowledge about active rule semantics. In order to address this problem, various types of active database tools have been proposed in the literature such as browsers, debuggers, analyzers, and explanation tools.This paper focuses on visualization of event detection for an explanation tool and it presents the first study on what to visualize with respect to event detection at the lowest level (i.e. visualization of event detection for a specific event type).

  • 32.
    Engström, Henrik
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Lings, Brian
    Högskolan i Skövde, Institutionen för datavetenskap.
    ACOOD Essentials1997Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper describes the active object-oriented database system ACOOD developed at the universities of Skövde and Exeter. ACOOD adds active functionality on top of the commercially available Ontos DB. The active behaviour is modelled by using Event-Condition-Action (ECA) rules. ACOOD offers all essential functionality associated with an active database. The semantics and user interface have been clearly defined in order to produce a prototype that can be used to develop database applications. The historical background of active databases and the development of ACOOD are covered in the paper together with a detailed description of the latest, redesigned version of the system. There is also a discussion of experience gained through the work with ACOOD and a comparison with similar systems.

  • 33.
    Ericsson, Ann-Marie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata2006Ingår i: the First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS 06: IEEE Services Computing Workshops (SCW'06), IEEE conference proceedings, 2006, s. 39-50Konferensbidrag (Refereegranskat)
    Abstract [en]

    Many applications need to detect and respond to occurring events and combine these event occurrences into new events with a higher level of abstraction. Specifying how events can be combined is often supported by design tools specific to the current event processing engine. However, the issue of ensuring that the combinations of events provide the system with the correct combination of information is often left to the developer to analyze. We argue that analyzing correctness of event composition is a complex task that needs tool support. In this paper we present a novel development tool for specifying composition of events with time constraints. One key feature of our tool is to automatically transform composite events for real-time systems into a timed automaton representation. The timed automaton representation allow us to check for design errors, for example, whether the outcome of combining events with different operators in different consumption policies is consistent with the requirement specification

  • 34.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    REX, the Rule and Event eXplorer2007Ingår i: the 2007 inaugural international conference on Distributed event-based systems, ACM Press, 2007, s. 71-74Konferensbidrag (Refereegranskat)
    Abstract [en]

    Complex Event Processing (CEP) is a technology with support for matching patterns in a cloud or streams of events in order to support detection of specific combinations of event occurrences. A clever specification of event patterns may, for example, detect fraud attempts in a banking system, fire an alarm in response to hazardous situations in a control system or report suspicious customer behavior.

    Several CEP engines have support for graphically modelling applications as well as perform tests and provide execution traces to verify the application behavior. We argue that it is beneficial to complement testing with formal verification in order to detect errors in early stages of development.

    In this paper, we present the research prototype tool REX. REX is built as a loosely coupled front end to the timed-automata CASE tool UPPAAL. CEP applications and application specific properties can be specified in REX. To support formal verification, REX seamlessly transforms the CEP application together with the specified properties to the timed automata CASE tool UPPAAL where the properties are verified by the model-checker provided by UPPAAL.

  • 35.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Rulebase2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 37-37Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 36.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Composite Event2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 418-419Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 37.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Mellin, Jonas
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Event in Active Databases2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 1044-1045Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 38.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Pettersson, Paul
    School of Innovation, Design and Engineering, Mälardalen University.
    Pettersson, Lena
    Volvo Information Technology, Skövde.
    Verification of an industrial rule-based manufacturing system using REX2008Ingår i: Proceedings of the 1st iCEP08 Workshop onComplex Event Processing for the Future Internet Vienna, Austria, September 28th, 2008 / [ed] Darko Anicic, Christian Brelage, Opher Etzion, Nenad Stojanovic, CEUR-WS.org , 2008, s. 1-10, artikel-id 2Konferensbidrag (Refereegranskat)
    Abstract [en]

    Formal methods are not used in their full potential for enhancing software quality in industry. We argue that seamless support in a high-level specification tool is a viable way to provide system designers with powerful and paradigm specific formal verification techniques. Event condition action (ECA) rules can be used to model and implement reactive behavior in, for example, the semantic web. Independently of target system, the behavior of rule-based systems are known to be hard to analyze. The REX tool is a rule-based front-end to the timed automata CASE-tool Uppaal. The model-checker in Uppaal is used by REX enabling seamless support for model-checking rule-based specifications in REX.

    This paper presents experiences from modeling and verifying a system of industrial complexity as interacting rules using EX. We conclude that repeatedly performing normal analysis when constructing a system with interacting rules is a viable way of coping with the complexity of the model. Additionally, we present an implemented algorithm for optimizing the model to reduce the effect of state-space explosion.

  • 39.
    Ericsson, AnnMarie
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Pettersson, Paul
    Department of Computer Science and Electronics Mälardalen University.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Seirio, Marco
    RuleCore, Sweden.
    Seamless Formal Verification of Complex Event Processing Applications2007Ingår i: the 2007 inaugural international conference on Distributed event-based systems, ACM Press, 2007, s. 50-61Konferensbidrag (Refereegranskat)
    Abstract [en]

    Despite proven successful in previous projects, the use of formal methods for enhancing quality of software is still not used in its full potential in industry. We argue that seamless support for formal verification in a high-level specification tool enhances the attractiveness of using a formal approach for increasing software quality.

    Commercial Complex Event Processing (CEP) engines often have support for modelling, debugging and testing CEP applications. However, the possibility of utilizing formal analysis is not considered.

    We argue that using a formal approach for verifying a CEP system can be performed without expertise in formal methods. In this paper, a prototype tool REX is presented with support for specifying both CEP systems and correctness properties of the same application in a high-level graphical language. The specified CEP applications are seamlessly transformed into a timed automata representation together with the high-level properties for automatic verification in the model-checker UPPAAL.

  • 40.
    Geppert, Andreas
    et al.
    University of Zurich, Switzerland.
    Berndtsson, MikaelHögskolan i Skövde, Institutionen för datavetenskap.
    Rules in Database Systems: Third International Workshop, RIDS '97 Skövde, Sweden, June 26–28, 1997 Proceedings1997Proceedings (redaktörskap) (Refereegranskat)
  • 41.
    Geppert, Andreas
    et al.
    University of Zurich, Switzerland.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    The Third International Workshop on Rules in Database Systems (RIDS'97)1998Ingår i: Knowledge engineering review (Print), ISSN 0269-8889, E-ISSN 1469-8005, Vol. 13, nr 2, s. 195-199Artikel i tidskrift (Refereegranskat)
  • 42.
    Geppert, Andreas
    et al.
    University of Zurich, Switzerland.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Lieuwen, Daniel
    Bell Laboratories, Murray Hill, NJ, USA.
    Roncancio, Claudia
    University of Grenoble, France.
    Performance evaluation of object‐oriented active database systems using the BEAST benchmark1998Ingår i: Theory and Practice of Object Systems, ISSN 1074-3227, E-ISSN 1096-9942, Vol. 4, nr 3, s. 135-149Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper uses the BEAST benchmark to present the first comprehensive performance study of object‐oriented active database management systems (ADBMS). BEAST stresses the performance‐critical components of active systems: event detection, event composition, rule retrieval, and rule firing. Method invocation events and transactional events are taken into account. Four systems, namely ACOOD, NAOS, Ode, and SAMOS, have been tested with the benchmark tests of BEAST. The performance measurements demonstrate achievements in the area of active database technology, but also indicate trade‐offs (e.g., between performance and functionality). Finally, the benchmark identifies optimizations and provides hints to ADBMS designers about producing systems with adequate performance and functionality—as well as some open issues.

  • 43.
    Grigoris, Antoniou
    et al.
    Institute of Computer Science, FORTH, Heraklion, Greece.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Spreeuwenberg, Silvie
    LibRT, Amsterdam, The Netherlands.
    Taveter, Kuldar
    VTT Information Technology, Finland.
    Wagner, Gerd
    Faculty of Technology Management, Eindhoven University of Technology, The Netherlands.
    Elements of a First Visual Rule Language for the Semantic Web2004Ingår i: AIS SIGSEMIS Bulletin, ISSN 1556-2301, Vol. 1, nr 3, s. 40-42Artikel i tidskrift (Övrigt vetenskapligt)
  • 44.
    Gudfinnsson, Kristens
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Strand, Mattias
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Taking Advantage of Business Intelligence in a Complex-Systems Environment2014Ingår i: DSS 2.0 – Supporting Decision Making with New Technologies / [ed] Gloria Phillips-Wren, Sven Carlsson, Ana Respício & Patrick Brézillon, IOS Press, 2014, s. 265-276Konferensbidrag (Refereegranskat)
    Abstract [en]

    Business intelligence (BI) has fundamentally changed how many companies conduct their business. In literature, focus has been on volume-operation companies that provide services to millions of customers. In contrast, complex-systems companies have fewer customers and pursue customer needs by providing more customized products and services. This paper presents the results at a case of a complex-systems company with the overall aim to see how a complex-systems company has taken advantage of BI. In addition, a framework was used to measure the BI maturity of the company. Literature also emphasis that complex-system companies may benefit from adopting BI applications from volume-operations companies, but the results indicate that there may be a difference in the importance of BI tools, which in turn may negatively influence such cross-category adoptions.

  • 45.
    Gudfinnsson, Kristens
    et al.
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Strand, Mattias
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Berndtsson, Mikael
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Analyzing Business Intelligence Maturity2015Ingår i: Journal of Decision Systems, ISSN 1246-0125, E-ISSN 2116-7052, Vol. 24, nr 1, s. 37-54Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Business intelligence has fundamentally changed how companiesconduct their business. In literature, the focus has been on volume-operationcompanies that provide services to millions of customers. In contrast, complexsystemscompanies have fewer customers and pursue customer needs byproviding more customized products and services. This paper presents the resultsof a case study conducted at a complex-systems company, with the overall aim toidentify how complex-systems companies may take advantage of businessintelligence. A framework was used to measure business intelligence maturity ofthe company. In addition, we also explain the current maturity level of the casecompany,based on critical factors for success adopted from the literature. Indoing so, we also contribute on important details regarding factors that must beconsidered by organizations, in order to leverage their analytical capability.Finally, we also propose topics that need to be further investigated, in order toincrease current knowledge regarding BI usage and maturity in complex-systemscompanies.

  • 46.
    Hagen, Ivar
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    Computer and Information Science and Engineering Department, University of Florida, Gainesville, USA.
    Lings, Brian
    Department of Computer Science, University of Exeter, UK.
    Challenges for ECA Rule Designers when Implementing Coordination Protocols1998Rapport (Övrigt vetenskapligt)
    Abstract [en]

    In this paper we present lessons learned from an implementation of a task shared cooperation protocol using event-condition-action (ECA) rules in the active database ACOOD. In particular we present details of challenges for ECA rule designers when supporting advanced forms of coordination protocols.

  • 47.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Active Database Management System Architecture2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 28-33Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 48.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Atomic Event2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 143-143Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 49.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    ECA Rule Action2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 959-959Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 50.
    Mellin, Jonas
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Berndtsson, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    ECA Rule Condition2009Ingår i: Encyclopedia of Database Systems / [ed] Ling Liu, M. Tamer Özsu, Springer Science+Business Media B.V., 2009, s. 959-959Kapitel i bok, del av antologi (Övrigt vetenskapligt)
12 1 - 50 av 58
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf