Umeå University's logo

umu.sePublications
Change search
Refine search result
1 - 6 of 6
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Eklund, Patrik
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Johansson, Mats
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Karlsson, Johan
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Åström, Rickard
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    BPMN and its semantics for information management in emergency care2009In: ICCIT '09. Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009, IEEE Computer Society, 2009, p. 273-278Conference paper (Refereed)
    Abstract [en]

    Emergency and crisis response such as appearing in large traffic accident management involves coordination of emergency and rescue services and police. The management of information is a complex task where decision support on site and distance management requires a well-founded understanding of the underlying processes. The Business Process Modeling Notation (BPMN) is used for encoding processes related to emergency medical services. BPMN is basically a syntax where the semantic part is left to be specified by the applications. Our approach to semantics is drawn from categorical approaches to representing signatures and generalized terms. In particular, monads over Set, the category of sets, composed with the term monad (over Set) turn out to be useful for modeling uncertainties both with respect to representation of observations as well as time. BPMN Flow Objects, Connecting Objects as well as Artifacts are represented as suitable morphisms in the underlying categories enabled by the monadic instrumentation.

  • 2.
    Eklund, Patrik
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Johansson, Mats
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Kortelainen, Jari
    South-Eastern Finland University of Applied Sciences, Finland.
    Salminen, Vesa
    Häme University of Applied Sciences, Finland.
    The logic of DSM2017In: Understand, Innovate, and Manage your Complex System!: Proceedings of the 19th International DSM Conference / [ed] Katja Hölttä-Otto; Tyson R. Browning; Steven D. Eppinger; Lucía Becerril, 2017, p. 25-31Conference paper (Refereed)
    Abstract [en]

    In this paper we propose a logical enrichment DSM so that design structure is described in a logical language rather than as an unstructured relation. We further show how DSM potentially can embrace languages and notations that support modelling of information and process.

  • 3.
    Eklund, Patrik
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Johansson, Mats
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Löfstrand, Magnus
    Örebro universitet.
    Winter, Michael
    Brock University.
    Many-Valued and Many-Sorted Structure Relations2019In: DS 97: Proceedings of the 21st International DSM Conference (DSM 2019), Monterey, California, September 23rd - 25th 2019 / [ed] Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jintin Tran; Paulo Montijo, München: The Design Society , 2019, Vol. 97, p. 141-150Conference paper (Refereed)
    Abstract [en]

    System-of-systems engineering and related models of engineering design require intertwining of structures, respectively, at least for components in products, engineering and business activities, and people involved in those activities as also specifically connected with production and its management. In this paper we describe the logical machinery of system-of-systems engineering and related models of engineering design in sufficient so as to enable to describe the algebraic foundation of the many-valued logic that is inherent in these systems and structures. We are thus essentially unravelling the hidden and underlying logic of these systems and their related information and process structures, focusing on interaction between elements of the system.

  • 4.
    Johansson, Mats
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Eklund, Patrik
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    A Digital Twin for Risk Modeling and Decision-Support in a Smart Energy Grid2020In: DS 103: Proceedings of the 22nd International DSM Conference (DSM 2020), MIT, Cambridge, Massachusetts, October 13th - 15th 2020 / [ed] Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jakob Trauer, München: The Design Society , 2020, Vol. 103, p. 135-143Conference paper (Refereed)
    Abstract [en]

     In this paper we use electrical grids and the energy market as a system-ofsystems example including both digital twins simulating physical systems as well as energy distribution and the market constrained by laws and regulations. We show how activity processes and design structures can be viewed as having a common qualification modeling framework based on lattice-valuations. BPMN  networks to are shown to resemblance DSM structures.

  • 5.
    Johansson, Mats
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Eklund, Patrik
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Kortelainen, Jari
    South-Eastern Finland University of Applied Sciences, Mikkeli, Finland.
    Winter, Michael
    Brock University, Department of Computer Science, St. Catharines, Ontario, Canada .
    The Algebra, Logic and Topology of System-of-Systems2018In: Proceedings of the 20th International Dependency and Structure Modeling (DSM) Conference: Trieste (Italy), 15 – 17 October 2018 / [ed] Carlo Leardi, Tyson R. Browning, Steven D. Eppinger, Lucía Becerril, DSM , 2018, Vol. 20, p. 195-202Conference paper (Refereed)
    Abstract [en]

    In this paper we propose an information structure enrichment of relational models underlying design structure models typically used in System-ofSystems. Such design structures are algebraically, logically and topologically mostly unstructured relations as treated within naïve set theory. The paper also aims to show how an enriched information structure can be applied to monitor the health status of a System-of-System as an alternative to fault trees.

    Download full text (pdf)
    fulltext
  • 6. Kristensen, Ingrid
    et al.
    Johansson, Mats
    Umeå University, Faculty of Science and Technology, Departement of Computing Science.
    Lindh, Jack
    Umeå University, Faculty of Medicine, Radiation Sciences, Oncology. Onkologi.
    Nilsson, Per
    Karlsson, Mikael
    Umeå University, Faculty of Medicine, Radiation Sciences, Radiation Physics. Radiofysik.
    Barnradioterapi på distans2006In: Läkartidningen, Vol. 103, no 15-16, p. 1188-1190Article in journal (Refereed)
1 - 6 of 6
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf