Catálogo de publicaciones - libros
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Hans-Jörg Kreowski ; Ugo Montanari ; Fernando Orejas ; Grzegorz Rozenberg ; Gabriele Taentzer (eds.)
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2005 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-3-540-24936-8
ISBN electrónico
978-3-540-31847-7
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2005
Información sobre derechos de publicación
© Springer-Verlag Berlin Heidelberg 2005
Cobertura temática
Tabla de contenidos
Towards Architectural Connectors for UML
Fernando Orejas; Sonia Pérez
The notion of architectural connector was developed by Allen and Garland [1] as an important concept for the design of software architectures. In this paper, based on previous work introducing a generic approach for the definition of component-based concepts, we study how architectural connectors and components can be defined for class and sequence diagrams as a first step for applying this approach to full UML. In particular, the case of sequence diagrams is studied with some detail. A case-study of a lift system is used to illustrate these ideas.
- Formal and Visual Modeling | Pp. 352-369
Loose Semantics of Petri Nets
Julia Padberg; Hans-Jörg Kreowski
In this paper, we propose a new,loose semantics for place/tran- sition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a place/transition net reflects all its possible refinements and is given as a category of transition systems with alternative sequences of events over the net. The main result states that each plain morphism between two place/transitions nets induces a free construction between the corresponding semantic categories.
- Formal and Visual Modeling | Pp. 370-384
A Formal Framework for the Development of Concurrent Object-Based Systems
Leila Ribeiro; Fernando Luís Dotti; Roswitha Bardohl
In this paper we present a framework for developing concurrent object-based systems. The framework is based on graph grammars and includes techniques for specification, simulation, animation and verification.
- Formal and Visual Modeling | Pp. 385-401
A Formal Description of the Basic Concepts of System Theory for Transportation
Eckehard Schnieder; Jörg R. Müller
In this paper some of the basic concepts of system theory are presented in a formal way. This is done with the help of the formal modeling language petri-nets. An example out of the transportation is used to illustrate the discussed concepts.
- Formal and Visual Modeling | Pp. 402-411