SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A compositional approach to performance modelling
A compositional approach to performance modelling
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services
ICAS '06 Proceedings of the International Conference on Autonomic and Autonomous Systems
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
Security and trust requirements engineering
Foundations of Security Analysis and Design III
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Security issues in service composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Formal verification of an automotive scenario in service-oriented computing
Proceedings of the 30th international conference on Software engineering
Checking Correctness of Transactional Behaviors
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Event-Based Service Coordination
Concurrency, Graphs and Models
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
Building Mashups for the Enterprise with SABRE
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Model Transformations for Performability Analysis of Service Configurations
Models in Software Engineering
Which Soft Constraints do you Prefer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Internetware computing: issues and perspective
Proceedings of the First Asia-Pacific Symposium on Internetware
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Using goals for flexible service orchestration: a first step
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Model driven development and code generation: an automotive case study
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Constraint-muse: a soft-constraint based system for music therapy
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Refactoring long running transactions: a case study
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Automatic generation of performance models for SOA systems
Proceedings of the 16th international workshop on Component-oriented programming
Call-by-contract for service discovery, orchestration and recovery
Rigorous software engineering for service-oriented systems
Model-driven development of long running transactions
Rigorous software engineering for service-oriented systems
Runtime enforcement of information flow security in tree manipulating processes
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.