I'm just wondering what the exact definition of programming model is.
Some say "A model is an abstract machine providing certain operations to the programming level above and requiring implementations for each of these operations on all of the architectures below." But considering that Jini's programming model is said to consist of lease, distributed events, and transaction, I guess it's more like programming constructs with much less formalism. So what would you call a programming model for some system, or how do you define it?