Learn More
Knowledge bases data bases and object oriented systems referred to in the pa per as Object Centered systems all rely on attributes as the main construct used to associate properties to objects among these a fundamental role is played by the so called part whole relation The representation of such a structural informa tion usually requires a particular(More)
  • Luca Pazzi
  • EUROMICRO 97. Proceedings of the 23rd EUROMICRO…
  • 1997
As state-based formalisms and object-oriented development methods meet, statecharts represent a natural choice for object behavioural modelling. This is essentially due to built-in features that enforce modularity and control complexity. The paper suggests the improvement of the effectiveness of the statechart approach in achieving both modularity and reuse(More)
The paper addresses safety issues involved in making ad hoc interconnections among medical devices in order to assemble more complex medical systems. The main problem is that the systemic view may be easily concealed by nowadays behavioral modeling tools. Missing such a systemic view does not allow to have a precise view of what is being modeled: we propose(More)
The purpose of this study is to conduct a comparative analysis of the suspected adverse drug reactions (ADRs) associated with intravitreal bevacizumab, ranibizumab and pegaptanib in the WHO database in order to have a real-life information on these drugs, which now is only based on data coming from clinical trials. ADR reports for intravitreal use of(More)
The speci cation of complex systems behavior is required to be, at the same time, both clear and realistic without renouncing to formality and rigor. Finite state automata (FSA) t such a requirement, but, as the dimension of the problem increases, the complexity of the overall representation grows exponentially. A solution to the above problem consists in(More)
The paper discusses modularity and compositionality issues in state-based modeling formalisms and presents related recent research results. Part-Whole Statecharts provide modular constructs to traditional Statecharts in order to allow incremental and fully reusable composition of behavioral abstractions, enforcing explicitly the coordinated systemic(More)
Safety assessment methods are typically based on the reliability of the single components making a system. A different notion of safety as an emergent property of the system taken as a whole is however emerging. The current statebased modeling paradigm tends at misrepresenting systemic behavior, thus contrasting the adoption and development of systemic(More)