Enterprise Modelling and Information Systems Architectures (EMISAJ)
Enterprise Modelling and Information Systems Architectures – International Journal of Conceptual Modeling (EMISAJ) is a scholarly peer-reviewed open access journal with a unique focus on novel and innovative conceptual modelling and enterprise modelling research and its applications.
Editorial Statement:
‘Enterprise Models and Information Systems Architectures should be researched from different perspectives, angles, and backgrounds, with a multitude of theoretical and practical lenses and mindsets. We welcome and encourage a broad understanding of Enterprise Modelling research and intend to further its many different facets, theoretical foundation and experiential body of knowledge.’
Auflistung nach:
Auflistung Enterprise Modelling and Information Systems Architectures (EMISAJ) nach Erscheinungsdatum
1 - 10 von 163
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelOn the semantics of EPCs - Efficient calculation and simulation(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Cuntz, Nicolas; Kindler, EkkartOne of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics, which results in some difficulties when formalising their semantics. Recently, we have overcome these problems by using techniques from fixed-point theory for defining the semantics of an EPC, which consists of a pair of related transition relations. This fixed-point characterisation of the semantics of EPCs provides a mathematical characterisation of the semantics of EPCs only. For simulating an EPC based on this semantics, we need an efficient way for calculating the corresponding pair of transition relations. A naive implementation of the underlying fixed-point iteration for calculating the transition relations results in a practically useless algorithm. In this paper, we show how to calculate the semantics of an EPC in a more efficient way by employing different techniques and optimisations from symbolic model checking. We also analysed all kinds of simplifications of EPCs to make the calculation of the semantics more efficient, but it turned out that most of these techniques are ineffective. Still, our algorithms are fast enough for simulating practical size EPCs. In order to demonstrate the efficiency of our algorithms and data structures, we have started an open source project called EPC Tools, which could be a good starting point for an open source tool for the EPC community.
- ZeitschriftenartikelEditorial(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Frank, Ulrich
- ZeitschriftenartikelConference Reports(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Frank, Ulrich; Mendling, Jan; Nüttgens, Markus
- ZeitschriftenartikelWhat is Needed in a MetaCASE Environment?(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Kelly, Steven; Rossi, Matti; Tolvanen, Juha-PekkaIn this paper we look at ways of effectively implementing software development environments through metaCASE tools. MetaCASE tools offer fast and economical means of supporting tailored or homegrown systems development methods, yet they have not been taken into use widely due to their perceived complexity and the lack of development process maturity in most organisations. We offer a list of generic requirements for these tools and demonstrate their use through evaluating the MetaEdit+ tool against these requirements. The requirements are gathered from existing literature on method engineering.
- ZeitschriftenartikelCollaborative Modelling and Metamodelling with the Enterprise Knowledge Architecture(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Lillehagen, Frank; Karlsen, DagThis paper presents the Modelling Platform for Collaborative Enterprises (MPCE) currently being developed in the ATHENA project. The platform enables interoperability between enterprises by providing an environment where most aspects of the collaboration can be negotiated and described as enterprise models and metamodels. It also facilitates business interaction by executing the models. We here introduce the metamodelling framework of the MPCE, known as the Enterprise Knowledge Architecture (EKA). The EKA can represent models on any metalevel in a uniform way. It departs from the conventional ordered meta-levels of software engineering. Instead it treats models as a constellation of mutually reflective, partial views, e.g. different views from different companies. Currently five tools are exchanging models through this framework, and we plan to submit it for standardization.
- ZeitschriftenartikelYet Another Event-driven Process Chain - Modelling Workflow Patterns with yEPCs(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Mendling, Jan; Neumann, Gustaf; Nüttgens, MarkusThe 20 workflow patterns proposed by van der Aalst et al. provide a comprehensive benchmark for comparing process modelling languages. In this article, we discuss workflow pattern support of Event-Driven Process Chains (EPCs). Building on this analysis, we propose three extensions to EPCs in order to provide for workflow pattern support. These are the introduction of the so-called empty connector; inclusion of multiple instantiation concepts; and a cancellation construct. As both the latter are inspired by YAWL, we refer to this new class of EPCs as Yet Another Event-driven Process Chain (yEPC). Furthermore, we sketch how a transformation to YAWL can be used to specify the semantics of yEPCs.
- ZeitschriftenartikelModel-driven Development of Web Service Transactions(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 1, Nr. 1, 2005) Schmit, Benjamin A.; Dustdar, SchahramComposite Web service design using model-driven approaches has been in use for several years now, but the modelling of transactional properties is still uncommon and has not yet been subject to much research. For a distributed system of autonomous components like Web services, especially when they are used for implementing business processes, transactional guarantees can be of vital importance. In this paper, we propose a model-driven approach which introduces a separate design layer dedicated to transactions. We show that our systematic modelling approach is able to introduce transactions in the design without increasing the complexity of the basic UML diagram. Our approach can also be reused to specify other properties of Web services such as security requirements or workflows in additional layers.
- ZeitschriftenartikelEditorial(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 2, Nr. 1, 2007) Frank, Ulrich
- ZeitschriftenartikelObject Dynamics Formalization Using Object Flows within UML State Machines(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 2, Nr. 1, 2007) Boubana-Tebibel, ThourayaUML, the de-facto standard for object-oriented modeling, currently still lacks a rigorously defined semantics for its models. This makes formal analysis and verification of model properties extremely difficult. OCL, the Object Constraint Language is part of UML for the expression of system properties. To validate formally these properties, we first present a technique for transforming a UML object life cycle model into Object Petri nets. We are especially interested in the modeling of communicating systems and for this purpose we use the state machines as models of the object behaviour. Secondly, we resort to the object and sequence diagrams which provide respectively identified objects and events for initializing the Petri nets derived from the state machines. Thirdly, validation of OCL invariants which are translated into temporal logic properties to be checked on the Petri nets derived from the UML models, requires integration of object flows within the state machines. These object flows express the dynamic creation and deletion of objects in the class association ends. Our interest in the association ends is motivated by the fact that they constitute the most important constructs of OCL expressions. A case study is provided throughout the paper to illustrate the methodology.
- ZeitschriftenartikelOpen Reference Models - Community-driven Collaboration to Promote Development and Dissemination of Reference Models(Enterprise Modelling and Information Systems Architectures - An International Journal: Vol. 2, Nr. 2, 2007) Frank, Ulrich; Strecker, StefanReference models constitute a reification of a promising vision: Higher quality of information systems at less cost through reuse of confirmed domain knowledge and systems design. Paradoxically, however, development and, in particular, reuse of reference models has been rather limited both in practice and academia. In this paper, we develop the notion of open reference models based on analogies to free and open source software development. We show how “openness” of reference models affects their development and use, and outline strategic options for a first open reference modelling initiative. Our findings suggest that community-driven collaborative modelling projects resolve the current paradox of reference model research and practice. Earlier versions appeared as [FrSK07a] and [FrSK07b]. Preliminary considerations are provided in [KoSF06].