Keywords:
Astract: Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, and (3) on the services implementing the choreography. In order to search for a potential business partner, one will first look for a partner who offers a required service on the economic level and who supports a complementary role in a choreography, before binding to its IT services. Inasmuch, a registry for inter-organizational systems should cover all three levels and maintain the dependencies between them. In this paper we set up on well accepted approaches on the different levels, i.e. (1) the e3value ontology, (2) the UN/CEFACT modeling methodology (UMM), and (3) the business process execution language (BPEL). We specify a registry meta model on top of ebRIM registering the artifacts on the different levels and defining their inter-dependencies.

Keywords:
Astract: The development of inter-organizational systems requires a well defined development process. UN/CEFACT's Modeling Methodology (UMM) provides such a development process. We served as the editing team of the UMM 1.0 foundation module, which is defined as a UML profile. First experiences of applying UMM in real world projects have disclosed some limitations. Accordingly, we propose integrating new concepts into a new version 2.0 of UMM. In this paper, we show the adapted UMM development process, which is demonstrated by means of a waste management example.

Keywords:
Astract: Today, most approaches for inter-organizational business processes start bottom-up from the interfaces and the workflows of each partner described on the IT layer. Alternatively, one may start from the commitments and agreements between business partners to reach their complementary business goals. The latter approach is target of the UN/CEFACT Modeling Methodology (UMM), which models a global choreography. In a model driven approach the UMM artifacts must be further elaborated toward an IT solution for each participating business partner. For this purpose we have developed a UML profile to model a local choreography or an orchestration that respects the agreements made in the global choreography. In order to execute the local choreography / orchestration in the local IT, the processes must be machine-readable. For this purpose we demonstrate a transformation to the business process execution language (WS-BPEL).

Keywords:
Astract: In this paper, we report our experiences on teaching the Unifi ed Modeling Language in the large. More precisely, about 1000 computer science and business informatics students attend our course Object-Oriented Modeling each year. Requiring a profound understanding of the UML, many advanced courses like Software Engineering or Model Engineering build on the knowledge imparted by our course. In order to achieve our ambitious teaching targets, we establish personal mentoring despite the mass enhanced with e-learning facilities.

Keywords:
Astract: The development of complex software systems requires appropriate abstraction mechanisms in terms of model-driven engineering techniques (MDE) and proper support for allowing developers to work in parallel in terms of version control systems (VCSs). For realizing the vision of MDE, a bundle of standards has been made available recently, whereas the versioning of models has not gained the necessary attention yet, although being of paramount importance for the success of MDE in practice. In this paper, we propose a first vision of AMOR (Adaptable Model Versioning) to leverage version control in the area of MDE. The innovations of AMOR are threefold. Firstly, AMOR supports precise conflict detection, i.e., previously undetected as well as wrongly indicated conflicts shall be avoided. Secondly, AMOR focuses on intelligent conflict resolution by providing techniques for the representation of conflicting modifications as well as suggesting proper resolution strategies. Thirdly, AMOR targets an adaptable versioning framework, empowering modelers to flexibly balance between reasonable adaptation effort and proper versioning support while ensuring generic applicability to various domain-specific modeling languages and associated tools.

Keywords:
Astract: Workflow technology promises an increase in efficiency in the execution of business processes. The technology is widely accepted, but often the high costs exceed the promised benefits. This is due to the fact that companies do not carefully select the business processes for automation by workflow management systems (WFMS). They also implement processes that have an unappropriate structures for automation and/or that are economically irrelevant. This paper presents an evaluation framework that enables a selection of appropriate business processes. Currently there does not exist any suitable evaluation framework. The framework considers criteria for technical feasibility, economic potential and organizational aspects. The scoring model based on these criteria follows a multi factor analysis and leads to a process-automation portfolio enabling the selection of appropriate business processes. The framework has been successfully used in the IT company of an banking corporation.

Keywords:

Keywords: e-learning, technology enhanced learning, adaptivity in learning systems, learning management systems, Moodle, student modelling, learning styles, Felder-Silverman learning style model, working memory capacity
Astract: Lernplattformen, wie zum Beispiel WebCT, Blackboard und Moodle, werden heutzutage immer mehr genutzt. Während diese Lernplattformen Lehrende sehr gut im Erstellen und Abhalten von Online-Kursen unterstützen, bieten sie nur wenig bis keine Möglichkeiten, auf die individuellen Bedürfnisse, Fähigkeiten und Eigenschaften der Lernenden, wie zum Beispiel deren Wissensstand, Motivation, kognitive Fähigkeiten und Lernstile, einzugehen. In den letzten Jahren wurde vermehrt der Einfluss von individuellen Eigenschaften der Lernenden, wie beispielsweise deren Lernstile, auf den Lernprozess erforscht sowie Untersuchungen durchgeführt, um diese in e-Learning Systemen zu unterstützen. Diese Untersuchungen basieren auf erziehungswissenschaflichen Theorien, die besagen, dass Lernende einfacher und erfolgreicher Lernen, wenn Kurse an ihre individuellen Eigenschaften angepasst sind.
In dieser Dissertation wird gezeigt, wie Lernstile entsprechend dem Felder-Silverman learning style model in Lernplattformen berücksichtigt werden können. Ein Ansatz zum automatischen Erkennen von Lernstilen, bei welchem die Lernstile vom Verhalten der Lernenden im Online-Kurs hergeleitet werden, wurde entwickelt, implementiert und evaluiert. Die Ergebnisse zeigen, dass der Ansatz zum Erkennen von Lernstilen geeignet ist und Lernstile mit hoher Genauigkeit erkennt. Basierend auf diesem Ansatz wurde ein "stand-alone" Tool entwickelt, das automatisch Lernstile in Lernplattformen identifiziert.
Des Weiteren wurde untersucht, ob das automatische Erkennen von Lernstilen durch das Einbeziehen von zusätzlicher Information, wie zum Beispiel kognitiven Fähigkeiten, verbessern werden kann. Dafür wurde die Beziehung zwischen Lernstilen und der Kapazität des Kurzzeitgedächtnisses untersucht. Die Ergebnisse einer umfassenden Literaturrecherche sowie zweier umfangreicher Studien zeigen, dass Beziehungen zwischen Lernstilen und der Kapazität des Kurzzeitgedächtnisses bestehen und dass diese Beziehungen zusätzliche Informationen zum Erkennen von Lernstilen liefern.
Darüber hinaus wurde ein Konzept entwickelt, implementiert und evaluiert, welches Lernplattformen dahingehend erweitert, dass sie automatisch adaptive Kurse generieren und präsentieren können. Die in Moodle durchgeführte Evaluierung zeigt, dass das entwickelte Konzept erfolgreich Lernende unterstützt und ihnen das Lernen vereinfacht. Durch das Erweitern von Lernplattformen mit Adaptivität werden Lernumgebungen geschaffen, in denen sowohl Lehrende als auch Lernende unterstützt werden. In einer solchen adaptiven Lernplattform können Lehrende weiterhin die Vorteile von Lernplattformen nützen und Lernende werden zusätzlich mit adaptiven Kursen unterstützt. Die behandelten Forschungsfragen dieser Dissertation bilden wichtige Grundlagen für die zukünftige Entwicklung von Lernsytemen, welche die Bedürfnisse, Fähigkeiten und Eigenschaften der Studierenden erlernen, darauf umgehend eingehen und Kurse zur Verfügung stellen, in denen Adaptivität laufend verbessert wird und die an die jeweils aktuellen Bedürfnisse der Lernenden angepasst sind.

Keywords: MDSD, MDA, JBoss Seam, Webapplication, UML, openArchitectureWare, Model-Driven-Development
Astract: Considering the major trends in the software engineering discipline, Model Driven Software Development (MDSD) is a promising advancement concerning the process of software development. MDSD supports both rapid adjustments regarding alternating implementation technologies and easy comprehensibility.
The development of software applications is frequently accompanied by a variety of problems like domination of expertise in technical matters, divergence of changing processes, and methodical gaps between analysis, design and implementation. By interpreting software models as source code, the model driven approach tries to reduce these problems.
This work explores a potential solution of the above mentioned problems by providing a model driven development environment for modelling and generating Web applications based on the JBoss Seam Framework. This framework has been chosen because it combines established Java technologies.
Besides receiving the required backend files from UML 2.0 structure diagrams, the prototypical user interface is automatically generated from the behaviour diagrams. This interface may be used as starting point for the design process of web applications. In addition to the automatic development of the frontend and backend of the application, this work also meets various quality aspects by showing possibilities of automatically extracting test cases from the developed models. The intention is to reduce the manual effort of testing throughout the whole development process. Exemplifying the development of the generators and models, a Web DVD store has been developed, which also exhibits the degree of automation by MDSD.

Keywords: Unified Modeling Language, Class diagram, Formal methods, Configuration Management
Astract: The concept of a configuration describes the arrangement of functional units according to their nature, number, and chief characteristics. Functional units may be software or hardware components like computer programs, electronic circuits, or parts of a machine.
Configuration management is concerned with the specification of admissible arrangements in a natural way and with setting them up according to certain criteria of optimality. Typical problems to solve are the satisfiability of specifications and the minimality of computed configurations. The steady increase in the size of specifications and the demand for real-time computations require efficient methods to attack these problems.
The Unified Modeling Language has become a widely accepted standard in industry and offers features capable of modelling real-world situations in configuration management. Many (software) engineers are already acquainted with UML. Therefore we use UML as basis for our considerations and define a formal semantics and the notions of consistency and minimality. We present efficient methods for checking the consistency of UML class diagram specifications and for finding minimal solutions of UML configurations. We discuss both binary association types with uniqueness constraints and association types of higher arity which need special treatment due to the special UML semantics. We also discuss the problem of updating UML configurations incrementally.