Object
Title: Modeling of distributed objects computing design pattern combinations using a formal specification language
Contributor:
Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
Group publication title:
Abstract:
Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. ; Since design patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsened. The formal specification of design patterns and their combination is not meant to replace the existing means of describing patterns, but to complement them in order to achieve accuracy and to allow rigorous reasoning about them. ; The main problem of the existing formal specification languages for design patterns is the lack of completeness. This is mainly because they tend to focus on specifying either the structural or behavioral aspects of design patterns but not both of them. Moreover, none of them even ventured in specifying DOC patterns and pattern combinations. ; We propose a simple yet Balanced Pattern Specification Language (BPSL) aimed to achieve equilibrium by specifying both the aspects of design patterns. The language combines two subsets of logic: one from the First-Order Logic (FOL) and the other from the Temporal Logic of Actions (TLA).
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Resource Identifier:
Pages:
Source:
AMCS, volume 13, number 2 (2003) ; click here to follow the link
Language:
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Object collections:
- Repository > Faculties > Faculty of Computer, Electrical and Control Engineering
- Repository > Types of work > Articles
- Repository > Scientific journals and UZ publishing series > International Journal of Applied Mathematics and Computer Science (AMCS)
- Repository > Scientific journals and UZ publishing series > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (2003)
Last modified:
Nov 5, 2024
In our library since:
Oct 18, 2021
Number of object content hits:
79
All available object's versions:
https://zbc.uz.zgora.pl/repozytorium/publication/65899
Show description in RDF format:
Show description in OAI-PMH format:
-
International Journal of Applied Mathematics and Computer Science (AMCS)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 26 (2016)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 25 (2015)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 23 (2013)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 22 (2012)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 21 (2011)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 20 (2010)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 19 (2009)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 18 (2008)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 17 (2007)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 16 (2006)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 15 (2005)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13, number 1 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13, number 2 (2003)
- The asymptotical stability of a dynamic system with structural damping
- Gradient observability for diffusion systems
- Approximation of the Zakai equation in a nonlinear filtering problem with delay
- The relationship between the infinite eigenvalue assignment for singular systems and the solvability of polynomial matrix equations
- Comparison of the stability boundary and the frequency response stability condition in learning and repetitive control
- Quantitative Lp stability analysis of a class of linear time-varying feedback systems
- System identification from multiple-trial data corrupted by non-repeating periodic disturbances
- Remarks about energy transfer in an RC ladder network
- Inversion of square matrices in processors with limited calculation abilities
- An efficiency analysis of the parallel multitransputer implementation of two-level optimization algorithms
- A fuzzy if-then rule-based nonlinear classifier
- Beta fuzzy logic systems: Approximation properties in the MIMO case
- Modeling of distributed objects computing design pattern combinations using a formal specification language
- Computer aided design of mechatronic systems
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13, number 3 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13, number 4 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13, number 1 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 11 (2001)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 10 (2000)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 9 (1999)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 8 (1998)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 7 (1997)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 6 (1996)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 5 (1995)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 3 (1993)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 2 (1992)
-
International Journal of Applied Mathematics and Computer Science (AMCS),volume 1 (1991)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 26 (2016)
| Edition name | Date |
|---|---|
| Modeling of distributed objects computing design pattern combinations using a formal specification language | Nov 5, 2024 |
