Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 15 of 15 for “"Modelling languages"”.
-
Designing precise and flexible graphical modelling languages for software development
… the design of precise and flexible graphical modelling languages for use in model-driven software development. The primary contributions of this work are: • Syntropy: the first published object-oriented analysis and design (OOAD) method to fully integrate formal and graphical modelling …
-
A Framework for the Extension and Visualisation of Cyber Security Requirements in Modelling Languages
… several attempts at producing a solution, with modelling languages presenting themselves as the perfect platform to specify such designs. One can observe multiple publications throughout literature which propose the extension of these languages to include security expression. However, the …
-
A meta-modelling language definition for specific domain
… technologies and methods, Domain-Specific Modelling is suggested in the thesis as a Model Driven method to better realise the potential of Model-Driven Software Development. Domain-specific modelling methods can be successfully applied to actual software development projects, which need a …
-
Parameter dependencies for reusable performance specifications of software components
… parameter values) in their specification languages. This thesis proposes new modelling languages and transformations, which allow a reusable description of usage profile dependencies in component-based software systems. The thesis includes an experimental evaluation, which shows that …
-
Model-driven security in service-oriented architectures : leveraging security patterns to transform high-level security requirements to technical policies
… in security policies. However, security policy languages for SOA are complex and difficult to create due to the expressiveness of these languages. To facilitate and simplify the creation of security policies, this thesis presents a model-driven approach that enables the generation of complex …
-
Structures and Processes for Managing Model-Metamodel Co-evolution
… background compilation. Increasingly, models and modelling languages are first-class citizens in software development. Model-Driven Engineering (MDE), a state-of-the-art approach to software engineering, prescribes the use of models throughout the software engineering process. In MDE, modelling …
-
Spiral process model for capture and analysis of non-functional requirements of service-oriented enterprise systems /
… identification of services and workflows used to modelling applications and on their reuse. The thesis highlights existing issues and concerns in SORE and discusses how one type of service specification issues – non-functional requirements capturing, analysis and conflicts resolution could be …
-
Spiralinis proceso modelis paslaugų stiliaus architektūros įmonių sistemų nefunkciniams reikalavimams išgauti ir analizuoti /
… identification of services and workflows used to modelling applications and on their reuse. The thesis highlights existing issues and concerns in SORE and discusses how one type of service specification issues – non-functional requirements capturing, analysis and conflicts resolution could be …
-
Model-Based Analysis of Role-Based Access Control
… research in MDE has focused on general-purpose languages and models, such as Java and UML. Domain-specific and cross-cutting concerns, such as security, are increasingly essential parts of a software system, but are only treated as second-class citizens in the most popular modelling languages. …
-
Timing and scheduling analysis of real-time object-oriented models
… led to a recent trend in the use of high-level modelling languages for the development of real-time software. One representative example is the Real-Time Object Oriented Modeling (ROOM) language, which provides features such as encapsulation, polymorphism, inheritance, state machine descriptions …
-
On Model Libraries for Thermo-hydraulic Applications
Mathematical modelling and simulation are important tools when dealing with engineering systems that today are becoming increasingly more complex. Tightly integrated production and process optimization are trends that give rise to heterogeneous systems, which are difficult to handle without …
-
Formal verification of biologically inspired computing models
… can be used to transform cP system notation into modelling languages including CSP#, B, and Gallina automatically. Using existing general purpose formal tools to verify cP systems often requires human intervention. Furthermore, it is extremely hard to completely model cP systems with complex …
-
Computing policy parameters for stochastic inventory control using stochastic dynamic programming approaches
… programming provides the user with an expressive modelling language and delegates the search for the solution to a specific solver. The possibility to seamlessly encode dynamic programming provides new modelling options, e.g. the computation of optimal (R,s,S) policy parameters. The performances …
-
Hazard and early warning analysis based on domain specific modeling technologies
… set of three graphical Domain Specific Modeling languages (DSML)s, that when combined together, provide all of the necessary constructs that will enable safety experts and practitioners to conduct hazard and early warning analysis based on a contemporary hazard analysis approach. The languages …
-
Computational Augmentation of Model Based System Engineering: Supporting Mechatronic System Model Development with AI Technologies
… been approached with semantic formalisation of modelling languages and of generic structural and functional concepts using meta-models. Modelling the system using descriptive models helps the designer to explicitly document dependencies between properties and parameters of system and external …