Aero-engine adaptive fuzzy decoupling control p. 15 Conceptual modelling of knowledge-based systems using UML p. 23 Dynamic-fuzzy concepts p. 35 Onto-thesauri : an efficient ontology! p. 41 A hybrid connectionist-symbolic approach for real-valued pattern classification p. 49 Designing fuzzy logic controller for inverted pendulum p. 61 Learning search pattern for construction procurement using k...

The translation from UML specifications to formal B specifications gives a way to analyse rigorously UML specifications via their corresponding B formal specifications. This point is significant thanks to B support tools. This paper reports our experiences on UML-into-B translation that emphasise on the integration of different kinds of UML diagrams into B specifications.

The purpose with this document is to provide a brief introduction to the Unified Modeling Language (UML) for usage in the jointly held course in distributed development in Västerås and Zagreb. The focus is on using UML in general, not in combination with a particular tool, problem domain or programming technique. UML has intentionally been developed as a langue for modeling objectoriented syste...

The Unified Modeling Language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML’s built-in semantic variation points and extension mechanisms. The semantics specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantics approaches must thus allow ad...

The Unified Modeling Language (UML) has become the de facto standard for systems development and has been promoted as a technology that will help solve some of the longstanding problems in the software industry. However, there is still little empirical evidence supporting the claim that UML is an effective approach to modeling software systems. Indeed, there is much anecdotal evidence suggestin...

UML’s complexity is regularly criticized by practitioners and researchers alike, who argue that such complexity is a considerable detriment to the adoption and use of UML in the field. Attempts have been made to assess and/or measure UML’s complexity in a number of ways. Erickson and Siau proposed that a subset (kernel) of UML, composed of the most important constructs, could be equated with th...

UML is a visual modeling language used for specifying, visualizing, constructing, and documenting software artifacts. Despite having many features to model systems, conducting verifications and validations on UML models is not an easy task. In this paper, the problem of performing verification of UML models is discussed through a translation of UML behavioral diagrams into formal models to be v...

Systems development methods have become more complex, concurrently with many of today’s systems. UML has been criticized for its complexity. Using Rossi and Brinkkemper’s (1996) complexity metrics, Siau and Cao, (2001) completed a complexity analysis of UML and other modeling techniques, finding that UML is more complex than other techniques. Siau, Erickson and Lee (2002) proposed that Rossi an...

We propose a technique for static slicing of UML models. We first transform a software architecture specified using UML into an intermediate representation which we have named Model Dependency Graph(MDG). MDG combines information available in various sequence diagrams along with the relevant information available in class diagrams into an integrated UML model. For a given slicing criterion, our...

MODELOG aims at automatically mapping UML class, object, statechart, activity and collaboration diagrams adorned with Object-Constraint Language expressions to non-monotonic, dynamic, object-oriented logic programs in Concurrent Transaction Frame Logic (CTFL). Coupled with the Flora2 inference engine for CTFL, MODELOG will fill five gaps in the current UML-based infrastructure for the Common Wa...