Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The unified software development process
The unified software development process
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the first workshop on Self-healing systems
Workshop on Self-Healing Systems [co-located with ACM SIGSOFT 2002: 10th International Symposium on the Foundations of Software Engineering (FSE-10)]
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
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
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
A formal approach to software architecture
A formal approach to software architecture
Sound development of secure service-based systems
Proceedings of the 2nd international conference on Service oriented computing
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
An object-oriented development method for Customer Knowledge Management Information Systems
Knowledge-Based Systems
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
Modelling of Service-Oriented Architectures with UML
Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Solution for Model Checking Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
A modelling approach to service-oriented architecture
Enterprise Information Systems
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Applications of Graph Transformations with Industrial Relevance
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Metrics For Service-Oriented Architecture (SOA) Systems: What Developers Should Know
Journal of Integrated Design & Process Science
Journal of Theoretical and Applied Electronic Commerce Research
Enhancing the expressivity of PADL for specifying Web Services Architectures
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
A model-driven approach to weave architectural styles into service-oriented architectures
Proceedings of the first international workshop on Model driven service engineering and data quality and security
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Modeling and managing the variability of Web service-based systems
Journal of Systems and Software
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Service Oriented Approach to High Performance Scientific Computing
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Anonymous mobile service collaboration: quality of service
From active data management to event-based systems and more
A requirements-driven trust framework for secure interoperation in open environments
iTrust'06 Proceedings of the 4th international conference on Trust Management
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Modeling crosscutting services with UML sequence diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A UML2 profile for service modeling
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Scenario-driven analysis of systems specified through graph transformations
Journal of Visual Languages and Computing
BPELDebugger: An effective BPEL-specific fault localization framework
Information and Software Technology
Hi-index | 0.00 |
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is suitable for a given application (or more generally, to understand the interaction between application and platform), we propose UML models of both the architectural style of the platform and the application scenario. Based on a formal interpretation of these as graphs and graph transformation systems, we are able to validate the consistency between platform and application.