STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Applying graph transformations to database re-engineering
Handbook of graph grammars and computing by graph transformation
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
Graph Pattern Matching in PROGRES
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Proceedings of the 22nd international conference on Software engineering
From use cases to code - rigorous software development with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
From use cases to code---rigorous software development with UML
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 24th International Conference on Software Engineering
Towards pattern-based design recovery
Proceedings of the 24th International Conference on Software Engineering
Tools and Environments for Learning Object-Oriented Concepts
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Heterogeneous Information Systems Integration: Organizations and Methodologies
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Story driven modeling: a practical guide to model driven software development
Proceedings of the 27th international conference on Software engineering
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Validated model transformation-driven software development
International Journal of Computer Applications in Technology
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Computer Standards & Interfaces
A Language and a Methodology for Prototyping User Interfaces for Control Systems
Human Machine Interaction
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
An UML-based approach for validation of software architecture descriptions
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
Using graph grammars for modeling wiring harnesses - an experience report
Graph transformations and model-driven engineering
Model-driven development of industrial process control applications
Journal of Systems and Software
A rigorous software process for the development of embedded systems
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Applying story driven modeling to the paderborn shuttle system case study
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Separation of concerns for mechatronic multi-agent systems through dynamic communities
Software Engineering for Multi-Agent Systems III
Grounding social interactions in the environment
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
A systematic review of code generation proposals from state machine specifications
Information and Software Technology
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
A build server for model-driven engineering
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
A new test-generation methodology for system-level verification of production processes
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Hi-index | 0.00 |
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous production agents, which are used for the decentralization of production control systems. In order to generate a (Java) implementation of a production control system from its specification, we define a precise semantics for the diagrams and we define how different (kinds of) diagrams are combined to a complete executable specification.Generally, generating code from UML behavior diagrams is not well understood. Frequently, the semantics of a UML behavior diagram depends on the topic and the aspect that is modeled and on the designer that created it. In addition, UML behavior diagrams usually model only example scenarios and do not describe all possible cases and possible exceptions.We overcome these problems by restricting the UML notation to a subset of the language that has a precise semantics. In addition, we define which kind of diagram should be used for which purpose and how the different kinds of diagrams are integrated to a consistent overall view.