220 search results - page 23 / 44 » On Nets, Algebras and Modularity |
JSI
1998
14 years 9 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
AMAST
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
IANDC
2010
14 years 8 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
PPDP
2004
Springer
15 years 2 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...