Sciweavers

354 search results - page 54 / 71
» Constraints of Behavioural Inheritance
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 3 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
CAISE
2008
Springer
15 years 1 months ago
Timed Transition Discovery from Web Service Conversation Logs
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...
Didier Devaurs, Kreshnik Musaraj, Fabien De Marchi...
SPLC
2008
15 years 1 months ago
Formal Modeling for Product Families Engineering
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
ICECCS
2010
IEEE
188views Hardware» more  ICECCS 2010»
15 years 13 hour ago
A Transactional Architecture for Simulation
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...
Tim Hoverd, Adam T. Sampson
IEE
2008
108views more  IEE 2008»
14 years 12 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke