884 search results - page 46 / 177 » A semantics of sequence diagrams |
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
PPSWR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
OOIS
2001
Springer
15 years 2 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
APSEC
1997
IEEE
15 years 1 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...