4,253 research outputs found
Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts
Reactive systems play a crucial role in the embedded domain. They continuously interact with their environment, handle concurrent operations, and are commonly expected to provide deterministic behavior to enable application in safety-critical systems. In this context, language design is a key aspect, since carefully tailored language constructs can aid in addressing the challenges faced in this domain, as illustrated by the various concurrency models that prevent the known pitfalls of regular threads. Today, many languages exist in this domain and often provide unique characteristics that make them specifically fit for certain use cases. This thesis evolves around two distinctive languages: the actor-oriented polyglot coordination language Lingua Franca and the synchronous statecharts dialect SCCharts. While they take different approaches in providing reactive modeling capabilities, they share clear similarities in their semantics and complement each other in design principles. This thesis analyzes and compares key design aspects in the context of these two languages. For three particularly relevant concepts, it provides and evaluates lean and seamless language extensions that are carefully aligned with the fundamental principles of the underlying language. Specifically, Lingua Franca is extended toward coordinating modal behavior, while SCCharts receives a timed automaton notation with an efficient execution model using dynamic ticks and an extension toward the object-oriented modeling paradigm
Weaving Pathways: The Role of High School Family and Consumer Sciences Courses in Cultivating a Teacher Pipeline Across the Midwest
High School Family and Consumer Science classrooms hold the potential for university and high school partnerships for teacher education pipelines. This study uses a comparative policy analysis to provide a regional resource for laws, policies, and programs within the Midwest regarding FCS classrooms and courses that are offered. Utilizing a comparative policy analysis approach, the aim is to create an opportunity for guiding current high school students toward becoming future candidates in teacher education programs by doing intentional outreach. This analysis will provide an outline of how university Teacher Education programs can partner intentionally to recruit and mentor incoming first-year college students while they are learning educational pedagogy in their high school FCS classrooms. This analysis provides a foundation for how high school FCS classrooms and university teacher education classrooms can foster cohesive and supportive mutually beneficial partnerships in the states surrounding Illinois and Indiana. Data were gathered by accessing regional education department websites and illustrating the potential opportunities for high school coursework to connect with established teacher education university programs and align pedagogically. Key findings include multiple opportunities in the Midwest for partnerships that are mutually beneficial and are easily accessible if intentional connections are made between faculty
Pristup specifikaciji i generisanju proizvodnih procesa zasnovan na inženjerstvu vođenom modelima
In this thesis, we present an approach to the production process specification and generation based on the model-driven paradigm, with the goal to increase the flexibility of factories and respond to the challenges that emerged in the era of Industry 4.0 more efficiently. To formally specify production processes and their variations in the Industry 4.0 environment, we created a novel domain-specific modeling language, whose models are machine-readable. The created language can be used to model production processes that can be independent of any production system, enabling process models to be used in different production systems, and process models used for the specific production system. To automatically transform production process models dependent on the specific production system into instructions that are to be executed by production system resources, we created an instruction generator. Also, we created generators for different manufacturing documentation, which automatically transform production process models into manufacturing documents of different types. The proposed approach, domain-specific modeling language, and software solution contribute to introducing factories into the digital transformation process. As factories must rapidly adapt to new products and their variations in the era of Industry 4.0, production must be dynamically led and instructions must be automatically sent to factory resources, depending on products that are to be created on the shop floor. The proposed approach contributes to the creation of such a dynamic environment in contemporary factories, as it allows to automatically generate instructions from process models and send them to resources for execution. Additionally, as there are numerous different products and their variations, keeping the required manufacturing documentation up to date becomes challenging, which can be done automatically by using the proposed approach and thus significantly lower process designers' time.У овој дисертацији представљен је приступ спецификацији и генерисању производних процеса заснован на инжењерству вођеном моделима, у циљу повећања флексибилности постројења у фабрикама и ефикаснијег разрешавања изазова који се појављују у ери Индустрије 4.0. За потребе формалне спецификације производних процеса и њихових варијација у амбијенту Индустрије 4.0, креиран је нови наменски језик, чије моделе рачунар може да обради на аутоматизован начин. Креирани језик има могућност моделовања производних процеса који могу бити независни од производних система и тиме употребљени у различитим постројењима или фабрикама, али и производних процеса који су специфични за одређени систем. Како би моделе производних процеса зависних од конкретног производног система било могуће на аутоматизован начин трансформисати у инструкције које ресурси производног система извршавају, креиран је генератор инструкција. Такође су креирани и генератори техничке документације, који на аутоматизован начин трансформишу моделе производних процеса у документе различитих типова. Употребом предложеног приступа, наменског језика и софтверског решења доприноси се увођењу фабрика у процес дигиталне трансформације. Како фабрике у ери Индустрије 4.0 морају брзо да се прилагоде новим производима и њиховим варијацијама, неопходно је динамички водити производњу и на аутоматизован начин слати инструкције ресурсима у фабрици, у зависности од производа који се креирају у конкретном постројењу. Тиме што је у предложеном приступу могуће из модела процеса аутоматизовано генерисати инструкције и послати их ресурсима, доприноси се креирању једног динамичког окружења у савременим фабрикама. Додатно, услед великог броја различитих производа и њихових варијација, постаје изазовно одржавати неопходну техничку документацију, што је у предложеном приступу могуће урадити на аутоматизован начин и тиме значајно уштедети време пројектаната процеса.U ovoj disertaciji predstavljen je pristup specifikaciji i generisanju proizvodnih procesa zasnovan na inženjerstvu vođenom modelima, u cilju povećanja fleksibilnosti postrojenja u fabrikama i efikasnijeg razrešavanja izazova koji se pojavljuju u eri Industrije 4.0. Za potrebe formalne specifikacije proizvodnih procesa i njihovih varijacija u ambijentu Industrije 4.0, kreiran je novi namenski jezik, čije modele računar može da obradi na automatizovan način. Kreirani jezik ima mogućnost modelovanja proizvodnih procesa koji mogu biti nezavisni od proizvodnih sistema i time upotrebljeni u različitim postrojenjima ili fabrikama, ali i proizvodnih procesa koji su specifični za određeni sistem. Kako bi modele proizvodnih procesa zavisnih od konkretnog proizvodnog sistema bilo moguće na automatizovan način transformisati u instrukcije koje resursi proizvodnog sistema izvršavaju, kreiran je generator instrukcija. Takođe su kreirani i generatori tehničke dokumentacije, koji na automatizovan način transformišu modele proizvodnih procesa u dokumente različitih tipova. Upotrebom predloženog pristupa, namenskog jezika i softverskog rešenja doprinosi se uvođenju fabrika u proces digitalne transformacije. Kako fabrike u eri Industrije 4.0 moraju brzo da se prilagode novim proizvodima i njihovim varijacijama, neophodno je dinamički voditi proizvodnju i na automatizovan način slati instrukcije resursima u fabrici, u zavisnosti od proizvoda koji se kreiraju u konkretnom postrojenju. Time što je u predloženom pristupu moguće iz modela procesa automatizovano generisati instrukcije i poslati ih resursima, doprinosi se kreiranju jednog dinamičkog okruženja u savremenim fabrikama. Dodatno, usled velikog broja različitih proizvoda i njihovih varijacija, postaje izazovno održavati neophodnu tehničku dokumentaciju, što je u predloženom pristupu moguće uraditi na automatizovan način i time značajno uštedeti vreme projektanata procesa
Improving the Specification of Business Application Requirements Based on Executable Models
Istraživanje predstavljeno u okviru ove disertacije imalo je za cilj unapređenje procesa specifikacije korisničkih zahteva poslovnih aplikacija na bazi detaljnih, izvršivih prototipova koji se mogu kreirati uz minimalan utrošak vremena i energije. Radi postizanja ovog cilja je implementiran alat otvorenog koda pod nazivom Kroki (fr. croquis – skica) čija je arhitektura projektovana tako da obezbedi: (1) kolaborativni razvoj specifikacije poslovne aplikacije sa korisnicima koji nemaju znanje projektovanja i programiranja softverskih sistema, (2) efikasno pokretanje prototipa direktno iz sopstvenog razvojnog okruženja, dajući mogućnost korisniku da isproba prototip tokom modelovanja kad god poželi, (3) ponovno korišćenje informacija dobijenih prilikom razvoja prototipova u kasnijim fazama razvoja, kako bi se smanjilo nepotrebno trošenje resursa. Eksperiment za proveru da li razvijeni alat zadovoljava postavljene ciljeve je dizajniran kao serija od deset eksplorativnih studija slučaja čiji je cilj specifikacija poslovnih aplikacija sa učesnicima koji dolaze iz različitih poslovnih domena koji nisu poznati projektantima. Pojedinačne studije su obavljene sa po jednim učesnikom u okviru dvočasovnih projektantskih sesija, gde su ulogu projektanata imali autor ove disertacije i njegov mentor. Kvalitativni i kvantitativni podaci prikupljeni tokom sesija i posle njih, putem upitnika, su iskorišćeni za izvođenje pozitivnih zaključaka o efikasnosti predloženog pristupa i alata. Dizajn istraživanja je baziran na konceptima MEM-a (Method Evaluation Model) koji definiše kriterijum za uspeh određene metodologije u praksi. Upitnici koji evaluiraju jezik za modelovanje i Kroki alat su formulisani tako da odgovaraju izabranim konceptima FQUAD (Framework for qualitative assessment of domain-specific languages) okvira za evaluaciju jezika specifičnih za domen.The research presented in this dissertation aimed to improve the process of specification of user requirements of business applications based on detailed, executable prototypes that can be created with minimal expenditure of time and energy. To achieve this goal, an open-source tool called Kroki (fr. croquis - sketch) was implemented, the architecture of which is designed to provide: (1) Collaborative development of business application specifications with users who do not have knowledge of designing and programming software systems, (2) Efficient prototyping directly from Kroki’s development environment, enabling the user to try out the prototype during modeling whenever they want, and (3) Reuse of information obtained during the development of prototypes in later stages of development, to reduce unnecessary consumption of time and energy. The experiment to validate whether the developed Kroki tool meets the set goals was designed as a series of ten exploratory case studies to specify business applications with participants from different business domains unknown to the designers. Individual studies were carried out within two-hour design sessions, where the author of this dissertation and his mentor played the designer role, with a single participant in the user role in each session. Qualitative and quantitative data collected during and after the sessions, through questionnaires, were used to draw positive conclusions about the effectiveness of the proposed approach and tools. The research design is based on the concepts of MEM (Method Evaluation Model), which defines the criteria for the success of a certain methodology in practice. Questionnaires that evaluate the modeling language and the Kroki tool are formulated to correspond to the selected concepts of the FQUAD (Framework for qualitative assessment of domain-specific languages) for evaluating DSLs
Peacekeeping and International Human Rights Law: Interrogating United Nations Mechanisms through a Study of the UN Mission for the Referendum in Western Sahara
The UN Mission for the Referendum in Western Sahara (MINURSO) was created by UN Security Council (UNSC) Resolution 690 in 1991. This resolution provided for the appointment of a Special Representative, the declaration of a cease-fire and the organisation of a self-determination referendum on the status of the territory, i.e. independence or integration with Morocco, which had invaded it in 1975. Since then, the UNSC has extended MINURSO’s mandate 59 times without incorporating any human rights monitoring and/or reporting components nor any support from the Office of the High Commissioner for Human Rights (OHCHR). As such, MINURSO stands out as the only post-Cold War multidimensional UN peacekeeping operation (PKO) deprived of a human rights dimension. To date, no referendum has been organised and the mission is still in place.
This research project examines the impacts of human rights components in UN peacekeeping, or the absence thereof, and conflict (ir)resolution with a focus on the case of a self-determination conflict such as Western Sahara. Besides shedding more light on the conflict in Western Sahara, the thesis aims to empirically explore the human rights protection-peacekeeping-conflict resolution nexus in this deviant single case study. It further investigates a possible remedy using the relevant legal methodology tools through the existence of a norm of customary international law, requiring systematic inclusion of human rights monitoring components into PKOs
La riqueza socioemocional: resiliencia y desempeño en la empresa familiar
El estudio de la relación: Riqueza Socioemocional (SEW) - Desempeño de la organización ha crecido significativamente, sin embargo, los hallazgos empíricos presentan diversas controversias, suscitando recientemente el interés de los académicos por identificar constructos mediadores que expliquen los efectos indirectos que SEW puede generar sobre el desempeño. Dada la coyuntura económica mundial y que aún es escaso el conocimiento sobre la forma en que SEW desencadena cambios en los niveles de desempeño de la firma, la presente tesis propone un nuevo mediador en tal relación: la resiliencia. Para ello, se emplea una estrategia sistematizada en tres estudios. El primero centrado en el diseño de un modelo conceptual del SEW usando revisión sistemática de literatura. El segundo desarrolla y valida psicométricamente una escala original de SEW. El tercero contrasta empíricamente las relaciones estructurales entre SEW – resiliencia – desempeño. Los resultados permiten derivar un modelo conceptual de SEW compuesto por 10 dimensiones específicas y una general, que posteriormente es validado psicométricamente y genera una nueva medida integral del SEW de ocho dimensiones y 27 ítems. Con este último, se confirmó la relación indirecta/positiva entre SEW y desempeño social, mediada por la resiliencia de los miembros de la familia, y la relación indirecta/positiva entre SEW y desempeño económico, mediada por la resiliencia y el desempeño social.The study of the relationship: Socio-Emotional Wealth (SEW) - Organizational Performance has grown significantly, however, the empirical findings present various controversies, recently arousing the interest of academics to identify mediating constructs that explain the indirect effects that SEW can generate. about performance. Given the global economic situation and the fact that knowledge about how SEW triggers changes in the firm's performance levels is still scarce, this thesis proposes a new mediator in such a relationship: resilience. For this, a systematized strategy is used in three studies. The first focused on the design of a conceptual model of SEW using a systematic literature review. The second develops and psychometrically validates an original SEW scale. The third empirically contrasts the structural relationships between SEW – resilience – performance. The results allow us to derive a conceptual model of SEW made up of 10 specific dimensions and one general, which is subsequently validated psychometrically and generates a new comprehensive measure of SEW with eight dimensions and 27 items. With the latter, the indirect/positive relationship between SEW and social performance, mediated by the resilience of family members, and the indirect/positive relationship between SEW and economic performance, mediated by resilience and social performance, were confirmed
A TOSCA-Based Conceptual Architecture to Support the Federation of Heterogeneous MSaaS Infrastructures †
Modeling and simulation (M&S) techniques are effectively used in many application domains to support various operational tasks ranging from system analyses to innovative training activities. Any (M&S) effort might strongly benefit from the adoption of service orientation and cloud computing to ease the development and provision of M&S applications. Such an emerging paradigm is commonly referred to as M&S-as-a-Service (MSaaS). The need for orchestrating M&S services provided by different partners in a heterogeneous cloud infrastructure introduces new challenges. In this respect, the adoption of an effective architectural approach might significantly help the design and development of MSaaS infrastructure implementations that cooperate in a federated environment. In this context, this work introduces a MSaaS reference architecture (RA) that aims to investigate innovative approaches to ease the building of inter-cloud MSaaS applications. Moreover, this work presents ArTIC-MS, a conceptual architecture that refines the proposed RA for introducing the TOSCA (topology and orchestration specification for cloud applications) standard. ArTIC-MS’s main objective is to enable effective portability and interoperability among M&S services provided by different partners in heterogeneous federations of cloud-based MSaaS infrastructure. To show the validity of the proposed architectural approach, the results of concrete experimentation are provided
Business Functions Capabilities and Small and Medium Enterprises’ Internationalization
Ineffective global expansion can adversely affect small and medium enterprises (SMEs) business outcomes. Business leaders are concerned with developing effective global expansion strategies to penetrate potential international markets, thus enhancing sustainability. Grounded in the business management systems theory, the purpose of this qualitative multi-case study was to explore strategies that leaders of Sub-Saharan Africa manufacturing SMEs use for global expansion. The participants were five manufacturing value-adding SME leaders participating in export markets. Using Yin’s five steps data analysis process, six themes emerged: (a) enterprise characterization, (b) understanding the enterprise’s product, (c) intra-enterprise factor-based strategies for export participation, (d) the enterprise’s external factor-based strategies for successful export venture, (e) global expansion strategies, and (f) serendipitous findings. A key recommendation for SME leaders is to analyze the critical components of their products and prepare to adjust them to the demand dimensions of the target market. The implications for positive social change include the potential to increase the enterprise’s wealth, increase employment, reduce poverty for all value chain participants, and growth in gross domestic product
- …