Auflistung Modellierung 2014 (LNI P225) nach Erscheinungsdatum
1 - 10 von 26
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragSecEval: An Evaluation Framework for Engineering Secure Systems(Modellierung 2014, 2014) Busch, Marianne; Koch, Nora; Wirsing, MartinEngineering secure software systems is not an easy task. Many methods, notations and tools - we call them knowledge objects - exist to support engineers in the development of such software. A main problem is the selection of appropriate knowledge objects. Therefore, we build the conceptual framework SECEVAL to support the evaluation and comparison of security features, vulnerabilities, methods, notations and tools. It provides an evaluation process and a model, which comprises concepts related to security context, data collection and data analysis. Our approach is validated by a case study in the area of security testing of web applications.
- KonferenzbeitragPODSL - Domänenspezifische Datenmodellierung auf Basis von Prozessen(Modellierung 2014, 2014) Schneider, Tobias; Jablonski, StefanIn den letzten Jahrzehnten ist das gespeicherte Datenvolumen in Wissenschaft und Industrie exorbitant gestiegen. Dabei werden Daten zunehmend an einer zentralen Stelle für eine bestimmte Anwendungsdomäne gespeichert aber auch zwischen Teilnehmern innerhalb einer Domäne ausgetauscht. Dadurch entsteht ein erheblicher Bedarf an domänenspezifischen Datenstandards. Da innerhalb einer Domäne bestimmte Prozesse für die Datenerhebung maßgeblich sind, führen wir mit Hilfe von PODSL als Modellierungssprache domänenspezifische Datenmodelle auf Basis von Prozessen ein. Die Flexibilität der Datenmodelle wird durch die Metamodellierung von PODSL und dem Konzept der Vererbung ermöglicht. Die Anwendung von PODSL zur Erstellung von domänenspezifischen Datenstandards wird an Beispielen aus der Biodiversitätsinformatik und dem Gesundheitswesen demonstriert. Abschließend wird auf die Anwendung von mit PODSL formulierten Datenstandards beim Datenaustausch und in der Softwareentwicklung eingegangen.
- KonferenzbeitragA theory of practice modelling – Elicitation of model pragmatics in dependence to human actions(Modellierung 2014, 2014) Bittmann, Sebastian; Thomas, OliverConceptual modelling is a constituting and popular theme in information systems research. With the proposal of different languages, concepts and methods, modelling has evolved to a sophisticated tool of systems design. With a focus on providing concepts with more enriched semantics, even more specific approaches have been developed, such as business process modelling and enterprise modelling. Providing a model often seems to be a means to an end, whether it is academic research or industrial cases. However, if the reasons to construct a model goes beyond analytical purposes, then the respective model must serve a sense of pragmatism, respectively needs to be utile with respect to the achievement of the different tasks an information system has. Therefore, this paper aims at a more restrained definition of the general modelling term, while it is consentient to the constructivism of modelling. Thereby, a model will be not seen as a solution, but a sophisticated manner to provide and evolve information. Having that in mind, such a conception of a model helps to purposefully create sophisticated and pragmatic models.
- KonferenzbeitragFrom Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics(Modellierung 2014, 2014) Gogolla, Martin; Hamann, Lars; Hilken, Frank; Kuhlmann, Mirco; France, RobertEfficient model validation and verification techniques are strong in the analysis of systems describing static structures, for example, UML class diagrams and OCL invariants. However, general UML and OCL models can involve dynamic aspects in form of OCL preand postconditions for operations. This paper describes the automatic transformation of a UML and OCL model with invariants and preand postconditions into an equivalent model with only invariants. We call the first model (with preand postconditions) the application model and the second model (with invariants only) the filmstrip model, because a sequence of system states in the application model becomes a single system state in the filmstrip model. This single system state can be thought of as being a filmstrip presenting snapshots from the application model with different logical time stamps. Preand postconditions from the application model become invariants in the filmstrip model. Providing a proper context, the text of the preand postconditions can be used in the filmstrip model nearly unchanged. The filmstrip model can be employed for automatically constructing dynamic test scenarios and for checking temporal properties.
- KonferenzbeitragAnalysis of Business Process Model Reuse Literature: Are Research Concepts Empirically Validated?(Modellierung 2014, 2014) Fellmann, Michael; Koschmider, Agnes; Schoknecht, AndreasBusiness process modeling is a highly manual task. The effort of business process modeling might be reduced if process modelers are provided with the option of reusing existing process model assets instead of creating new models from scratch. Numerous research efforts thus have been focused on the reuse of existing model assets leading to a great variety of methods, models, algorithms and tools. However, up to now, the state of empirical evidence in respect to proven positive effects using these approaches is largely unclear. We therefore fill this gap by systematically analysing the available publications. Our paper contributes to the understanding of business process model reuse and consequently also to the knowledge base regarding process model reuse.
- KonferenzbeitragDeltaEcore-A Model-Based Delta Language Generation Framework(Modellierung 2014, 2014) Seidl, Christoph; Schaefer, Ina; Aßmann, UweSoftware product lines (SPLs) and software ecosystems (SECOs) represent families of closely related software systems in terms of configurable variable assets. Delta modeling is an approach for capturing variability resulting from different configurations and for deriving concrete software products of an SPL or SECO through transformation. Even though the general concepts of delta modeling are languageindependent, custom delta languages are required for all source languages, which are tedious to create and lack interoperability due to different implementation technologies. In this paper, we present a framework to automatically derive delta languages for textual or graphical languages given as EMOF-based meta models. We further illustrate how to automatically generate the syntax and large parts of the semantics of the derived delta language by inspecting the source language's meta model. We demonstrate our approach by applying our implementation DeltaEcore to four selected source languages.
- KonferenzbeitragFormal Semantics of Synchronous Transfer Architecture(Modellierung 2014, 2014) Cichon, Gordon; Hofmann, MartinThis paper explores the use of formal verification methods for complex and highly parallel state machines. For this purpose, a framework named Synchronous Transfer Architecture (STA) is being used. STA is a generic framework for digital hardware development that contains VLIW, FPGA, and hardwired ASIC architectures as corner cases. It maintains a strictly deterministic system behavior in order to achieve substantial savings in hardware costs, thus enabling systems with high clock speed, low power consumption and small die area. The high degree of parallelism requires a diligent development methodology to avoid implementation errors. Consequently, formal verification is the methodology of choice for reliable verification. The contribution of this paper is a formal semantics for the STA hardware architecture framework. This semantics is then used for the formal verification of an optimized parallel implementation of Fast Fourier Transformation (FFT) on STA. This is achieved using a combination of the semantics and symbolic evaluation.
- KonferenzbeitragA Catalogue of Optimization Techniques for Triple Graph Grammars(Modellierung 2014, 2014) Leblebici, Erhan; Anjorin, Anthony; Schürr, AndyBidirectional model transformation languages are typically declarative, being able to provide unidirectional operationalizations from a common specification automatically. Declarative languages have numerous advantages, but ensuring runtime efficiency, especially without any knowledge of the underlying transformation engine, is often quite challenging. Triple Graph Grammars (TGGs) are a prominent example for a completely declarative, bidirectional language and have been successfully used in various application scenarios. Although an optimization phase based on profiling results is often a necessity to meet runtime requirements, there currently exists no systematic classification and evaluation of optimization strategies for TGGs, i.e., the optimization process is typically an ad-hoc process. In this paper, we investigate the runtime scalability of an exemplary bidirectional model-to-text transformation. While systematically optimizing the implementation, we introduce, classify and apply a series of optimization strategies. We provide in each case a quantitative measurement and qualitative discussion, establishing a catalogue of current and future optimization techniques for TGGs in particular and declarative rule-based model transformation languages in general.
- Editiertes BuchModellierung 2014(2014)
- KonferenzbeitragTowards a Modeling Method for Supporting the Management of Organizational Decision Processes(Modellierung 2014, 2014) Bock, Alexander; Kattenstroth, Heiko; Overbeek, SietseToday's business environments necessitate effective and well-informed organizational decision processes. To establish adequate environments for decision processes in organizations, methods are advisable that promote the coordination of these processes, facilitate the implementation and maintenance of supporting information systems, and foster accountability as well as traceability of organizational decisions. We investigate the potentials of an enterprise modelingbased approach for supporting the management of organizational decision processes and propose conceptualizations for modeling constructs as enhancements to existing enterprise modeling methods.
- «
- 1 (current)
- 2
- 3
- »