scholarly journals Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study

Author(s):  
Bjornar Solhaug ◽  
Dag Elgesem ◽  
Ketil Stolen
Keyword(s):  
2019 ◽  
pp. 471-482
Author(s):  
Bassam Atieh Rajabi ◽  
Sai Peck Lee

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 continuously to reflect software changes. Formal methods such as Coloured Petri Nets (CPNs) are widely used in detecting and handling coevolution between software artifacts. Although ample progress has been made, it still remains much work to be done in further improving the effectiveness and accuracy of the state-of-the-art coevolution techniques in managing changes in UML diagrams. In this research, a set of 84 coevolution patterns for supporting coevolution among UML diagrams are proposed to trace the diagrams’ inconsistencies and to determine the change impact incrementally after updating diagrams elements. Coevolution patterns are applied to UML class, object, activity, statechart, and sequence diagrams to cover the different perspectives of UML diagrams. The researcher uses CPNs as a formal language of modelling case study models for the proposed patterns. CPNs tools simulation and monitoring toolboxes are used to validate and monitor the proposed coevolution patterns models and to collect quantitative data about the patterns.


Author(s):  
Thomas Firley ◽  
Michaela Huhn ◽  
Karsten Diethers ◽  
Thomas Gehrke ◽  
Ursula Goltz
Keyword(s):  

2020 ◽  
Vol 31 (4) ◽  
pp. 429-448
Author(s):  
Unal Yildirim ◽  
Felician Campean

Abstract This paper introduces an Enhanced Sequence Diagram (ESD) as the basis for a structured framework for the functional analysis of complex multidisciplinary systems. The ESD extends the conventional sequence diagrams (SD) by introducing a rigorous functional flow-based modelling schemata to provide an enhanced basis for model-based functional requirements and architecture analysis in the early systems design stages. The proposed ESD heuristics include the representation of transactional and transformative functions required to deliver the use case sequence, and fork and join nodes to facilitate analysis of combining and bifurcating operations on flows. A case study of a personal mobility device is used to illustrate the deployment of the ESD methodology in relation to three common product development scenarios: (i) reverse engineering, (ii) the introduction of a specific technology to an existent system; and (iii) the introduction of a new feature as user-centric innovation for an existing system, at a logical design level, without reference to any solution. The case study analysis provides further insights into the effectiveness of the ESD to support function modelling and functional requirements capture, and architecture development. The significance of this paper is that it establishes a rigorous ESD-based functional analysis methodology to guide the practitioner with its deployment, facilitating its impact to both the engineering design and systems engineering communities, as well as the design practice in the industry.


2014 ◽  
Vol 38 (01) ◽  
pp. 102-129
Author(s):  
ALBERTO MARTÍN ÁLVAREZ ◽  
EUDALD CORTINA ORERO

AbstractUsing interviews with former militants and previously unpublished documents, this article traces the genesis and internal dynamics of the Ejército Revolucionario del Pueblo (People's Revolutionary Army, ERP) in El Salvador during the early years of its existence (1970–6). This period was marked by the inability of the ERP to maintain internal coherence or any consensus on revolutionary strategy, which led to a series of splits and internal fights over control of the organisation. The evidence marshalled in this case study sheds new light on the origins of the armed Salvadorean Left and thus contributes to a wider understanding of the processes of formation and internal dynamics of armed left-wing groups that emerged from the 1960s onwards in Latin America.


2020 ◽  
Vol 43 ◽  
Author(s):  
Michael Lifshitz ◽  
T. M. Luhrmann

Abstract Culture shapes our basic sensory experience of the world. This is particularly striking in the study of religion and psychosis, where we and others have shown that cultural context determines both the structure and content of hallucination-like events. The cultural shaping of hallucinations may provide a rich case-study for linking cultural learning with emerging prediction-based models of perception.


2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.


2019 ◽  
Vol 42 ◽  
Author(s):  
Penny Van Bergen ◽  
John Sutton

Abstract Sociocultural developmental psychology can drive new directions in gadgetry science. We use autobiographical memory, a compound capacity incorporating episodic memory, as a case study. Autobiographical memory emerges late in development, supported by interactions with parents. Intervention research highlights the causal influence of these interactions, whereas cross-cultural research demonstrates culturally determined diversity. Different patterns of inheritance are discussed.


Author(s):  
D. L. Callahan

Modern polishing, precision machining and microindentation techniques allow the processing and mechanical characterization of ceramics at nanometric scales and within entirely plastic deformation regimes. The mechanical response of most ceramics to such highly constrained contact is not predictable from macroscopic properties and the microstructural deformation patterns have proven difficult to characterize by the application of any individual technique. In this study, TEM techniques of contrast analysis and CBED are combined with stereographic analysis to construct a three-dimensional microstructure deformation map of the surface of a perfectly plastic microindentation on macroscopically brittle aluminum nitride.The bright field image in Figure 1 shows a lg Vickers microindentation contained within a single AlN grain far from any boundaries. High densities of dislocations are evident, particularly near facet edges but are not individually resolvable. The prominent bend contours also indicate the severity of plastic deformation. Figure 2 is a selected area diffraction pattern covering the entire indentation area.


Sign in / Sign up

Export Citation Format

Share Document