Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL) is still a tedious task as the large number of derived features and well-formedness constraints complementing the domain metamodel necessitate special handling. Such derived features and constraints are frequently defined by declarative techniques (such graph patterns or OCL invariants).However, for complex domains, derived features and constraints can easily be formalized incorrectly resulting in inconsistent, incomplete or ambiguous DSL specifications. To detect such issues, we propose an automated mapping of EMF metamodels enriched with derived features and well-formedness constraints captured as graph queries in EMF-IncQuery or (a subset of) OCL invariants into an effectively propositional fragment of first-order logic which can be efficiently analyzed by back-end reasoners.On the conceptual level, the main added value of our encoding is (1) to transform graph patterns of the EMF-IncQuery framework into FOL and (2) to introduce approximations for complex language features (e.g. transitive closure or multiplicities) which are not expressible in FOL. On the practical level, we identify and address relevant challenges and scenarios for systematically validating DSL specifications. Our approach is supported by a tool and it will be illustrated on analyzing a DSL in the avionics domain. We also present initial performance experiments for the validation using Z3 and Alloy as back-end reasoners.

Die Öffentlichkeitstätigkeit ist von großer Bedeutung für die Erhöhung der Widerstandsfähigkeit der Bevölkerung gegenüber Bedrohungen. Diese Aufgabe wird von verschiedenen Ministerien und Verteidigungsorganisationen mit unterschiedlichen Inhalten und Methoden ausgeführt. Die vorliegende Studie analysiert und präsentiert detailliert das System der online Öffentlichkeitstätigkeit der ungarischen Berufskatastrophenschutz-Organisation. Die Autorin stellt die Elemente des Systems, ihre Entwicklung innerhalb der Öffentlichkeitstätigkeit vor, und untersucht ebenfalls ihre aktuelle Rolle und Funktion im Zeitraum zwischen 2017 und 2020. Darüber hinaus werden die wesentlichen Elemente von sozialen Medien im Allgemeinen im Artikel vorgestellt.

A katasztrófavédelmi önkéntesek különböző módon, generációnként eltérő gyakorisággal és funkcióval használják a közösségi média nyújtotta lehetőségeket. Az elektronikus eszközök technológiai fejlődése, illetve a szolgáltatók által biztosított lehetőségek az internet elérését és ezen alkalmazások használatát egyre könnyebbé teszik. A fiatalabb generációk ezzel napi szinten együtt élnek, míg az idősebb generációk tagjai közül kevesebben képesek alkalmazkodni ezekhez. A közösségi média használata ugyanakkor számos lehetőséget biztosít – például szöveges és képi információk valós idejű megosztása, az önkéntes csoport szervezése vagy riasztás – de számos veszélyt is rejt magában. A szerzők az ár- és belvíz elleni védekezések jövőbeli szervezése érdekében vizsgálják a katasztrófavédelmi önkéntesek közösségi média használatát, és tesznek javaslatot a hatékony alkalmazáshoz.

Human resource managers are able to plan and organise activities which influence their own and other peoples’ performance, and also make necessary corrections on the basis of those performances. Managerial skills, experience, type of abilities and competencies each play a definitive role in organisational decisions. On the other hand, the second determinative factor of managerial performance is the organisation in witch they work.The goal of my survey was to analyse contentment of different level managers at Szerencsi Agricultural Rt.

A lakosság felkészítése a veszélyhelyzetekre elengedhetetlen. E tevékenység sikeressége nagyban elősegítheti a biztonság megteremtését, illetve fenntartását: az emberéletek és az anyagi javak biztonságát, veszély esetén ezek megmentését, a beavatkozás hatékonyságának növelését, továbbá a keletkezett károk minimalizálását. A felkészítés több csatornán keresztül is megvalósulhat. Napjainkban egyre több olyan platform lát napvilágot, amelyek kommunikációs célokat szolgálnak, így azok kiválóan alkalmazhatóak a lakosság katasztrófavédelmi, árvízi felkészítése során is. A szerzők a tanulmányban célul tűzték ki, hogy ismertetik a lakosság felkészítésének aktuális szerepét, feladatait napjainkban. Cél továbbá lehetséges, új módszerek bemutatása, amelyek nagyban elősegíthetik a lakosság minél sikeresebb felkészítését egy esetleges árvízre.