LEADER 04385nam 22006375 450 001 996465471203316 005 20200827154204.0 010 $a3-030-58135-7 024 7 $a10.1007/978-3-030-58135-0 035 $a(CKB)4100000011401105 035 $a(MiAaPQ)EBC6320891 035 $a(DE-He213)978-3-030-58135-0 035 $a(PPN)25885698X 035 $a(EXLCZ)994100000011401105 100 $a20200827d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Information Systems Engineering$b[electronic resource] $eCAiSE Forum 2020, Grenoble, France, June 8?12, 2020, Proceedings /$fedited by Nicolas Herbaut, Marcello La Rosa 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (156 pages) $cillustrations 225 1 $aLecture Notes in Business Information Processing,$x1865-1348 ;$v386 300 $aIncludes index. 311 $a3-030-58134-9 327 $aFlexible Integration of Blockchain with Business Process Automation: A Federated Architecture -- PROCLAIM: An Unsupervised Approach to Discover Domain-Specific Attribute Matchings from Heterogeneous Sources -- Building Data Curation Processes with Crowd Intelligence -- R-CMMN: A Tool to Design Resilient Aware Multi-Party Business Processes -- Designing Decentralized Business Processes with Temporal Constraints -- Seed Model Synthesis for Testing Model-based Mutation Operators -- QBMetrics: a tool for evaluating and comparing document schemas -- Probabilistic Conformance Checking Based on Declarative Process Models -- A Method for Managing GDPR Compliance in Business Processes -- Why it is Time for yet another Schema Evolution Benchmark -- Capability Management of Digital Business Ecosystems - a Case of Resilience Modeling in the Healthcare Domain -- TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies. 330 $aThis book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2020 which was held as part of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The CAiSE Forum is a place within the CAiSE conference for presenting and discussing new ideas and tools related to information systems engineering. Intended to serve as an interactive platform, the Forum aims at the presentation of emerging new topics and controversial positions, as well as demonstration of innovative systems, tools and applications. This year?s theme was ?Responsible Information Systems?. The 12 full papers presented in this volume were carefully reviewed and selected from 19 submissions. . 410 0$aLecture Notes in Business Information Processing,$x1865-1348 ;$v386 606 $aApplication software 606 $aSoftware engineering 606 $aInformation technology 606 $aBusiness?Data processing 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aIT in Business$3https://scigraph.springernature.com/ontologies/product-market-codes/522000 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aInformation technology. 615 0$aBusiness?Data processing. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aIT in Business. 615 24$aComputer Applications. 676 $a005.1 702 $aHerbaut$b Nicolas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLa Rosa$b Marcello$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465471203316 996 $aAdvanced Information Systems Engineering$9772375 997 $aUNISA LEADER 05624nam 22007935 450 001 9910483486303321 005 20251226202459.0 010 $a3-642-02414-9 024 7 $a10.1007/978-3-642-02414-6 035 $a(CKB)1000000000753961 035 $a(SSID)ssj0000316750 035 $a(PQKBManifestationID)11261431 035 $a(PQKBTitleCode)TC0000316750 035 $a(PQKBWorkID)10287210 035 $a(PQKB)10068361 035 $a(DE-He213)978-3-642-02414-6 035 $a(MiAaPQ)EBC3064314 035 $a(PPN)136306829 035 $a(EXLCZ)991000000000753961 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComponent-Based Software Engineering $e12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /$fedited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 275 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5582 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-02413-0 320 $aIncludes bibliographical references and index. 327 $aComponent Models: Taxonomies and Applications -- On Component Identification Approaches ? Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. 330 $aThe 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of ?exible software systems. In essence, CBSE is about composing computational building blocks to construct larger building blocks that ful?ll client needs. Most software engineers are involved in some form of component-based development. Nonetheless, the implications of CBSE adoption are wide-reaching and its challenges grow in tandem with its uptake, continuing to inspire our scienti?c speculation. Component-based development necessarily involves elements of software - chitecture, modular software design, software veri?cation, testing, con?guration and deployment. This year?s submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of c- ponent speci?cation, composition, analysis, and veri?cation continue to pose research challenges. What exactly constitutes an adequate semantics for c- munication and composition so that bigger things can be built from smaller things? How can formal approaches facilitate predictable assembly through b- ter analysis? We have grouped the proceedings into two sub-themes that deal with these issues: component models and communication and composition. At the same time, the world is changing. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5582 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputers 606 $aComputer science 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aHardware Performance and Reliability 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aComputers. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aHardware Performance and Reliability. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1 686 $aDAT 315f$2stub 686 $aSS 4800$2rvk 701 $aLewis$b Grace A$0911062 701 $aPoernomo$b Iman Hafiz$f1976-$01756900 701 $aHofmeister$b Christine$01752348 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483486303321 996 $aComponent-based software engineering$94194427 997 $aUNINA