SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Martin WirsingMatthias M. HölzlLucia AcciaiFederico BantiAllan ClarkAlessandro FantechiStephen GilmoreStefania GnesiLászló GönczyNora KochAlessandro LapadulaPhilip MayerFranco MazzantiRosario PuglieseAndreas SchroederFrancesco TiezziMirco TribastoneDániel VarróPublished in: ISoLA (2008)
Keyphrases
- formal analysis
- formal methods
- ban logic
- web services
- agent model
- service oriented
- engineering design
- management system
- service providers
- service discovery
- artificial intelligence
- service quality
- software engineering
- computer science
- case study
- database
- service composition
- information services
- design process
- software intensive systems