Towards a formal model of patterns and pattern languages

A Rouhi, B Zamani - Information and Software Technology, 2016 - Elsevier
Context: Software patterns are solutions to recurring design problems. Patterns behave
socially in the forms of Pattern Languages (PLs) to resolve problems. In a simple statement …

[HTML][HTML] Applying Pattern Language to Enhance IIoT System Design and Integration: From Theory to Practice

HH Azeez, M Sharbaf, B Zamani, S Kolahdouz-Rahimi - Information, 2024 - mdpi.com
The Industrial Internet of Things (IIoT) is pivotal in advancing industrial automation, offering
significant improvements in connectivity and efficiency. However, the integration of …

Contract verification of ETL transformations

B Azizi, B Zamani… - 2017 7th International …, 2017 - ieeexplore.ieee.org
Model driven engineering is a new paradigm in software engineering in which software is
automatically generated from the model via applying transformations. Model …

Low cost efficient deliverying video surveillance service to moving guard for smart home

T Gualotuña, E Macías, Á Suárez, ER Fonseca C… - Sensors, 2018 - mdpi.com
Low-cost video surveillance systems are attractive for Smart Home applications (especially
in emerging economies). Those systems use the flexibility of the Internet of Things to operate …

[PDF][PDF] Coevolution patterns to detect and manage uml diagrams changes

BA Rajabi, SP Lee - International Journal of Computing, 2019 - pdfs.semanticscholar.org
UML diagrams are divided into different perspectives in modelling a problem domain.
Preserving coevolution among these diagrams is very crucial so that they can be updated …

[PDF][PDF] Formalizing patterns and pattern languages: a case study approach

A Rouhi, B Zamani - Technical Report, 2015 - researchgate.net
Patterns are approved solutions to recurring design problems. Patterns are woven together
on their application in practice in the form of Pattern Sequences (PSs) and Pattern …

A model‐based framework for automatic generation of a pattern language verifier

A Rouhi, B Zamani - Software: Practice and Experience, 2017 - Wiley Online Library
Design patterns solve recurring design problems. One of the best practices, to solve a whole
problem in a specific context, is to apply patterns in the form of a collection of related …

A Domain Specific Modeling Language for Enterprise Application Development

B Zamani, S Rasoulzadeh - International Journal of Information …, 2018 - igi-global.com
This article describes how experience in domain specific modeling can be captured and
abstracted in a domain specific modeling language (DSML). Modeling with a DSML results …

[PDF][PDF] Presenting a process for generating a pattern language verifier

A Rouhi - 2017 - researchgate.net
Abstract Design patterns are solutions to recurring design problems in specific contexts. One
of the best practices on the application of patterns in practice is the usage of patterns in the …

Coevolution Framework to Support Object-oriented Model Changes Using Coloured Petri Net Patterns

BAM Rajabi - 2017 - search.proquest.com
An effective change management technique is essential to keep track of changes and to
ensure that software projects are implemented in the most effective way. One of the crucial …