Publications
List of Publications
Business Informatics Group, TU Wien
Kaufmann, P., Seidl, M., Wimmer, M., & Kappel, G. (2012). Conflict Visualization for Evolving UML Models. The Journal of Object Technology, 11(3), 2:1. https://doi.org/10.5381/jot.2012.11.3.a2
UML@Classroom - Eine Einführung in die objektorientierte Modellierung
Martina SeidlKeywords:
Astract: Wozu UML @ Classroom?
. Für erste Einblicke in die Grundlagen der objektorientierten Modellierung.
. Für einen raschen und erfolgreichen Einstieg in die Welt der UML.
. Für einen verständlichen Überblick über die Konzepte von UML.
. Für ein effektives und effizientes Erlernen der grafischen Notation und Regeln von UML.
. Für das Kennenlernen der wichtigsten UMLDiagramme: Anwendungsfalldiagramm,
Klassendiagramm, Zustandsdiagramm, Sequenzdiagramm und Aktivitätsdiagramm.
. Für ein besseres Verständnis des Zusammenspiels der verschiedenen Diagramme.
Profitieren Sie von jahrelanger Erfahrung mit der UML in Lehre und Forschung!
Seidl, M., Scholz, M., Huemer, C., & Kappel, G. (2012). UML@Classroom - Eine Einführung in die objektorientierte Modellierung. dpunkt.verlag. http://hdl.handle.net/20.500.12708/23526
Model Transformation By-Example: A Survey of the First Wave
Philip Langer
Werner Retschitzegger
Wieland Schwinger
Manuel WimmerKeywords:
Astract: Model-Driven Engineering (MDE) places models as first-class artifacts throughout the software lifecycle. In this context, model transformations are crucial for the success of MDE, being comparable in role and importance to compilers for high-level programming languages. Thus, several model transformation approaches have been developed in the last decade, whereby originally most of them are based on the abstract syntax of modeling languages. However, this implementation specific focus makes it difficult for modelers to develop model transformations, because they are familiar with the concrete syntax but not with its computer internal representation.
To tackle this problem, model transformation by-example approaches have been proposed which follow the same fundamental idea as query by-example and programming by-example approaches. Instead of using the computer internal representation of models, examples represented in concrete syntax are used to define transformations. Because different transformation scenarios occur in MDE, different by-example approaches have been developed. This chapter gives an overview on the emerging concepts, techniques, and approaches in this young by-example area.
Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., & Wimmer, M. (2012). Model Transformation By-Example: A Survey of the First Wave. In A. Düsterhöft, M. Klettke, & K.-D. Schewe (Eds.), Conceptual Modelling and Its Theoretical Foundations (pp. 197–215). Springer LNCS. https://doi.org/10.1007/978-3-642-28279-9_15
Inter-organizational Reference Models – May Inter-organizational Systems Profit from Reference Modeling?
Birgit Hofreiter
Dieter Mayrhofer
Jan vom BrockeKeywords:
Astract: Inter-organizational systems span from business models over business process models to their execution on top of a service-oriented architecture. In our project BSopt we have developed an integrated model-driven approach that addresses the different layers and builds up-on well-estabilshed languages on each of these layers. When applying our integrated methodology we recognized that models for the same business case are similar, but still varying for different business partner networks. Accordingly, a systematic approach to derive a model from another model, i.e., from a reference model, is needed. Significant achievements have been made by the reference modeling community in finding ways to leverage the potentials of model reuse in business process modeling. In this paper we outline the potentials of adapting design techniques known from reference modeling to the specific needs of inter-organizational system develpment even if we do not provide a solution yet.
Hofreiter, B., Huemer, C., Kappel, G., Mayrhofer, D., & vom Brocke, J. (2012). Inter-organizational Reference Models – May Inter-organizational Systems Profit from Reference Modeling? In C. Ardagna, E. Damiani, L. Maciaszek, M. Missikoff, & M. Parkin (Eds.), Business System Management and Engineering (pp. 32–47). Springer LNCS 7350. https://doi.org/10.1007/978-3-642-32439-0_3
Validation of Business Document Types based on Feature Models
Christian Pichler
Robert EngelKeywords:
Astract: The United Nations Centre for Trade Facilitation and eBusiness (UN/CEFACT) provides the Core Components approach for defining standard business document types based on all-embracing, reusable building blocks. For utilizing standard business document types in concrete business scenarios, these standard business document types need customizing resulting in business document type variants. However, the current approach is missing sufficient mechanisms for managing the resulting variants. First, customizing standard business document types is currently based on a textual specification only. Hence, variability within business document types is missing an explicit representation. Second, supporting the process of customizing standard business document types requires dedicated tool-support. In this paper, we formalize variability within the Core Components approach by adopting concepts from variability management and introduce a declarative approach based on variability models for validating the process of business document type customization. Furthermore, we present an evaluation of the approach proposed by means of a feasibility study. The approach provides a generic method for validating customized standard business document types.
Pichler, C., Engel, R., & Huemer, C. (2012). Validation of Business Document Types based on Feature Models. In Proceedings of the Sixth International Workshop on Variability Modeling and Software-intensive Systems (pp. 1–10). http://hdl.handle.net/20.500.12708/53827
Keywords:
Astract: The most prominent business ontology for accounting information systems is the Resource-Event-Agent (REA) ontology developed by McCarthy, Geerts and others. REA is a widely accepted framework for the design of a conceptual model of the accountability infrastructure of enterprise information systems. Originally, REA targeted the resource flows within and between companies describing what is currently occurring and what has occurred in the past. This is known as the operational layer. Later it was extended by a planning layer and a policy layer capturing what should, could, or must be occurring sometime in the future. Today, REA may be considered as a powerful business ontology capturing all relevant data to generate the conceptual design of an Accounting Information System (AIS). However, we feel that it does not deliver an appropriate representation of the business model which can be understood not only by the IT expert, but also by the business expert. Thus, the use of REA in the design of AIS does not yet reach its full potential. We argue, that an easy-to-understand REA notation will accelerate, streamline, and reduce the costs of the AIS development process.
Consequently, we have developed a domain specific modeling language for the REA concepts called the REA-DSL which aims at both (i) delivering an intuitive REA notation and (ii) retaining the full expressiveness of the REA concepts. The step we are conducting right now and covering in this paper is the incorporation of properties and primary keys into our REA-DSL and the final automatic generation of an Entity-Relationship-Diagram (ERD) for an AIS from the REA-DSL using our tool.
Mayrhofer, D., & Huemer, C. (2012). Business-Model-Driven Data Engineering Using the REA-DSL. In 6th International Workshop on Value Modeling and Business Ontology (VMBO 2012). 6th International Workshop on Value Modeling and Business Ontology (VMBO 2012), Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/54116
Keywords:
Astract: The Resource-Event-Agent (REA) ontology is a powerful and well accepted approach towards the design of accounting information systems (AIS). However, the REA notation - that is currently based on class diagrams - is not very intuitive for business experts. Accordingly, we aim at a REA domain specific modeling language that facilitates the communication between business experts and IT professionals. In previous work we defined the REA-DSL operational layer reflecting actual business events which "have occurred" or "are occurring". In this paper we extend the REA-DSL by the planning layer capturing what future events "are scheduled" or "are planned" by commitments. Now, our REA-DSL covers all basic concepts to describe a full accounting infrastructure. The REA-DSL may serve as a solid basis for generating a conceptual AIS data model - which is subject to future work.
Mayrhofer, D., & Huemer, C. (2012). Extending the REA-DSL by the Planning Layer of the REA Ontology. In Proceedings of the 7th International Workshop on Business/IT Alignment and Interoperability (BUSITAL 2012) held in conjunction with the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) (pp. 543–554). Springer. http://hdl.handle.net/20.500.12708/54125
Towards Semantics-Aware Merge Support in Optimistic Model Versioning
Petra Kaufmann
Uwe Egly
Sebastian Gabmeyer
Martina Seidl
Hans Tompits
Magdalena Widl
Manuel WimmerKeywords:
Astract: Current optimistic model versioning systems, which are indispensable to coordinate the collaboration within teams, are able to detect several kinds of conflicts between two concurrently modified versions of one model. These systems support the detection of syntactical problems such as contradicting changes, violations of the underlying metamodel, and violations of OCL constraints. However, violations of the models' semantics remain unreported. In this paper, we suggest to use redundant information inherent in multi-view models to check if the semantics is violated during the merge process. In particular, we exploit the information encoded in state machine diagrams to validate evolving sequence diagrams by means of the model checker SPIN.
Kaufmann, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., & Wimmer, M. (2012). Towards Semantics-Aware Merge Support in Optimistic Model Versioning. In Models in Software Engineering (pp. 246–256). Springer LNCS. https://doi.org/10.1007/978-3-642-29645-1_24
Fact or Fiction - Reuse in Rule-Based Model-to-Model Transformation Languages
Manuel Wimmer
Angelika Kusel
Werner Retschitzegger
Johannes Schönböck
Wieland Schwinger
Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., & Schwinger, W. (2012). Fact or Fiction - Reuse in Rule-Based Model-to-Model Transformation Languages. In Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT 2012) (pp. 280–295). Springer. http://hdl.handle.net/20.500.12708/54139
An Introduction to Model Versioning
Petra Kaufmann
Philip Langer
Martina Seidl
Konrad Wieland
Manuel WimmerKeywords:
Astract: With the emergence of model-driven engineering (MDE), software models are considered as central artifacts in the software engineering process, going beyond their traditional use as sketches. In MDE, models rather act as the single source of information for automatically generating executable software. This shift poses several new research challenges. One of these challenges constitutes model versioning, which targets at enabling efficient team-based development of models. This compelling challenge induced a very active research community, who yielded remarkable methods and techniques ranging from model differencing to merging of models.
In this tutorial, we give an introduction to the foundations of model versioning, the underlying technologies for processing models and their evolution, as well as the state of the art in model versioning. Thereby, we aim at equipping students and researchers alike that are new to this domain with enough information for commencing to contribute to this challenging research area.
Kaufmann, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., & Wimmer, M. (2012). An Introduction to Model Versioning. In M. Bernardo, V. Cortellessa, & A. Pierantonio (Eds.), Formal Methods for Model-Driven Engineering (pp. 336–398). Springer. https://doi.org/10.1007/978-3-642-30982-3_10

